coq.git - coq

Branch	Commit message	Author	Age
f10	dist-git conversion	Fedora Release Engineering	3 years
f11	dist-git conversion	Fedora Release Engineering	3 years
f14	dist-git conversion	Fedora Release Engineering	3 years
f15	Move tutorial code into main package; it is small and we can then leave all	Jerry James	23 months
f16	Remove unused patch.	Jerry James	19 months
f17	Happy New Year to me again!	Jerry James	17 months
f18	New upstream release.	Jerry James	5 months
f19	New upstream release.	Jerry James	10 days
f9	dist-git conversion	Fedora Release Engineering	3 years
master	New upstream release.	Jerry James	10 days
[...]

Tag	Download	Author	Age
F-13-split	F-13-split.zip F-13-split.tar.gz F-13-split.tar.bz2	Bill Nottingham	3 years
F-13-start	F-13-start.zip F-13-start.tar.gz F-13-start.tar.bz2	Bill Nottingham	3 years
F-12-split	F-12-split.zip F-12-split.tar.gz F-12-split.tar.bz2	Alan Dunn	4 years
F-12-start	F-12-start.zip F-12-start.tar.gz F-12-start.tar.bz2	Alan Dunn	4 years
coq-8_2pl1-1_fc12	coq-8_2pl1-1_fc12.zip coq-8_2pl1-1_fc12.tar.gz coq-8_2pl1-1_fc12.tar.bz2	Alan Dunn	4 years
coq-8_2-2_fc12	coq-8_2-2_fc12.zip coq-8_2-2_fc12.tar.gz coq-8_2-2_fc12.tar.bz2	Jesse Keating	4 years
coq-8_2-1_fc10	coq-8_2-1_fc10.zip coq-8_2-1_fc10.tar.gz coq-8_2-1_fc10.tar.bz2	Alan Dunn	4 years
coq-8_2-1_fc11	coq-8_2-1_fc11.zip coq-8_2-1_fc11.tar.gz coq-8_2-1_fc11.tar.bz2	Alan Dunn	4 years
coq-8_2-1_fc12	coq-8_2-1_fc12.zip coq-8_2-1_fc12.tar.gz coq-8_2-1_fc12.tar.bz2	Alan Dunn	4 years
coq-8_1pl4-3_fc12_1	coq-8_1pl4-3_fc12_1.zip coq-8_1pl4-3_fc12_1.tar.gz coq-8_1pl4-3_fc12_1.tar.bz2	Karsten Hopp	4 years
[...]

Age	Commit message	Author	Files	Lines
10 days	New upstream release.HEAD master f19	Jerry James	3	-7/+11
2013-02-23	Remove --vendor from desktop-file-install in F19+ https://fedorahosted.org/f...	Toshio Kuratomi	1	-2/+15
2013-02-13	- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild	Dennis Gilmore	1	-1/+4
2013-01-07	New upstream release.f18	Jerry James	5	-160/+17
2012-12-14	Use minimal TeXLive BRs.	Jerry James	1	-8/+28
2012-10-19	Changes required by the new TeXLive 2012 packages.	Jerry James	2	-4/+119
2012-10-18	BR tex(comment.sty) due to the new texlive package layout.	Jerry James	1	-1/+2
2012-10-18	More GDK-related fixes.	Jerry James	1	-1/+15
2012-10-18	Support more GDK key modifiers in the IDE (hyper, meta, release, super).	Jerry James	2	-0/+30
2012-10-17	Rebuild for OCaml 4.00.1.	Jerry James	1	-1/+4
[...]

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