summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16-devel also needs ocaml-camlidl-devel.Jerry James18 months
f17Rebuild for GCC 4.7 and Ocaml 3.12.1.Jerry James17 months
f18Rebuild for OCaml 4.00.1.Jerry James7 months
f19Add -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0.Jerry James3 months
masterAdd -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0.Jerry James3 months
 
 
AgeCommit messageAuthorFilesLines
2013-02-14Add -ppl1 patch to adapt to PPL 1.0 + GMP 5.1.0.HEADmasterf19Jerry James3-1/+89
2013-02-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_RebuildDennis Gilmore1-1/+4
2012-11-30rebuild for new pplTom Callaway1-1/+4
2012-10-17Rebuild for OCaml 4.00.1.f18Jerry James1-1/+4
2012-07-25Fix the tests for GCC 4.7.1.Jerry James2-1/+339
2012-07-18- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_RebuildDennis Gilmore1-1/+4
2012-06-10Rebuild for OCaml 4.00.0.Jerry James1-1/+4
2012-05-10Adapt to mlgmpidl 1.2.Jerry James2-1/+15
2012-05-09Rebuild for new ocaml-mlgmpidl.Jerry James1-1/+4
2012-01-06Rebuild for GCC 4.7 and Ocaml 3.12.1.f17Jerry James1-1/+4
[...]
 
Clone
git://pkgs.fedoraproject.org/apron.git
ssh://pkgs.fedoraproject.org/apron.git
http://pkgs.fedoraproject.org/git/apron.git
generated by cgit v0.9.1 at 2013-05-24 03:58:37 (GMT)