ocaml-nox do no longer provide num
authorStephane Glondu <steph@glondu.net>
Mon, 4 Nov 2019 09:34:51 +0000 (10:34 +0100)
committerStéphane Glondu <glondu@debian.org>
Mon, 4 Nov 2019 09:34:51 +0000 (10:34 +0100)
commit5cde6289f06027299896bb0c06eca5d731295721
tree2b55039f86e2bff1a8ada0d9726cacf7d13d988f
parent42f98707cc24627e47438abf5b8d5086cc3e14c3
ocaml-nox do no longer provide num
debian/control