Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/extra/ocaml-integers
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-06-25 20:48:30 +0200
committerErich Eckner <git@eckner.net>2021-06-25 20:48:30 +0200
commit794861cff361e44d321bf95db99dee3586a9246b (patch)
tree4edc84f1554409b57e32f71a8f31898011dee29d /extra/ocaml-integers
parentf096c128f69594f03cb5060d33f980269e1d8abf (diff)
Revert "extra/linux-pae: 5.12.9 -> 5.12.12"
This reverts commit 30acf9df22303e8bbf06845dd147b3fe9a77b4c4.
Diffstat (limited to 'extra/ocaml-integers')
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.