rpms/alt-ergo
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The alt-ergo rpms
79 commits 38 branches 24 tags 292 KiB
Find a file
Exact
Jerry James 23076e58d8 Rebuild for ocaml-zarith 1.9.
2019-09-06 09:11:18 -06:00
.gitignore Update to version 2.0.0. 2019-06-05 19:55:51 -06:00
alt-ergo-1.30-use-pic.patch Use the asmrun_pic variant when linking the binary. 2017-11-09 10:01:08 +00:00
alt-ergo-2.0.0-newline.patch Update to version 2.0.0. 2019-06-05 19:55:51 -06:00
alt-ergo.appdata.xml Rebuild for zarith 1.4.1. 2015-11-25 19:41:52 -07:00
alt-ergo.desktop Add desktop icons. 2014-03-24 12:59:13 -06:00
alt-ergo.spec Rebuild for ocaml-zarith 1.9. 2019-09-06 09:11:18 -06:00
sources Update to version 2.0.0. 2019-06-05 19:55:51 -06:00