Package - libmccs-ocaml

Package:  libmccs-ocaml
apt-get install libmccs-ocaml
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/o/ocaml-mccs/libmccs-ocaml_1.1+19-1+b2_amd64.deb (Size: 74.7KiB)

PropertyValue
Packagelibmccs-ocaml
Sourceocaml-mccs (1.1+19-1)
Version1.1+19-1+b2
Installed-Size349
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibmccs-ocaml-ttvd2
Dependslibc6 (>= 2.38), libgcc-s1 (>= 3.0), libglpk40 (>= 4.59), libstdc++6 (>= 13.1), libstdlib-ocaml-m4xw9, ocaml-base-5.3.0
Descriptionstripped-down MCCS CUDF solver for OCaml
Description-md507e43fdef92ca49e839c3d6a694d1d42
Homepagehttps://github.com/AltGr/ocaml-mccs/
Sectionocaml
Priorityoptional
Filenamepool/main/o/ocaml-mccs/libmccs-ocaml_1.1+19-1+b2_amd64.deb
Size76456
MD5sum5a96a134195ed7ef3c61960dec6214f2
SHA256a4a7e786e03934f9d3583b5d234c12d11ff3bcb2f4080528c5e091c51f353f74

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/mccs/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/mccs/glpk/shared/mccs_hostglpk_shared.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/mccs/glpk/shared/mccs_hostglpk_shared.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/mccs/mccs.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/mccs/mccs.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/stublibs/dllmccs_stubs.so
  • /usr/share/doc/libmccs-ocaml/changelog.Debian.amd64.gz
  • /usr/share/doc/libmccs-ocaml/changelog.Debian.gz
  • /usr/share/doc/libmccs-ocaml/changelog.gz
  • /usr/share/doc/libmccs-ocaml/copyright