summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James3 years
f17New upstream release.Jerry James3 years
f18Rebuild for coq 8.4pl1.Jerry James18 months
f19New upstream release.Jerry James13 months
f20Rebuild for coq 8.4pl4.Jerry James5 weeks
f21- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_RebuildDennis Gilmore7 weeks
master- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_RebuildDennis Gilmore7 weeks
 
 
AgeCommit messageAuthorFilesLines
2014-06-07- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_RebuildHEADmasterf21Dennis 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
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
[...]
 
Clone
git://pkgs.fedoraproject.org/gappalib-coq.git
ssh://pkgs.fedoraproject.org/gappalib-coq.git
http://pkgs.fedoraproject.org/git/gappalib-coq.git