- 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
treef9e4779277495cf93cc98b5e6d7e189d1a6ad83b
parent6b871b2b1dfb5663da37fc48e10b4b7a6da74b56
- up to 8.13.1
coq-lablgtk2.patch [deleted file]
coq.spec
This page took 0.064626 seconds and 4 git commands to generate.