rpms/zenon
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The zenon rpms
58 commits 40 branches 25 tags 157 KiB
  • Roff 58%
  • Gnuplot 42%
Find a file
Exact
Fedora Release Engineering 39d7124af8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org>
2019-02-03 13:09:36 +00:00
.gitignore New upstream release. Drop -unsafe-string workaround. 2019-01-26 08:08:15 -07:00
sources New upstream release. Drop -unsafe-string workaround. 2019-01-26 08:08:15 -07:00
zenon-format.5 - Add documentation for Zenon and its built-in format as man pages (man 2008-07-25 19:45:12 +00:00
zenon-tptp-COM003+2.p - Initial submission 2008-07-21 16:40:45 +00:00
zenon-tptp-ReadMe - Initial submission 2008-07-21 16:40:45 +00:00
zenon.1 New upstream release. 2011-07-12 16:01:26 -06:00
zenon.spec - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild 2019-02-03 13:09:36 +00:00