summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James2 years
f17New upstream release.Jerry James2 years
f18Rebuild for coq 8.4pl1.Jerry James15 months
f19New upstream release.Jerry James10 months
f20Rebuild for flocq 2.2.2.Jerry James4 weeks
masterRemove ocaml_arches macro (RHBZ#1087794).Richard W.M. Jones6 days
 
 
AgeCommit messageAuthorFilesLines
6 daysRemove ocaml_arches macro (RHBZ#1087794).HEADmasterRichard W.M. Jones1-4/+4
2014-03-24Rebuild for flocq 2.2.2.f20Jerry James1-1/+4
2013-12-18Rebuild for coq 8.4pl3.Jerry James1-2/+5
2013-09-17Rebuild for OCaml 4.01.0.Jerry James1-7/+8
2013-08-12Rebuild for flocq 2.2.0.Jerry James1-1/+4
2013-08-03- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_RebuildDennis Gilmore1-1/+4
2013-07-29New upstream release.Jerry James3-4/+7
2013-07-03New upstream release.f19Jerry James3-4/+7
2013-05-14New upstream release.Jerry James4-84/+21
2013-02-13- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_RebuildDennis Gilmore1-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