index : packages | |
Archlinux32 package modifications | gitolite user |
summaryrefslogtreecommitdiff |
author | Andreas Baumann <mail@andreasbaumann.cc> | 2024-02-04 10:40:31 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2024-02-04 10:40:31 +0100 |
commit | 0f244ec5d9f98315cda1e437b59150201a822118 (patch) | |
tree | c30f23ed68c3519fad64bd4bd9b16420962f9f17 /extra/cvc4/PKGBUILD | |
parent | eaa61b57be32b7d489f257d99cdd0f79927d1da9 (diff) |