Package - libcoq-mathcomp-real-closed

Package:  libcoq-mathcomp-real-closed
apt-get install libcoq-mathcomp-real-closed
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.2-1+b7_amd64.deb (Size: 2.5MiB)

PropertyValue
Packagelibcoq-mathcomp-real-closed
Sourcemathcomp-real-closed (2.0.2-1)
Version2.0.2-1+b7
Installed-Size10325
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-mathcomp-real-closed-wq4m4
Dependslibcoq-mathcomp-algebra-ausx4, libcoq-mathcomp-bigenough-06xl3, libcoq-mathcomp-field-opte0, libcoq-mathcomp-ssreflect-08jv4
Suggestsocaml-findlib
DescriptionReal closed fields for Mathematical Components
Description-md5ac5dcf44ba4c1912a63545315e50c34a
Homepagehttps://github.com/math-comp/real-closed
Sectionocaml
Priorityoptional
Filenamepool/main/m/mathcomp-real-closed/libcoq-mathcomp-real-closed_2.0.2-1+b7_amd64.deb
Size2582176
MD5sum062d2fdf62554e6cdc45ce89553ee75c
SHA2561c0130932cde0105a6fb005fd4b006d4bd6bd658e386a52827a73a89e88940f8

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mathcomp-real-closed/META
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mathcomp-real-closed/dune-package
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mathcomp-real-closed/opam
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/all_real_closed.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/all_real_closed.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/all_real_closed.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/cauchyreals.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/cauchyreals.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/cauchyreals.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/complex.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/complex.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/complex.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/mxtens.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/mxtens.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/mxtens.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/ordered_qelim.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/ordered_qelim.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/ordered_qelim.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/polyorder.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/polyorder.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/polyorder.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/polyrcf.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/polyrcf.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/polyrcf.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/qe_rcf.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/qe_rcf.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/qe_rcf.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/qe_rcf_th.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/qe_rcf_th.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/qe_rcf_th.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/realalg.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/realalg.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/real_closed/realalg.vo
  • /usr/share/doc/libcoq-mathcomp-real-closed/README.md.gz
  • /usr/share/doc/libcoq-mathcomp-real-closed/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-mathcomp-real-closed/changelog.Debian.gz
  • /usr/share/doc/libcoq-mathcomp-real-closed/copyright
  • /var/lib/coq/md5sums/libcoq-mathcomp-real-closed.checksum