Package - libmcl14-ocaml-dev

Package:  libmcl14-ocaml-dev
apt-get install libmcl14-ocaml-dev
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mcl14/libmcl14-ocaml-dev_14-137+ocaml-3+b3_amd64.deb (Size: 249.7KiB)

PropertyValue
Packagelibmcl14-ocaml-dev
Sourcemcl14 (14-137+ocaml-3)
Version14-137+ocaml-3+b3
Installed-Size1977
MaintainerDebian Med Packaging Team
Architectureamd64
Provideslibmcl14-ocaml-dev-nhx49
Dependsocaml-findlib, libstdlib-ocaml-dev-m4xw9, ocaml-5.3.0, libc6 (>= 2.34)
Descriptionlibrary providing bindings between mcl and OCaml
Description-md56e03e75de494dbc4969f55fa3d3093fe
Homepagehttps://micans.org/mcl/
Sectionocaml
Priorityoptional
Filenamepool/main/m/mcl14/libmcl14-ocaml-dev_14-137+ocaml-3+b3_amd64.deb
Size255716
MD5sumd66dcec41ebdde1bab53d82737942825
SHA256a68cd59e29015ae6bbbdc80a019c5bdc0db6f3b9e5d7f724882f26b59d573990

Files in package

  • /usr/lib/ocaml/caml_mcl.c
  • /usr/lib/ocaml/caml_mcl.o
  • /usr/lib/ocaml/dllmcl_stubs.so
  • /usr/lib/ocaml/libmcl_stubs.a
  • /usr/lib/ocaml/libmcl_stubs.clib
  • /usr/lib/ocaml/mcl.a
  • /usr/lib/ocaml/mcl.annot
  • /usr/lib/ocaml/mcl.cma
  • /usr/lib/ocaml/mcl.cmi
  • /usr/lib/ocaml/mcl.cmo
  • /usr/lib/ocaml/mcl.cmt
  • /usr/lib/ocaml/mcl.cmx
  • /usr/lib/ocaml/mcl.cmxa
  • /usr/lib/ocaml/mcl.cmxs
  • /usr/lib/ocaml/mcl.ml
  • /usr/lib/ocaml/mcl.ml.depends
  • /usr/lib/ocaml/mcl.mldylib
  • /usr/lib/ocaml/mcl.mllib
  • /usr/lib/ocaml/mcl.o
  • /usr/lib/ocaml/mcl/META
  • /usr/lib/x86_64-linux-gnu/libclew.a
  • /usr/lib/x86_64-linux-gnu/libgryphon.a
  • /usr/lib/x86_64-linux-gnu/libimpala.a
  • /usr/lib/x86_64-linux-gnu/libmcl.a
  • /usr/share/doc/libmcl14-ocaml-dev/changelog.Debian.amd64.gz
  • /usr/share/doc/libmcl14-ocaml-dev/changelog.Debian.gz
  • /usr/share/doc/libmcl14-ocaml-dev/changelog.gz
  • /usr/share/doc/libmcl14-ocaml-dev/copyright
  • /usr/share/lintian/overrides/libmcl14-ocaml-dev
  • /var/lib/ocaml/lintian/libmcl14-ocaml-dev.info
  • /var/lib/ocaml/md5sums/libmcl14-ocaml-dev.md5sums