Update OCAML_ABI
authorStephane Glondu <steph@glondu.net>
Mon, 30 Sep 2019 14:05:20 +0000 (16:05 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Mon, 30 Sep 2019 14:05:32 +0000 (16:05 +0200)
commit1e0b12440eaf5b869e98ad11117a5e4ecc3b4068
treeda2e4131c4bae2aea2f17875d4538558de6302d4
parenta17fc18a90ff620d6cfa9ffb795973da023d15e6
Update OCAML_ABI
debian/ocamlvars.mk