]> git.pld-linux.org Git - packages/coq.git/commit
projects / packages / coq.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 02bfb0d) | patch
Release 4 (by relup.sh) auto/th/coq-8.13.1-4
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 21 Nov 2021 23:14:04 +0000 (00:14 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 21 Nov 2021 23:14:04 +0000 (00:14 +0100)
commit78adac83326e782ab3c0fd7f231f95caadabaeb4
treebf8c0bc377a4482160d0d5049f059b650ef72750tree | snapshot
parent02bfb0da6f4ff9a07bb298d9bbf6b50140f4588ccommit | diff
Release 4 (by relup.sh)
coq.spec diff | blob | blame | history
The Coq Proof Assistant
This page took 0.077141 seconds and 4 git commands to generate.