rpms
/
ocaml-cil
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
109 Commits 30 Branches 28 Tags 115 KiB
Commit Graph

5 Commits

Author SHA1 Message Date
Gabriel Kerneis bba9fbd600 New upstream version 1.7.3 
- Use upstream make install target.
- Build and install documentation.
- Run test suite.
- Fix perl-related Provides and Requires for -cilly.
- Enable on arm and ppc (fixed by upstream ./configure).
- Apply two upstream patches to test suite.
 2013-09-03 11:13:12 +01:00
Richard W.M. Jones bbea72a876 New upstream version 1.4.0. 
- Rebuild for OCaml 3.12.1.
 2012-01-06 18:48:26 +00:00
Richard W.M. Jones 7b1835af4b - New upstream version 1.3.7. 
- Rebuild for OCaml 3.11.1.
 2009-05-26 14:50:04 +00:00
Richard W.M. Jones b418139620 Initial CVS import. 2008-03-01 12:31:25 +00:00
Kevin Fenzi c87f9c0b6f Setup of module ocaml-cil 2008-02-29 17:03:55 +00:00