Import upstream patch to fix coq-elpi ppc64el failure
authorStéphane Glondu <glondu@debian.org>
Thu, 29 Aug 2024 14:00:41 +0000 (16:00 +0200)
committerStéphane Glondu <glondu@debian.org>
Thu, 29 Aug 2024 14:00:55 +0000 (16:00 +0200)
commit668409f082200143a018fce9f03942d7de81268b
treea5e023f95e06d5cc98ec98aff05a832a52207c9e
parent4a5a9ca5a7313f3786b8db415d59a5f17c805e8c
Import upstream patch to fix coq-elpi ppc64el failure
debian/patches/0011-Don-t-use-r12-to-pass-size-to-caml_call_realloc_stac.patch [new file with mode: 0644]
debian/patches/series