summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f18Rebuild for coq 8.4pl1.Jerry James5 years
f19New upstream release.Jerry James4 years
f20Rebuild for coq 8.4pl4.Jerry James3 years
f21Rebuild for coq 8.4pl5.Jerry James3 years
f22New upstream release.Jerry James2 years
f23New upstream release.Jerry James21 months
f24New upstream release.Jerry James12 months
f25Rebuild for coq 8.6.Jerry James6 months
f26Rebuild to fix coq consistency issue.Jerry James4 months
master- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_RebuildFedora Release Engineering11 hours
[...]
 
 
AgeCommit messageAuthorFilesLines
11 hours- Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_RebuildHEADmasterFedora Release Engineering1-1/+4
2017-06-27OCaml 4.04.2 rebuild.Richard W.M. Jones1-1/+4
2017-05-13OCaml 4.04.1 rebuild.Richard W.M. Jones1-1/+4
2017-03-24Rebuild to fix coq consistency issue.f26Jerry James1-1/+4
2017-02-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_RebuildFedora Release Engineering1-1/+4
2017-01-12Rebuild for coq 8.6.f25Jerry James1-2/+5
2016-12-01New upstream release.Jerry James3-4/+8
2016-11-07Rebuild for OCaml 4.04.0.Richard W.M. Jones1-1/+4
2016-10-28Rebuild for coq 8.5pl3.Jerry James1-2/+5
2016-10-03- disable debuginfo subpackage on interpreted buildsDan HorĂ¡k1-1/+9
[...]
 
Clone
https://src.fedoraproject.org/git/rpms/gappalib-coq.git