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

2021-11-20	Jan Rękorajski	rebuild with separate debuginfo build-ids	commit \| commitdiff \| tree
2021-03-29	Jan Rękorajski	- filter out autodeps on private interfaces	commit \| commitdiff \| tree
2021-03-28	Jan Rękorajski	- no go on x32	commit \| commitdiff \| tree
2021-03-28	Jan Rękorajski	- up to 8.13.1	commit \| commitdiff \| tree
2017-06-05	Jan Rękorajski	- up to 8.6	commit \| commitdiff \| tree
2017-06-05	Jan Rękorajski	- rebuild with ocaml 4.04.1	commit \| commitdiff \| tree
2016-03-21	Jan Rękorajski	- release 2 (by relup.sh)	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- rel 2	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- updated BRs and files	commit \| commitdiff \| tree
2015-07-25	Jan Rękorajski	- add ocaml_opt bcond	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- up to 8.4pl5	commit \| commitdiff \| tree
2014-11-16	Jan Rękorajski	- rebuild with ocaml 4.02	commit \| commitdiff \| tree
2014-04-30	Jan Rękorajski	- up to 8.4pl3	commit \| commitdiff \| tree
2013-05-14	Jan Rękorajski	- rel 2	commit \| commitdiff \| tree

The Coq Proof Assistant

This page took 0.063381 seconds and 3 git commands to generate.