index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2023-07-07 18:19:15 +0200 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2023-07-07 18:19:15 +0200 |
commit | 2f64a459286a4eb70b0a969860e19fb6c7a0c97d (patch) | |
tree | 136a05364a515ce4f4407440040bc1891ce3f9d3 /extra/coq/PKGBUILD | |
parent | 78e703995b26dc46b068523c9939dcbc597f6718 (diff) |