- 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
tree7bfe50e11b3b226f663bbb6b9f0ba0cbd7360787
parentb2cb8983182746588fc922b34f05c7ab2d285599
- no go on x32
coq.spec
This page took 0.466523 seconds and 4 git commands to generate.