summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James3 years
f17New upstream release.Jerry James3 years
f18Rebuild for coq 8.4pl1.Jerry James20 months
f19New upstream release.Jerry James14 months
f20Rebuild for coq 8.4pl4.Jerry James3 months
f21- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_RebuildPeter Robinson2 weeks
masterocaml-4.02.0 final rebuild.Richard W.M. Jones25 hours
 
 
AgeCommit messageAuthorFilesLines
25 hoursocaml-4.02.0 final rebuild.HEADmasterRichard W.M. Jones1-1/+4
7 daysocaml-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
2014-06-07- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_RebuildDennis Gilmore1-1/+4
2014-05-13Rebuild for coq 8.4pl4.Jerry James1-3/+5
2014-04-21Rebuild for flocq 2.3.0.Jerry James1-1/+4
2014-04-15Remove ocaml_arches macro (RHBZ#1087794).Richard W.M. Jones1-4/+4
2014-03-24Rebuild for flocq 2.2.2.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