]> git.pld-linux.org Git - packages/coq.git/commit - coq.spec
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b871b2) | patch
- up to 8.13.1
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 28 Mar 2021 16:52:50 +0000 (18:52 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 28 Mar 2021 16:52:50 +0000 (18:52 +0200)
commitb2cb8983182746588fc922b34f05c7ab2d285599
treef9e4779277495cf93cc98b5e6d7e189d1a6ad83btree | snapshot
parent6b871b2b1dfb5663da37fc48e10b4b7a6da74b56commit | diff
- up to 8.13.1
coq-lablgtk2.patch [deleted file] blob | blame | history
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.036364 seconds and 4 git commands to generate.