summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f17New upstream release.Jerry James5 years
f18Rebuild for coq 8.4pl1.Jerry James4 years
f19New upstream release.Jerry James3 years
f20Rebuild for coq 8.4pl4.Jerry James2 years
f21Rebuild for coq 8.4pl5.Jerry James21 months
f22New upstream release.Jerry James13 months
f23New upstream release.Jerry James9 months
f24New upstream release.Jerry James4 days
f25New upstream release.Jerry James4 days
masterNew upstream release.Jerry James4 days
[...]
 
 
AgeCommit messageAuthorFilesLines
4 daysNew upstream release.HEADmasterf25f24Jerry James3-4/+8
13 daysRebuild for coq 8.5pl2.Jerry James1-2/+5
2016-04-22Rebuild for coq 8.5pl1.Jerry 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
[...]
 
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