rpms/alt-ergo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The alt-ergo rpms
106 commits 38 branches 24 tags 292 KiB
Find a file
Exact
Jerry James 9a10ab3b2a Rebuild for changed ocamlx(Dynlink).
2021-07-29 12:57:23 -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-pervasives.patch Updates to the desktop and metainfo files. Add -pervasives patch. 2021-02-04 09:01:16 -07:00
alt-ergo.desktop Add desktop icons. 2014-03-24 12:59:13 -06:00
alt-ergo.metainfo.xml Updates to the desktop and metainfo files. Add -pervasives patch. 2021-02-04 09:01:16 -07: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 changed ocamlx(Dynlink). 2021-07-29 12:57:23 -06:00
sources Version 2.2.0. Drop upstreamed -newline patch. 2020-06-19 15:30:19 -06:00