Refresh patches
authorStephane Glondu <steph@glondu.net>
Wed, 13 Jun 2012 08:09:06 +0000 (10:09 +0200)
committerStephane Glondu <steph@glondu.net>
Wed, 13 Jun 2012 12:54:43 +0000 (14:54 +0200)
commit38b3e9601f5056b092ebf91a3c5d1840c667d06f
treea1289831c0a505ad7daaaf07920c0a5ef4be250d
parent6bffb8dddcf1db4b39a71a933e9ed6663ddc6dee
Refresh patches
14 files changed:
debian/patches/0001-Pass-no-relax-to-ld-on-alpha.patch
debian/patches/0002-Call-ld-with-proper-flags.patch
debian/patches/0003-Don-t-use-rpath.patch
debian/patches/0004-Put-manpages-in-section-3o-instead-of-3.patch
debian/patches/0005-Patch-config.sh-for-installation.patch
debian/patches/0006-Install-ocamlbuild-as-a-link-on-either-.native-or-.b.patch
debian/patches/0007-Natdynlink-works-on-powerpc-and-hurd-i386.patch
debian/patches/0008-Declare-primitive-name-table-as-const-char.patch
debian/patches/0009-Avoid-multiple-declarations-in-generated-.c-files-in.patch
debian/patches/0010-Properly-initialize-executable-name-in-caml_startup_.patch
debian/patches/0011-Embed-bytecode-in-C-object-when-using-custom.patch
debian/patches/0012-Fix-asmcomp-tests-on-Hurd.patch
debian/patches/0013-Revert-recent-changes-in-otherlibs-graph-.depends.patch [deleted file]
debian/patches/series