descriptionThe Coq Proof Assistant
last changeMon, 29 Mar 2021 06:48:08 +0000 (08:48 +0200)
shortlog
2021-03-29 Jan Rękorajski- filter out autodeps on private interfaces master auto/th/coq-8.13.1-2
2021-03-28 Jakub Bogusz- arm is a macro containing actual arm subarchs auto/th/coq-8.13.1-1
2021-03-28 Jan Rękorajski- no go on x32
2021-03-28 Jan Rękorajski- up to 8.13.1
2017-06-05 Jan Rękorajski- up to 8.6 auto/th/coq-8.6-1
2017-06-05 Jan Rękorajski- rebuild with ocaml 4.04.1 auto/th/coq-8.4pl6-3
2016-03-21 Jan Rękorajski- release 2 (by relup.sh) auto/th/coq-8.4pl6-2
2015-07-27 Jakub Bogusz- updated to 8.4pl6 auto/th/coq-8.4pl6-1
2015-07-25 Jan Rękorajski- rel 2 auto/th/coq-8.4pl5-2
2015-07-25 Jan Rękorajski- updated BRs and files
2015-07-25 Jan Rękorajski- add ocaml_opt bcond
2014-11-16 Jan Rękorajski- up to 8.4pl5 auto/th/coq-8.4pl5-1
2014-11-16 Jan Rękorajski- rebuild with ocaml 4.02 auto/th/coq-8.4pl3-2
2014-04-30 Jan Rękorajski- up to 8.4pl3 auto/th/coq-8.4pl3-1
2013-05-14 Jan Rękorajski- rel 2 auto/th/coq-8.3pl1-2
2012-06-24 Jan Rękorajski- rel 1 auto/th/coq-8_3pl1-1
...
tags
3 months ago auto/th/coq-8.13.1-2
3 months ago auto/th/coq-8.13.1-1
4 years ago auto/th/coq-8.6-1
4 years ago auto/th/coq-8.4pl6-3
5 years ago auto/th/coq-8.4pl6-2
6 years ago auto/th/coq-8.4pl6-1
6 years ago auto/th/coq-8.4pl5-2
6 years ago auto/th/coq-8.4pl5-1
6 years ago auto/th/coq-8.4pl3-2
7 years ago auto/th/coq-8.4pl3-1
8 years ago auto/th/coq-8.3pl1-2
9 years ago auto/ac/coq-8_0pl2-2
9 years ago auto/th/coq-8_3pl1-1
heads
3 months ago master
This page took 0.603194 seconds and 7 git commands to generate.