Package - libcoq-mathcomp-zify

Package:  libcoq-mathcomp-zify
apt-get install libcoq-mathcomp-zify
Documentations in package:

Primary informations

Download package: http://deb.debian.org/debian/pool/main/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_amd64.deb (Size: 266.4KiB)

PropertyValue
Packagelibcoq-mathcomp-zify
Sourcemathcomp-zify (1.5.0+2.0+8.16-4)
Version1.5.0+2.0+8.16-4+b7
Installed-Size976
MaintainerDebian OCaml Maintainers
Architectureamd64
Provideslibcoq-mathcomp-zify-y28z5
Dependslibcoq-mathcomp-algebra-ausx4
Suggestsocaml-findlib
DescriptionMicromega arithmetic solvers for Mathematical Components
Description-md58ebd7c2d5b5c152562b3095d68876570
Homepagehttps://github.com/math-comp/mczify
Sectionocaml
Priorityoptional
Filenamepool/main/m/mathcomp-zify/libcoq-mathcomp-zify_1.5.0+2.0+8.16-4+b7_amd64.deb
Size272828
MD5sumc80774cae34e611d0231dc272438c170
SHA256e643fc488254d5747c79c92f7def8490130599338d83fba316ce7443fa18a667

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/ssrZ.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_algebra.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/zify/zify_ssreflect.vo
  • /usr/share/doc/libcoq-mathcomp-zify/README.md
  • /usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-mathcomp-zify/changelog.Debian.gz
  • /usr/share/doc/libcoq-mathcomp-zify/copyright
  • /var/lib/coq/md5sums/libcoq-mathcomp-zify.checksum