libcoq-coqeal (2.1.0-1build9)

Details

Core information at a glance

Distribution
ubuntu
Origin
ubuntu-stonking
Repository
https://nl.archive.ubuntu.com/ubuntu
Codename
stonking
Component
universe
Source
coqeal
Architecture
amd64
Section
universe/ocaml
Priority
optional
Maintainer
Ubuntu Developers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
22 kB
Size expected
6.5 MB
Size actual
6.5 MB
Size match

Dependencies

Required package dependencies

  • libcoq-bignums-57pi5
  • libcoq-mathcomp-algebra-stlv8
  • libcoq-mathcomp-multinomials (>= 1.6.0)
  • libcoq-mathcomp-real-closed-rfir4
  • libcoq-paramcoq-chyr3
  • libcoq-stdlib-83lq0

Suggested packages

Recommended additional packages

  • None

Description

algebra and data structure algorithms for Coq

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD52f39ab53…5a20d12f
SHA-19e9be0be…7b439ed4
SHA-256c77b69e1…6c1655e5
SHA-51227d29ac2…51289841

Contents

Files and directories included

.
usr
usr/lib
usr/lib/x86_64-linux-gnu
usr/lib/x86_64-linux-gnu/ocaml
usr/lib/x86_64-linux-gnu/ocaml/5.4.0
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/bareiss_eff.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/bareiss_eff.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/bareiss_eff.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binint.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binint.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binint.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binnat.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binnat.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binnat.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binord.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binord.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binord.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binrat.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binrat.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/binrat.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/boolF2.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/boolF2.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/boolF2.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/examples
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/examples/irred.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/examples/irred.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/examples/irred.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/hpoly.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/hpoly.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/hpoly.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/hrel.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/hrel.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/hrel.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/karatsuba.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/karatsuba.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/karatsuba.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/multipoly.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/multipoly.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/multipoly.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/param.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/param.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/param.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/poly_div.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/poly_div.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/poly_div.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/poly_op.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/poly_op.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/poly_op.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/pos.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/pos.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/pos.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/rational.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/rational.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/rational.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/refinements.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/refinements.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/refinements.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqmx.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqmx.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqmx.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqmx_complements.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqmx_complements.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqmx_complements.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqpoly.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqpoly.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/seqpoly.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/trivial_seq.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/trivial_seq.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/refinements/trivial_seq.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/atomic_operations.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/atomic_operations.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/atomic_operations.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/bareiss.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/bareiss.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/bareiss.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/binetcauchy.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/binetcauchy.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/binetcauchy.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/closed_poly.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/closed_poly.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/closed_poly.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/coherent.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/coherent.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/coherent.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/companion.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/companion.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/companion.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/dvdring.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/dvdring.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/dvdring.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/edr.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/edr.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/edr.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/fpmod.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/fpmod.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/fpmod.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/frobenius_form.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/frobenius_form.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/frobenius_form.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/gauss.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/gauss.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/gauss.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/jordan.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/jordan.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/jordan.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/kaplansky.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/kaplansky.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/kaplansky.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/karatsuba.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/karatsuba.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/karatsuba.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/minor.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/minor.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/minor.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/mxstructure.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/mxstructure.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/mxstructure.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/perm_eq_image.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/perm_eq_image.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/perm_eq_image.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/polydvd.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/polydvd.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/polydvd.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/rank.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/rank.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/rank.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/similar.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/similar.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/similar.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smith.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smith.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smith.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smith_complements.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smith_complements.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smith_complements.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smithpid.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smithpid.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/smithpid.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/ssrcomplements.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/ssrcomplements.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/ssrcomplements.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/strassen.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/strassen.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/strassen.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/stronglydiscrete.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/stronglydiscrete.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/stronglydiscrete.vo
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/toomcook.glob
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/toomcook.v
usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/CoqEAL/theory/toomcook.vo
usr/share
usr/share/doc
usr/share/doc/libcoq-coqeal
usr/share/doc/libcoq-coqeal/changelog.Debian.gz
usr/share/doc/libcoq-coqeal/copyright
var
var/lib
var/lib/coq
var/lib/coq/md5sums
var/lib/coq/md5sums/libcoq-coqeal.checksum