>> Trisquel >> Packages >> nabia >> virtual >> libmccs-ocaml-s1ht4

[ nabia ]

Virtual Package: libmccs-ocaml-s1ht4

This is a virtual package. See the Debian policy for a definition of virtual packages.

Packages providing libmccs-ocaml-s1ht4

libmccs-ocaml: stripped-down MCCS CUDF solver for OCaml