Refresh patches
authorStephane Glondu <steph@glondu.net>
Thu, 17 Oct 2013 09:43:54 +0000 (11:43 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 17 Oct 2013 09:43:54 +0000 (11:43 +0200)
commitdca89912c6aa6e87dddaa0fcf0e5417b8879fa53
tree84593ad7e11092230293e114c31b44b585c22686
parentf1f6a5b299eaf470425534e7cfbb1daed82b3ed9
Refresh patches
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-Avoid-multiple-declarations-in-generated-.c-files-in.patch
debian/patches/0008-Embed-bytecode-in-C-object-when-using-custom.patch
debian/patches/0009-Fix-code-generation-bug-with-mod-1.patch [deleted file]
debian/patches/series