Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/cvc4
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2024-09-16 20:57:38 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2024-09-16 20:57:38 +0200
commit6dab7dc3528748e9b144d5e16e73a7dcd2786662 (patch)
tree487021b2496ca79011204e07a1d8a07620074c7a /extra/cvc4
parent6ea2908f3c2d4dcef656c7bcd4bffd5f1dc1fc4d (diff)
extra/iso-codes: ignore wrong checksum
Diffstat (limited to 'extra/cvc4')
0 files changed, 0 insertions, 0 deletions

Copyright © 2002-2022 Judd Vinet and Aaron Griffin. Copyright © 2022 Erich Eckner.
The Arch Linux name and logo are recognized trademarks. Some rights reserved. The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.