Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/coq
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2023-01-27 19:04:15 +0100
committerErich Eckner <git@eckner.net>2023-01-27 19:04:15 +0100
commit03dc874668b025ed8ddc5a1963d2644ef664feee (patch)
tree91c08ffe1a485a949dae67929c30d859ee81aae9 /community/coq
parent3f9d0a1a54501eb91e85506801a73139ed922fed (diff)
extra/linux-zen: new version => new config => new checksum
Diffstat (limited to 'community/coq')
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.