index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Tasos Sahanidis <tasos@tasossah.com> | 2024-07-10 19:02:53 +0300 |
---|---|---|
committer | Tasos Sahanidis <tasos@tasossah.com> | 2024-07-10 19:02:53 +0300 |
commit | 6e3f7ad1a0f220fc5036b69652042dbdf695fc73 (patch) | |
tree | 9fd206fe57ed934c913444df7fe16b3b27c09388 /extra/coq/PKGBUILD | |
parent | 32896a0bf91a19d0b85c5c618fcbce5c8a553e2a (diff) |