]> git.pld-linux.org Git - packages/coq.git/summary
projects / packages / coq.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

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