Package - libcoq-mathcomp-field

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

Primary informations

Download package: http://deb.debian.org/debian/pool/main/s/ssreflect/libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb (Size: 3.2MiB)

PropertyValue
Packagelibcoq-mathcomp-field
Sourcessreflect (2.3.0-1)
Version2.3.0-1+b7
Installed-Size11818
MaintainerDebian OCaml Maintainers
Architectureamd64
Replaceslibssreflect-coq
Provideslibcoq-mathcomp-field-opte0
Dependslibcoq-mathcomp-solvable (= 2.3.0-1+b7), libcoq-hierarchy-builder-x91u3, libcoq-stdlib-68yx1
Breakslibssreflect-coq (<= 2.3.0-1+b7)
DescriptionMathematical Components library for Coq (field)
Description-md5552c63b45c57eb8f41189849920f0be9
Homepagehttps://math-comp.github.io/math-comp/
Sectionmath
Priorityoptional
Filenamepool/main/s/ssreflect/libcoq-mathcomp-field_2.3.0-1+b7_amd64.deb
Size3406296
MD5sumc629e47061541516e67ad78a25262c0a
SHA2563d238bf3f62682c5758b3e4a30aebba0e6128675666210cca800df1714e8a020

Files in package

  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algC.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algC.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algC.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algebraics_fundamentals.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algebraics_fundamentals.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algebraics_fundamentals.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algnum.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algnum.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/algnum.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/all_field.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/all_field.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/all_field.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/closed_field.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/closed_field.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/closed_field.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/cyclotomic.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/cyclotomic.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/cyclotomic.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/falgebra.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/falgebra.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/falgebra.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/fieldext.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/fieldext.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/fieldext.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/finfield.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/finfield.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/finfield.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/galois.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/galois.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/galois.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/qfpoly.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/qfpoly.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/qfpoly.vo
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/separable.glob
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/separable.v
  • /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/mathcomp/field/separable.vo
  • /usr/share/doc/libcoq-mathcomp-field/changelog.Debian.amd64.gz
  • /usr/share/doc/libcoq-mathcomp-field/changelog.Debian.gz
  • /usr/share/doc/libcoq-mathcomp-field/changelog.gz
  • /usr/share/doc/libcoq-mathcomp-field/copyright
  • /var/lib/coq/md5sums/libcoq-mathcomp-field.checksum