Simplify and fix the newer natdynlink handling
authorXimin Luo <infinity0@debian.org>
Fri, 21 Jul 2017 17:06:55 +0000 (19:06 +0200)
committerXimin Luo <infinity0@debian.org>
Fri, 21 Jul 2017 17:06:55 +0000 (19:06 +0200)
commit1bf550c9de7c1b484346ce1c48ee2449ef4827a4
tree7720ccb72cc6b7ecbab01ef55a986955b10b3921
parent9936d909614999fd2a0202bbcf9931310846c6d9
Simplify and fix the newer natdynlink handling
debian/MANIFEST
debian/natdynlink-archs [deleted file]
debian/ocamlinit.mk
debian/ocamlvars.mk