libcoq-mathcomp-algebra (2.3.0-1build19)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- ssreflect
- Architecture
- riscv64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 47.3 kB
- Size expected
- 13.8 MB
- Size actual
- 13.8 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Mathematical Components library for Coq (algebra)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 2a07b439…52591e3a | |
| SHA-1 | 1a0f1af4…6f184bcd | |
| SHA-256 | e2bbc490…80cf6829 | |
| SHA-512 | 64778ec2…5a04a8ef |
Contents
Files and directories included
. usr usr/lib usr/lib/riscv64-linux-gnu usr/lib/riscv64-linux-gnu/ocaml usr/lib/riscv64-linux-gnu/ocaml/5.4.0 usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/all_algebra.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/all_algebra.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/all_algebra.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/archimedean.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/archimedean.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/archimedean.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/countalg.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/countalg.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/countalg.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/finalg.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/finalg.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/finalg.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/fraction.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/fraction.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/fraction.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/intdiv.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/intdiv.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/intdiv.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/interval.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/interval.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/interval.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/matrix.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/matrix.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/matrix.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxalgebra.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxalgebra.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxalgebra.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxpoly.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxpoly.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxpoly.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxred.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxred.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/mxred.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/poly.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/poly.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/poly.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/polyXY.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/polyXY.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/polyXY.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/polydiv.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/polydiv.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/polydiv.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/qpoly.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/qpoly.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/qpoly.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/rat.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/rat.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/rat.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ring_quotient.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ring_quotient.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ring_quotient.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/sesquilinear.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/sesquilinear.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/sesquilinear.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/spectral.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/spectral.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/spectral.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssralg.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssralg.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssralg.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssrint.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssrint.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssrint.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssrnum.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssrnum.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/ssrnum.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/vector.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/vector.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/vector.vo usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/zmodp.glob usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/zmodp.v usr/lib/riscv64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/algebra/zmodp.vo usr/share usr/share/doc usr/share/doc/libcoq-mathcomp-algebra usr/share/doc/libcoq-mathcomp-algebra/copyright var var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-mathcomp-algebra.checksum usr/share/doc/libcoq-mathcomp-algebra/changelog.Debian.gz