rpms/zenon
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The zenon rpms
67 commits 40 branches 25 tags 157 KiB
  • Roff 58%
  • Gnuplot 42%
Find a file
Exact
Jerry James 05bcdfc5b3 Rebuild for coq 8.11.2.
2020-06-16 09:47:03 -06: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-coq89.patch Rebuild for coq 8.9.1. Add -coq89 patch to adapt to coq 8.9.x. 2019-06-05 19:59:12 -06: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.rpmlintrc OCaml 4.10.0+beta1 rebuild. 2020-01-22 09:09:04 -07:00
zenon.spec Rebuild for coq 8.11.2. 2020-06-16 09:47:03 -06:00