rpms/alt-ergo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The alt-ergo rpms
98 commits 38 branches 24 tags 292 KiB
Find a file
Exact
Jerry James e305067cd9 Rebuild for ocaml-zarith 1.11.
2020-11-23 14:07:31 -07: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.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.rpmlintrc Filter out Requires for private interfaces we do not Provide. 2020-04-08 21:14:29 -06:00
alt-ergo.spec Rebuild for ocaml-zarith 1.11. 2020-11-23 14:07:31 -07:00
sources Version 2.2.0. Drop upstreamed -newline patch. 2020-06-19 15:30:19 -06:00