Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/community/opam/PKGBUILD
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-06-06 08:31:53 +0200
committerErich Eckner <git@eckner.net>2019-06-06 08:31:53 +0200
commitd7ed4f6d98fa731464bd3593ae68f6546c1669a5 (patch)
tree1207556d1aa752d6a9a63f7654eacd8d6a1a2431 /community/opam/PKGBUILD
parentfcdee30c8897f54b81fba3d9a37dc2646a0abadb (diff)
extra/linux-pae: 5.1.5 -> 5.1.7
Diffstat (limited to 'community/opam/PKGBUILD')
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.