summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f18Rebuild for coq 8.4pl1.Jerry James4 years
f19New upstream release.Jerry James4 years
f20Rebuild for coq 8.4pl4.Jerry James3 years
f21Rebuild for coq 8.4pl5.Jerry James2 years
f22New upstream release.Jerry James22 months
f23New upstream release.Jerry James18 months
f24New upstream release.Jerry James9 months
f25Rebuild for coq 8.6.Jerry James3 months
f26Rebuild to fix coq consistency issue.Jerry James5 weeks
masterRebuild to fix coq consistency issue.Jerry James5 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
2017-03-24Rebuild to fix coq consistency issue.HEADmasterf26Jerry 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
2016-09-29New upstream release.Jerry James4-5/+24
2016-07-22New upstream release.f24Jerry James3-4/+8
2016-07-13Rebuild for coq 8.5pl2.Jerry James1-2/+5
[...]
 
Clone
https://src.fedoraproject.org/git/rpms/gappalib-coq.git