zenon.git - zenon

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	Build on all ocaml arches.	Jerry James	19 months
f16	Build on all ocaml arches.	Jerry James	19 months
f17	Rebuild for OCaml 3.12.1.	Jerry James	17 months
f18	Rebuild for coq 8.4pl1.	Jerry James	5 months
f19	Rebuild for coq 8.4pl2.	Jerry James	5 weeks
f9	dist-git conversion	Fedora Release Engineering	3 years
master	Rebuild for coq 8.4pl2.	Jerry James	5 weeks
[...]

Tag	Download	Author	Age
F-13-split	F-13-split.zip F-13-split.tar.gz F-13-split.tar.bz2	Bill Nottingham	4 years
F-13-start	F-13-start.zip F-13-start.tar.gz F-13-start.tar.bz2	Bill Nottingham	4 years
F-12-split	F-12-split.zip F-12-split.tar.gz F-12-split.tar.bz2	Dennis Gilmore	4 years
F-12-start	F-12-start.zip F-12-start.tar.gz F-12-start.tar.bz2	Dennis Gilmore	4 years
zenon-0_5_0-7_fc12	zenon-0_5_0-7_fc12.zip zenon-0_5_0-7_fc12.tar.gz zenon-0_5_0-7_fc12.tar.bz2	Dennis Gilmore	4 years
zenon-0_5_0-6_fc12	zenon-0_5_0-6_fc12.zip zenon-0_5_0-6_fc12.tar.gz zenon-0_5_0-6_fc12.tar.bz2	Ville Skyttä	4 years
zenon-0_5_0-5_fc12_1	zenon-0_5_0-5_fc12_1.zip zenon-0_5_0-5_fc12_1.tar.gz zenon-0_5_0-5_fc12_1.tar.bz2	Jesse Keating	4 years
zenon-0_5_0-4_fc11_1	zenon-0_5_0-4_fc11_1.zip zenon-0_5_0-4_fc11_1.tar.gz zenon-0_5_0-4_fc11_1.tar.bz2	Karsten Hopp	4 years
zenon-0_5_0-4_fc12_1	zenon-0_5_0-4_fc12_1.zip zenon-0_5_0-4_fc12_1.tar.gz zenon-0_5_0-4_fc12_1.tar.bz2	Karsten Hopp	4 years
F-11-split	F-11-split.zip F-11-split.tar.gz F-11-split.tar.bz2	Jesse Keating	4 years
[...]

Age	Commit message	Author	Files	Lines
2013-05-14	Rebuild for coq 8.4pl2.HEAD master f19	Jerry James	1	-1/+4
2013-02-15	- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild	Dennis Gilmore	1	-1/+4
2013-01-07	Rebuild for coq 8.4pl1.f18	Jerry James	1	-1/+4
2012-12-14	Rebuild for OCaml 4.00.1.	Jerry James	1	-1/+4
2012-08-21	Rebuild for coq 8.4.	Jerry James	1	-1/+4
2012-08-02	New upstream release.	Jerry James	3	-16/+45
2012-07-22	- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild	Dennis Gilmore	1	-1/+4
2012-01-09	Rebuild for OCaml 3.12.1.f17	Jerry James	1	-1/+4
2011-12-27	Rebuild for coq 8.3pl3.	Jerry James	1	-1/+4
2011-11-14	Build on all ocaml arches.f16 f15	Jerry James	1	-2/+5
[...]

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