Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/ocaml/PKGBUILD
diff options
context:
space:
mode:
authorAndreas Baumann <mail@andreasbaumann.cc>2024-09-13 09:20:34 +0200
committerAndreas Baumann <mail@andreasbaumann.cc>2024-09-13 09:20:34 +0200
commitdc85a838b6b310ca2d91f7eaa7c8f30d92c9eb3f (patch)
tree13840413d1ba00f41753ca8c95b0dea910345990 /extra/ocaml/PKGBUILD
parent4af7262ed8ac213d60126c5d310769f57e15f756 (diff)
added openmpi4 as replacement for openmpi
Diffstat (limited to 'extra/ocaml/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.