rpms
/
ocaml-cil
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
55 Commits 30 Branches 28 Tags 115 KiB
Go to file
Peter Robinson 2b1af4f36a Build on ARMv7 (rhbz 994968) as it seems to now be fixed 2015-06-29 14:04:57 +01:00
.gitignore New upstream version 1.7.3 2013-09-03 11:13:12 +01:00
0001-Fix-testsuite-on-32-bit-machines.patch New upstream version 1.7.3 2013-09-03 11:13:12 +01:00
0002-Do-not-fail-testsuite-on-new-gcc-behaviour.patch New upstream version 1.7.3 2013-09-03 11:13:12 +01:00
cil-1.7.3-add-package-cilconfig.patch Fix Perl broken dependencies. 2014-06-19 10:43:17 +01:00
cil-1.7.3-enable-ocamlopt-g.patch Rebuild for OCaml 4.01.0. 2013-09-14 16:24:26 +01:00
ocaml-4.02.0.patch OCaml 4.02.0 beta rebuild. 2014-07-21 13:14:36 +01:00
ocaml-cil.spec Build on ARMv7 (rhbz 994968) as it seems to now be fixed 2015-06-29 14:04:57 +01:00
sources New upstream version 1.7.3 2013-09-03 11:13:12 +01:00