Publishing details
Changelog
ocaml-mccs (1.1+16-1build1) mantic; urgency=medium
* Rebuild against new OCAML ABI.
-- Gianfranco Costamagna <email address hidden> Mon, 24 Jul 2023 19:07:07 +0200
Builds
Built packages
-
libmccs-ocaml
stripped-down MCCS CUDF solver for OCaml
-
libmccs-ocaml-dbgsym
debug symbols for libmccs-ocaml
-
libmccs-ocaml-dev
stripped-down MCCS CUDF solver for OCaml -- development files
Package files