rpms/alt-ergo
3
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
The alt-ergo rpms
64 commits 38 branches 24 tags 292 KiB
Find a file
Exact
Richard W.M. Jones 0f9f4fefff OCaml 4.05.0 rebuild.
2017-08-08 00:17:01 +01:00
.gitignore Update to version 1.30. 2016-12-01 12:00:03 -07: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 OCaml 4.05.0 rebuild. 2017-08-08 00:17:01 +01:00
sources Update to version 1.30. 2016-12-01 12:00:03 -07:00