Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/coq
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2024-04-18 15:43:29 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2024-04-18 15:43:29 +0200
commit47e0e4fe0cbecb518765c3ea106e31ac6e7b90ab (patch)
tree9b6dc1bf1c7cdfa703ba3f26566aa6b7c74f50cd /extra/coq
parente09b1fc2a011ca1a9a9ee48b0021d3edf4b07470 (diff)
added an icu73 shim
Diffstat (limited to 'extra/coq')
0 files changed, 0 insertions, 0 deletions