summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James4 years
f17New upstream release.Jerry James4 years
f18Rebuild for coq 8.4pl1.Jerry James3 years
f19New upstream release.Jerry James2 years
f20Rebuild for coq 8.4pl4.Jerry James13 months
f21Rebuild for coq 8.4pl5.Jerry James9 months
f22New upstream release.Jerry James6 weeks
f23ocaml-4.02.2 final rebuild.Richard W.M. Jones5 weeks
masterOCaml 4.02.3 rebuild.Richard W.M. Jones45 hours
 
 
AgeCommit messageAuthorFilesLines
45 hoursOCaml 4.02.3 rebuild.HEADmasterRichard W.M. Jones1-1/+4
2015-06-24ocaml-4.02.2 final rebuild.f23Richard W.M. Jones1-1/+4
2015-06-22New upstream release.f22Jerry James3-4/+8
2015-06-17ocaml-4.02.2 rebuild.Richard W.M. Jones1-1/+4
2015-06-17- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildDennis Gilmore1-1/+4
2015-04-11Rebuild for coq 8.4pl6.Jerry James1-2/+5
2015-02-17ocaml-4.02.1 rebuild.Richard W.M. Jones1-1/+4
2014-11-06Rebuild for ocaml-camlp5 6.12.Jerry James1-1/+4
2014-10-31Rebuild for coq 8.4pl5.Jerry James1-2/+5
2014-09-03Rebuild for flocq 2.4.0.Jerry James1-1/+4
[...]
 
Clone
git://pkgs.fedoraproject.org/gappalib-coq.git
ssh://pkgs.fedoraproject.org/gappalib-coq.git
http://pkgs.fedoraproject.org/git/gappalib-coq.git