Package - libcoq-simple-io

Package:  libcoq-simple-io
apt-get install libcoq-simple-io
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-1+b1_amd64.deb (Size: 267.1KiB)

PropertyValue
Packagelibcoq-simple-io
Sourcecoq-simple-io (1.11.0-1)
Version1.11.0-1+b1
Installed-Size917
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-simple-io-vjf29
Dependslibcoq-ext-lib-hjs39, libcoq-stdlib-68yx1
DescriptionCoq plugin for purely functional IO
Description-md5203327b966ea6f97a884c7e5a945d270
Homepagehttps://github.com/coq-community/coq-simple-io
Sectionocaml
Priorityoptional
Filenamepool/main/c/coq-simple-io/libcoq-simple-io_1.11.0-1+b1_amd64.deb
Size273528
MD5sumf5fff76164c58dd7da323e9032c54195
SHA25614efd9015996a6df31adff3d18b4c412597bf43ea6ce88553b5033f5be4eb80c

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/compat.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/compat.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.a
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.cma
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.cmxa
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.cmxs
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Compat.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Compat.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Compat.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Compat.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Coqsimpleio.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Coqsimpleio.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Coqsimpleio.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__Coqsimpleio.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__IOLib.cmi
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__IOLib.cmt
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__IOLib.cmti
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/coqsimpleio_plugin__IOLib.cmx
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/iOLib.ml
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-simple-io/plugin/iOLib.mli
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Bytes.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Bytes.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Bytes.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Exceptions.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Exceptions.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Exceptions.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Filename.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Filename.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Filename.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Float.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Float.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Float.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Monad.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Monad.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Monad.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_MonadFix.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_MonadFix.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_MonadFix.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Random.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Random.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Random.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_RawChar.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_RawChar.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_RawChar.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Stdlib.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Stdlib.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Stdlib.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_StdlibAxioms.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_StdlibAxioms.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_StdlibAxioms.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_String.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_String.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_String.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Sys.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Sys.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Sys.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Unix.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Unix.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Unix.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Unsafe.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Unsafe.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_Unsafe.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_UnsafeNat.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_UnsafeNat.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/IO_UnsafeNat.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/SimpleIO.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/SimpleIO.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/SimpleIO.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/SimpleIO_Plugin.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/SimpleIO_Plugin.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/SimpleIO_Plugin.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/SimpleIO/coqsimpleio_plugin.cmxs
  • /usr/share/doc/libcoq-simple-io/README.md.gz
  • /usr/share/doc/libcoq-simple-io/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-simple-io/changelog.Debian.gz
  • /usr/share/doc/libcoq-simple-io/changelog.gz
  • /usr/share/doc/libcoq-simple-io/copyright
  • /usr/share/lintian/overrides/libcoq-simple-io
  • /var/lib/coq/md5sums/libcoq-simple-io.checksum