summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James2 years
f17New upstream release.Jerry James2 years
f18Rebuild for coq 8.4pl1.Jerry James16 months
f19New upstream release.Jerry James10 months
f20Rebuild for flocq 2.2.2.Jerry James4 weeks
masterRebuild for flocq 2.3.0.Jerry James3 days
 
 
AgeCommit messageAuthorFilesLines
3 daysRebuild for flocq 2.3.0.HEADmasterJerry James1-1/+4
9 daysRemove ocaml_arches macro (RHBZ#1087794).Richard 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
[...]
 
Clone
git://pkgs.fedoraproject.org/gappalib-coq.git
ssh://pkgs.fedoraproject.org/gappalib-coq.git
http://pkgs.fedoraproject.org/git/gappalib-coq.git