]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b2cb898) | patch
- no go on x32
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 28 Mar 2021 17:58:59 +0000 (19:58 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 28 Mar 2021 17:58:59 +0000 (19:58 +0200)
commit3e0583a42c53935024c1d59a611048a9702a823d
tree7bfe50e11b3b226f663bbb6b9f0ba0cbd7360787tree | snapshot
parentb2cb8983182746588fc922b34f05c7ab2d285599commit | diff
- no go on x32
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.0255379999999999 seconds and 4 git commands to generate.