Bug#304017: numerix.cmxa and numerix.a not packaged

-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Julien PUYDT wrote: > my little pet project's opt build-target was broken by the recent > package upgrade (transition to 3.08.3) because the two mentioned files > are missing. Oops, I broke my build environment (to test a non-opt build) and forgot to r

Bug#304017: numerix.cmxa and numerix.a not packaged

Package: libnumerix-ocaml-dev Version: 0.19-5 Hi, my little pet project's opt build-target was broken by the recent package upgrade (transition to 3.08.3) because the two mentioned files are missing. Compiling the numerix source package and manually installing them solves my issue, so it should