git.pld-linux.org Git - packages/coq.git/summary

projects / packages / coq.git / summary

summary | shortlog | log | commit | commitdiff | tree

description	The Coq Proof Assistant
last change	Mon, 5 Jun 2017 23:25:41 +0000 (23:25 +0000)
URL	git://git.pld-linux.org/packages/coq.git
	ssh://git@git.pld-linux.org/packages/coq.git

2017-06-05	Jan Rękorajski	- up to 8.6 master auto/th/coq-8.6-1	commit \| commitdiff \| tree \| snapshot
2017-06-05	Jan Rękorajski	- rebuild with ocaml 4.04.1 auto/th/coq-8.4pl6-3	commit \| commitdiff \| tree \| snapshot
2016-03-21	Jan Rękorajski	- release 2 (by relup.sh) auto/th/coq-8.4pl6-2	commit \| commitdiff \| tree \| snapshot
2015-07-27	Jakub Bogusz	- updated to 8.4pl6 auto/th/coq-8.4pl6-1	commit \| commitdiff \| tree \| snapshot
2015-07-25	Jan Rękorajski	- rel 2 auto/th/coq-8.4pl5-2	commit \| commitdiff \| tree \| snapshot
2015-07-25	Jan Rękorajski	- updated BRs and files	commit \| commitdiff \| tree \| snapshot
2015-07-25	Jan Rękorajski	- add ocaml_opt bcond	commit \| commitdiff \| tree \| snapshot
2014-11-16	Jan Rękorajski	- up to 8.4pl5 auto/th/coq-8.4pl5-1	commit \| commitdiff \| tree \| snapshot
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02 auto/th/coq-8.4pl3-2	commit \| commitdiff \| tree \| snapshot
2014-04-30	Jan Rękorajski	- up to 8.4pl3 auto/th/coq-8.4pl3-1	commit \| commitdiff \| tree \| snapshot
2013-05-14	Jan Rękorajski	- rel 2 auto/th/coq-8.3pl1-2	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- rel 1 auto/th/coq-8_3pl1-1	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- package installed docs	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- TODO and proper explanation why tests fail	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- tests bcond	commit \| commitdiff \| tree \| snapshot
2012-06-24	Jan Rękorajski	- moved emacs and latex stuff to separate packages	commit \| commitdiff \| tree \| snapshot
...

2 years ago	auto/th/coq-8.6-1			\| commit \| shortlog \| log
2 years ago	auto/th/coq-8.4pl6-3			\| commit \| shortlog \| log
4 years ago	auto/th/coq-8.4pl6-2			\| commit \| shortlog \| log
4 years ago	auto/th/coq-8.4pl6-1			\| commit \| shortlog \| log
4 years ago	auto/th/coq-8.4pl5-2			\| commit \| shortlog \| log
5 years ago	auto/th/coq-8.4pl5-1			\| commit \| shortlog \| log
5 years ago	auto/th/coq-8.4pl3-2			\| commit \| shortlog \| log
6 years ago	auto/th/coq-8.4pl3-1			\| commit \| shortlog \| log
7 years ago	auto/th/coq-8.3pl1-2			\| commit \| shortlog \| log
7 years ago	auto/th/coq-8_3pl1-1			\| commit \| shortlog \| log
7 years ago	auto/ac/coq-8_0pl2-2			\| commit \| shortlog \| log

2 years ago

shortlog | log | tree

The Coq Proof Assistant

This page took 0.346942 seconds and 7 git commands to generate.