Go to file
Richard W.M. Jones 10d527af37 Disable on arm (not supported by upstream ./configure).
- Modernize the spec file.
2013-08-04 23:07:52 +01:00
.gitignore New upstream version 1.4.0. 2012-01-06 18:48:26 +00:00
ocaml-cil.spec Disable on arm (not supported by upstream ./configure). 2013-08-04 23:07:52 +01:00
sources New upstream version 1.4.0. 2012-01-06 18:48:26 +00:00