Package: libmccs-ocaml Architecture: amd64 Version: 1.1+18-1build1 Priority: optional Section: universe/ocaml Source: ocaml-mccs Origin: Ubuntu Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 351 Provides: libmccs-ocaml-r0f47 Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libstdc++6 (>= 13.1), libstdlib-ocaml-u9ol3, ocaml-base-5.2.0 Filename: pool/universe/o/ocaml-mccs/libmccs-ocaml_1.1+18-1build1_amd64.deb Size: 81984 MD5sum: 358fb5c256b3381534c995735eaf21dd SHA1: 8e93ac5352d15688e61922fd873e692bd7983c77 SHA256: d9ecc6a3f52f99fbd82634e685b731ee8b4651846c64451f4959ca0ada39345f SHA512: ea53054fc3db5000672fb21df05e2ac62e496c118ada6748c9aaa375c0375d2dbd4504dce3d8361677c7493d21afba3fa12d93c0bd9bb9f1c0ecaeefcab230b4 Homepage: https://github.com/AltGr/ocaml-mccs/ Description: stripped-down MCCS CUDF solver for OCaml Description-md5: 07e43fdef92ca49e839c3d6a694d1d42