libcoq-mathcomp-ssreflect (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
- ppc64el
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 33.7 kB
- Size expected
- 9.5 MB
- Size actual
- 9.5 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Mathematical Components library for Coq (small scale reflection)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | ca8a9c82…0e10dd1c | |
| SHA-1 | 67f6640c…00fdf79f | |
| SHA-256 | 21f20474…ccfb2048 | |
| SHA-512 | 318331f8…b20a857d |
Contents
Files and directories included
. usr usr/lib usr/lib/powerpc64le-linux-gnu usr/lib/powerpc64le-linux-gnu/ocaml usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0 usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/all_ssreflect.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/bigop.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/bigop.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/bigop.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/binomial.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/binomial.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/binomial.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/choice.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/choice.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/choice.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/div.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/div.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/div.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/eqtype.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/eqtype.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/eqtype.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/finfun.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/finfun.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/finfun.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/fingraph.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/fingraph.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/fingraph.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/finset.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/finset.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/finset.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/fintype.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/fintype.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/fintype.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/generic_quotient.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/order.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/order.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/order.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/path.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/path.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/path.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/prime.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/prime.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/prime.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/seq.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/seq.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/seq.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrAC.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrbool.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssreflect.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrfun.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrmatching.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrnat.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/ssrnotations.vo usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/tuple.glob usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/tuple.v usr/lib/powerpc64le-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/ssreflect/tuple.vo usr/share usr/share/doc usr/share/doc/libcoq-mathcomp-ssreflect usr/share/doc/libcoq-mathcomp-ssreflect/changelog.Debian.gz usr/share/doc/libcoq-mathcomp-ssreflect/copyright var var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-mathcomp-ssreflect.checksum