Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/coq/PKGBUILD
diff options
context:
space:
mode:
authorTasos Sahanidis <tasos@tasossah.com>2024-07-10 19:02:53 +0300
committerTasos Sahanidis <tasos@tasossah.com>2024-07-10 19:02:53 +0300
commit6e3f7ad1a0f220fc5036b69652042dbdf695fc73 (patch)
tree9fd206fe57ed934c913444df7fe16b3b27c09388 /extra/coq/PKGBUILD
parent32896a0bf91a19d0b85c5c618fcbce5c8a553e2a (diff)
extra/spirv-llvm-translator: Remove unnecessary patch
Diffstat (limited to 'extra/coq/PKGBUILD')
0 files changed, 0 insertions, 0 deletions