Start updating packaging (not finished!)
authorStephane Glondu <steph@glondu.net>
Wed, 10 Jul 2019 13:45:30 +0000 (15:45 +0200)
committerStephane Glondu <steph@glondu.net>
Wed, 10 Jul 2019 15:37:00 +0000 (17:37 +0200)
commitf9f9dbdb5eda04890afb620b8152d7c0f61b5c4e
tree19b0025a842af9174055fb57c30317fb6f17b863
parentb316595e40110750db5f496c08dba574ff29acf1
Start updating packaging (not finished!)
debian/ocamlinit.mk
debian/ocamlvars.mk
debian/rules