gappalib-coq.git - gappalib-coq

Branch	Commit message	Author	Age
f16	New upstream release.	Jerry James	17 months
f17	New upstream release.	Jerry James	16 months
f18	Rebuild for coq 8.4pl1.	Jerry James	4 months
f19	- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild	Dennis Gilmore	3 months
master	New upstream release.	Jerry James	9 days


Age	Commit message	Author	Files	Lines
9 days	New upstream release.HEAD master	Jerry James	4	-84/+21
2013-02-13	- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild f19	Dennis Gilmore	1	-1/+4
2013-01-07	Rebuild for coq 8.4pl1.f18	Jerry James	1	-2/+5
2012-10-19	Rebuild for OCaml 4.00.1.	Jerry James	1	-1/+4
2012-08-22	More changes necessary to work with coq 8.4.	Jerry James	2	-3/+74
2012-08-21	Adapt to change of nf_evars in coq 8.4.	Jerry James	1	-0/+3
2012-08-21	Rebuild for coq 8.4.	Jerry James	1	-2/+5
2012-07-29	Rebuild for coq 8.3pl4, OCaml 4.00.0, and gappa 0.16.1.	Jerry James	1	-2/+5
2012-07-19	- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild	Dennis Gilmore	1	-1/+4
2012-01-09	New upstream release.f17	Jerry James	3	-5/+8
[...]

Clone
git://pkgs.fedoraproject.org/gappalib-coq.git
ssh://pkgs.fedoraproject.org/gappalib-coq.git
http://pkgs.fedoraproject.org/git/gappalib-coq.git