descriptionThe Coq Proof Assistant
last changeSat, 29 Jan 2022 16:18:29 +0000 (17:18 +0100)
shortlog
2022-01-29 Jakub Bogusz- this version relies on fpmath=sse, so require sse2... master auto/th/coq-8.15.0-1
2022-01-29 Jakub Bogusz- fixed sse2 bcond
2022-01-29 Jakub Bogusz- updated to 8.15.0
2022-01-22 Jakub Bogusz- updated dependencies, added doc and sse2 bconds
2022-01-22 Jan RękorajskiRelease 5 (by relup.sh) auto/th/coq-8.13.1-5
2021-11-21 Jan RękorajskiRelease 4 (by relup.sh) auto/th/coq-8.13.1-4
2021-11-20 Jan Rękorajskirebuild with separate debuginfo build-ids auto/th/coq-8.13.1-3
2021-03-29 Jan Rękorajski- filter out autodeps on private interfaces 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
...
tags
3 months ago auto/th/coq-8.15.0-1
4 months ago auto/th/coq-8.13.1-5
6 months ago auto/th/coq-8.13.1-4
6 months ago auto/th/coq-8.13.1-3
13 months ago auto/th/coq-8.13.1-2
13 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
6 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
7 years ago auto/th/coq-8.4pl5-1
7 years ago auto/th/coq-8.4pl3-2
8 years ago auto/th/coq-8.4pl3-1
9 years ago auto/th/coq-8.3pl1-2
9 years ago auto/ac/coq-8_0pl2-2
...
heads
3 months ago master
This page took 0.347763 seconds and 7 git commands to generate.