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, 29 Mar 2021 06:48:08 +0000 (08:48 +0200)
URL	git://git.pld-linux.org/packages/coq.git
	ssh://git@git.pld-linux.org/packages/coq.git

2021-03-29	Jan Rękorajski	- filter out autodeps on private interfaces master auto/th/coq-8.13.1-2	commit \| commitdiff \| tree \| snapshot
2021-03-28	Jakub Bogusz	- arm is a macro containing actual arm subarchs auto/th/coq-8.13.1-1	commit \| commitdiff \| tree \| snapshot
2021-03-28	Jan Rękorajski	- no go on x32	commit \| commitdiff \| tree \| snapshot
2021-03-28	Jan Rękorajski	- up to 8.13.1	commit \| commitdiff \| tree \| snapshot
2017-06-05	Jan Rękorajski	- up to 8.6 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
...

2 weeks ago	auto/th/coq-8.13.1-2			\| commit \| shortlog \| log
3 weeks ago	auto/th/coq-8.13.1-1			\| commit \| shortlog \| log
3 years ago	auto/th/coq-8.6-1			\| commit \| shortlog \| log
3 years ago	auto/th/coq-8.4pl6-3			\| commit \| shortlog \| log
5 years ago	auto/th/coq-8.4pl6-2			\| commit \| shortlog \| log
5 years ago	auto/th/coq-8.4pl6-1			\| commit \| shortlog \| log
5 years ago	auto/th/coq-8.4pl5-2			\| commit \| shortlog \| log
6 years ago	auto/th/coq-8.4pl5-1			\| commit \| shortlog \| log
6 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
8 years ago	auto/ac/coq-8_0pl2-2			\| commit \| shortlog \| log
8 years ago	auto/th/coq-8_3pl1-1			\| commit \| shortlog \| log

2 weeks ago

shortlog | log | tree

The Coq Proof Assistant

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