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
treebf8c0bc377a4482160d0d5049f059b650ef72750
parent02bfb0da6f4ff9a07bb298d9bbf6b50140f4588c
Release 4 (by relup.sh)
coq.spec
This page took 0.067201 seconds and 4 git commands to generate.