(From Debian) ROM; unmaintained, obsolete; Debian bug #934226
enumerate (111.08.00-3build1) bionic; urgency=medium * Rebuild against new OCAML ABIs. -- Gianfranco Costamagna <email address hidden> Sat, 28 Oct 2017 13:34:57 +0200