Provide libnum-ocaml{,-dev}
authorStephane Glondu <steph@glondu.net>
Tue, 6 Aug 2019 07:25:52 +0000 (09:25 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Tue, 6 Aug 2019 07:25:52 +0000 (09:25 +0200)
commit3bed76f45250b36c3420f827ea432e0960bad9b2
tree7cd2fe7182b4a45650049404f5cbd15765ac1961
parent1657403a3bfaf72e7be41e35a331058e006db261
Provide libnum-ocaml{,-dev}
debian/control