texlive-logicproof - logicproof package
| Website: | http://tug.org/texlive/ |
|---|---|
| License: | LPPL |
- Description:
logicproof package
Packages
| texlive-logicproof-svn33254.0-1.1.el7.fc21.noarch [19 KiB] |
Changelog
by Jindrich Novy (2014-08-09):
- rebuild because of NVR conflict |