core/linux: upstream uses b2sum, now - packages - Archlinux32 package modifications

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

summary refs log tree commit diff

path: root/extra/coq

diff options

author	Erich Eckner <git@eckner.net>	2023-07-09 20:47:55 +0200
committer	Erich Eckner <git@eckner.net>	2023-07-09 20:48:02 +0200
commit	6957a2d6208db3fe80ba849827d8bb1aeafa55d5 (patch)
tree	0a4d534d0c8d951f56515c41e60ab9b1a98161f1 /extra/coq
parent	376576598691642d6cad7485d3a69d85f38a3b02 (diff)

core/linux: upstream uses b2sum, now

Diffstat (limited to 'extra/coq')

0 files changed, 0 insertions, 0 deletions