summaryrefslogtreecommitdiffstats
BranchCommit messageAuthorAge
f17New upstream release.Jerry James5 years
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 James20 months
f23New upstream release.Jerry James16 months
f24New upstream release.Jerry James7 months
f25Rebuild for coq 8.6.Jerry James6 weeks
master- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_RebuildFedora Release Engineering2 weeks
[...]
 
 
AgeCommit messageAuthorFilesLines
2017-02-10- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_RebuildHEADmasterFedora 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
2016-04-22Rebuild for coq 8.5pl1.Jerry James1-2/+5
[...]
 
Clone
https://src.fedoraproject.org/git/rpms/gappalib-coq.git