Refresh patches
authorStéphane Glondu <glondu@debian.org>
Mon, 18 Sep 2023 11:38:34 +0000 (13:38 +0200)
committerStéphane Glondu <glondu@debian.org>
Mon, 18 Sep 2023 11:38:34 +0000 (13:38 +0200)
commitdd1593118f38353349b67c8cebfeed190f773666
tree59c32adbd4153ccf04bcecc3f83f922828566231
parente96e88ae9a17281aa8dc503eb049aa44138851a1
Refresh patches
debian/patches/0001-Don-t-use-rpath.patch
debian/patches/0002-Use-CCLINKFLAGS-for-linking-all-executables-and-shar.patch
debian/patches/0004-Disable-DT_TEXTREL-warnings-on-Linux-i386.patch
debian/patches/0005-Trigger-output-complete-exe-on-custom-with-an-enviro.patch
debian/patches/0006-Do-not-error-on-warnings-in-autoconf.patch
debian/patches/0007-Put-manpages-in-section-3o-instead-of-3.patch
debian/patches/0008-Filter-out-f-debug-file-prefix-map-from-ocamlc_cflag.patch