summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James3 years
f17New upstream release.Jerry James3 years
f18Rebuild for coq 8.4pl1.Jerry James2 years
f19New upstream release.Jerry James22 months
f20Rebuild for coq 8.4pl4.Jerry James10 months
f21Rebuild for coq 8.4pl5.Jerry James5 months
f22Rebuild for coq 8.4pl6.Jerry James7 days
masterRebuild for coq 8.4pl6.Jerry James7 days
 
 
AgeCommit messageAuthorFilesLines
7 daysRebuild for coq 8.4pl6.HEADmasterf22Jerry 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
2014-08-31ocaml-4.02.0 final rebuild.Richard W.M. Jones1-1/+4
2014-08-25ocaml-4.02.0+rc1 rebuild.Jerry James1-1/+4
2014-08-16- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_RebuildPeter Robinson1-1/+4
2014-08-04Add workaround for ocamlopt beta version string.Jerry James1-1/+9
2014-08-02ocaml-4.02.0-0.8.git10e45753.fc22 rebuild.Richard W.M. Jones1-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