summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f16New upstream release.Jerry James4 years
f17New upstream release.Jerry James4 years
f18Rebuild for coq 8.4pl1.Jerry James3 years
f19New upstream release.Jerry James3 years
f20Rebuild for coq 8.4pl4.Jerry James23 months
f21Rebuild for coq 8.4pl5.Jerry James19 months
f22New upstream release.Jerry James11 months
f23New upstream release.Jerry James7 months
f24Rebuild for coq 8.5pl1.Jerry James5 weeks
masterRebuild for coq 8.5pl1.Jerry James5 weeks
 
 
AgeCommit messageAuthorFilesLines
2016-04-22Rebuild for coq 8.5pl1.HEADmasterf24Jerry James1-2/+5
2016-02-12New upstream release.Jerry James3-8/+12
2016-02-03- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_RebuildDennis Gilmore1-1/+4
2015-10-15New upstream release.f23Jerry James3-5/+8
2015-07-30OCaml 4.02.3 rebuild.Richard W.M. Jones1-1/+4
2015-06-24ocaml-4.02.2 final rebuild.Richard W.M. Jones1-1/+4
2015-06-22New upstream release.f22Jerry James3-4/+8
2015-06-17ocaml-4.02.2 rebuild.Richard W.M. Jones1-1/+4
2015-06-17- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_RebuildDennis Gilmore1-1/+4
2015-04-11Rebuild for coq 8.4pl6.Jerry James1-2/+5
[...]
 
Clone
git://pkgs.fedoraproject.org/rpms/gappalib-coq.git
ssh://pkgs.fedoraproject.org/rpms/gappalib-coq.git
http://pkgs.fedoraproject.org/git/rpms/gappalib-coq.git