Package - libcoq-coqeal
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coqeal/libcoq-coqeal_2.1.0-1+b1_amd64.deb (Size: 5.3MiB)| Property | Value |
|---|---|
| Package | libcoq-coqeal |
| Source | coqeal (2.1.0-1) |
| Version | 2.1.0-1+b1 |
| Installed-Size | 22035 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-coqeal-gwr89 |
| Depends | libcoq-bignums-9bm26, libcoq-mathcomp-algebra-ausx4, libcoq-mathcomp-multinomials (>= 1.6.0), libcoq-mathcomp-real-closed-wq4m4, libcoq-paramcoq-v0yk5, libcoq-stdlib-68yx1 |
| Description | algebra and data structure algorithms for Coq |
| Description-md5 | 679e37449b4daa031c64c87f9b5334b5 |
| Homepage | https://github.com/coq-community/coqeal |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coqeal/libcoq-coqeal_2.1.0-1+b1_amd64.deb |
| Size | 5576408 |
| MD5sum | f261a74bff6f449c59f83b6e63b81580 |
| SHA256 | 3a9503c8c04976b6a55fecb1917e95040867b907dafcacd03e71c09f500d4347 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/bareiss_eff.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/bareiss_eff.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/bareiss_eff.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binint.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binint.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binint.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binnat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binnat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binnat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binord.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binord.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binord.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binrat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binrat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/binrat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/boolF2.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/boolF2.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/boolF2.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/examples/irred.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/examples/irred.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/examples/irred.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/hpoly.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/hpoly.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/hpoly.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/hrel.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/hrel.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/hrel.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/karatsuba.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/karatsuba.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/karatsuba.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/multipoly.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/multipoly.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/multipoly.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/param.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/param.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/param.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/poly_div.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/poly_div.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/poly_div.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/poly_op.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/poly_op.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/poly_op.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/pos.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/pos.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/pos.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/rational.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/rational.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/rational.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/refinements.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/refinements.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/refinements.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqmx.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqmx.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqmx.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqmx_complements.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqmx_complements.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqmx_complements.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqpoly.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqpoly.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/seqpoly.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/trivial_seq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/trivial_seq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/refinements/trivial_seq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/atomic_operations.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/atomic_operations.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/atomic_operations.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/bareiss.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/bareiss.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/bareiss.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/bareiss_dvdring.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/binetcauchy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/binetcauchy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/binetcauchy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/closed_poly.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/closed_poly.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/closed_poly.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/coherent.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/coherent.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/coherent.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/companion.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/companion.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/companion.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/dvdring.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/dvdring.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/dvdring.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/edr.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/edr.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/edr.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/fpmod.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/fpmod.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/fpmod.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/frobenius_form.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/frobenius_form.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/frobenius_form.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/gauss.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/gauss.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/gauss.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/jordan.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/jordan.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/jordan.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/kaplansky.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/kaplansky.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/kaplansky.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/karatsuba.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/karatsuba.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/karatsuba.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/minor.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/minor.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/minor.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/mxstructure.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/mxstructure.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/mxstructure.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/perm_eq_image.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/perm_eq_image.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/perm_eq_image.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/polydvd.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/polydvd.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/polydvd.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/rank.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/rank.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/rank.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/similar.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/similar.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/similar.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smith.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smith.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smith.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smith_complements.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smith_complements.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smith_complements.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smithpid.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smithpid.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/smithpid.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/ssralg_ring_tac.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/ssrcomplements.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/ssrcomplements.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/ssrcomplements.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/strassen.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/strassen.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/strassen.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/stronglydiscrete.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/stronglydiscrete.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/stronglydiscrete.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/toomcook.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/toomcook.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/CoqEAL/theory/toomcook.vo
- /usr/share/doc/libcoq-coqeal/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-coqeal/changelog.Debian.gz
- /usr/share/doc/libcoq-coqeal/copyright
- /var/lib/coq/md5sums/libcoq-coqeal.checksum