libcoq-math-classes (8.19.0-1build17)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- coq-math-classes
- Architecture
- amd64
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 10.4 kB
- Size expected
- 3.2 MB
- Size actual
- 3.2 MB
- Size match
Suggested packages
Recommended additional packages
- None
Description
Abstract interfaces for mathematical structures for Coq
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | a7fb954d…700ecc0c | |
| SHA-1 | 9b67dfbf…0d32fe77 | |
| SHA-256 | dd959dd8…bb484cd7 | |
| SHA-512 | 0ea1b55e…a1e8c9d7 |
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/MathClasses usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/JMcat.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/JMcat.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/JMcat.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/algebras.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/algebras.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/algebras.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/categories.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/categories.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/categories.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/dual.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/dual.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/dual.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/empty.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/empty.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/empty.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/functors.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/functors.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/functors.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/orders.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/orders.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/orders.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/product.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/product.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/product.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/setoids.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/setoids.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/setoids.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/unit.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/unit.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/unit.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/varieties.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/varieties.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/categories/varieties.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/functors usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/functors/constant.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/functors/constant.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/functors/constant.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/NType_naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/NType_naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/NType_naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/QType_rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/QType_rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/QType_rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/ZType_integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/ZType_integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/ZType_integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/bool.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/bool.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/bool.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/dyadics.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/dyadics.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/dyadics.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/fast_rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/field_of_fractions.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/field_of_fractions.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/field_of_fractions.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/intfrac_rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/intfrac_rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/intfrac_rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/list.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/list.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/list.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/list_finite_set.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/list_finite_set.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/list_finite_set.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/modular_ring.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/modular_ring.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/modular_ring.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/mset_finite_set.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/mset_finite_set.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/mset_finite_set.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/natpair_integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/natpair_integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/natpair_integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/ne_list.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/ne_list.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/ne_list.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonneg_integers_naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonneg_integers_naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonneg_integers_naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonneg_semiring_elements.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonneg_semiring_elements.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonneg_semiring_elements.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonzero_field_elements.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonzero_field_elements.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/nonzero_field_elements.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/option.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/option.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/option.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/peano_naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/peano_naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/peano_naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/polynomials.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/polynomials.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/polynomials.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/positive_semiring_elements.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/positive_semiring_elements.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/positive_semiring_elements.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/semiring_pairs.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/semiring_pairs.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/semiring_pairs.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_binary_integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_binary_integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_binary_integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_binary_naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_binary_naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_binary_naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/implementations/stdlib_rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/abstract_algebra.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/abstract_algebra.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/abstract_algebra.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/additional_operations.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/additional_operations.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/additional_operations.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/canonical_names.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/canonical_names.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/canonical_names.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/finite_sets.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/finite_sets.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/finite_sets.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/functors.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/functors.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/functors.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/monads.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/monads.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/monads.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/orders.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/orders.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/orders.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/sequences.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/sequences.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/sequences.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/ua_basic.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/ua_basic.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/ua_basic.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/universal_algebra.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/universal_algebra.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/universal_algebra.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/vectorspace.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/vectorspace.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/interfaces/vectorspace.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/JMrelation.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/JMrelation.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/JMrelation.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/decision.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/decision.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/decision.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/propholds.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/propholds.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/propholds.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/setoid_tactics.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/setoid_tactics.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/setoid_tactics.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/stdlib_hints.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/stdlib_hints.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/stdlib_hints.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/util.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/util.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/util.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/workaround_tactics.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/workaround_tactics.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/workaround_tactics.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/workarounds.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/workarounds.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/misc/workarounds.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/dec_fields.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/dec_fields.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/dec_fields.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/lattices.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/lattices.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/lattices.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/maps.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/maps.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/maps.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/minmax.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/minmax.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/minmax.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/nat_int.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/nat_int.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/nat_int.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/orders.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/orders.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/orders.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/rings.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/rings.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/rings.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/semirings.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/semirings.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/orders/semirings.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/quote usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/quote/classquote.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/quote/classquote.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/quote/classquote.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/CoqStreams.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/CoqStreams.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/CoqStreams.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/abs.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/abs.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/abs.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/adjunctions.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/adjunctions.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/adjunctions.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/categories.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/categories.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/categories.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/cut_minus.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/cut_minus.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/cut_minus.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/dec_fields.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/dec_fields.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/dec_fields.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/fields.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/fields.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/fields.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/finite_sets.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/finite_sets.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/finite_sets.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/forget_algebra.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/forget_algebra.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/forget_algebra.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/forget_variety.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/forget_variety.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/forget_variety.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/functors.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/functors.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/functors.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/groups.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/groups.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/groups.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/hom_functor.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/hom_functor.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/hom_functor.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_abs.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_abs.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_abs.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_pow.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_pow.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_pow.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_to_nat.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_to_nat.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/int_to_nat.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/integers.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/integers.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/integers.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/jections.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/jections.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/jections.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/lattices.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/lattices.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/lattices.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/monads.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/monads.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/monads.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/monoid_normalization.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/monoid_normalization.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/monoid_normalization.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/nat_distance.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/nat_distance.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/nat_distance.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/nat_pow.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/nat_pow.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/nat_pow.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/naturals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/naturals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/naturals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/products.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/products.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/products.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/quote_monoid.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/quote_monoid.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/quote_monoid.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/rationals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/rationals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/rationals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ring_congruence.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ring_congruence.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ring_congruence.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ring_ideals.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ring_ideals.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ring_ideals.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/rings.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/rings.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/rings.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/sequences.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/sequences.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/sequences.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/series.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/series.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/series.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/setoids.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/setoids.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/setoids.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/shiftl.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/shiftl.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/shiftl.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/streams.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/streams.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/streams.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/strong_setoids.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/strong_setoids.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/strong_setoids.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_congruence.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_congruence.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_congruence.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_homomorphisms.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_homomorphisms.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_homomorphisms.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_mapped_operations.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_mapped_operations.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_mapped_operations.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_packed.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_packed.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_packed.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_products.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_products.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_products.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subalgebra.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subalgebra.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subalgebra.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subalgebraT.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subalgebraT.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subalgebraT.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subvariety.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subvariety.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_subvariety.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_term_monad.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_term_monad.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_term_monad.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_transference.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_transference.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/theory/ua_transference.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/abgroup.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/abgroup.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/abgroup.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/closed_terms.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/closed_terms.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/closed_terms.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/empty.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/empty.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/empty.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/groups.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/groups.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/groups.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/monoids.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/monoids.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/monoids.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/open_terms.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/open_terms.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/open_terms.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/rings.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/rings.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/rings.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/semigroups.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/semigroups.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/semigroups.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/semirings.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/semirings.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/semirings.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/setoids.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/setoids.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/MathClasses/varieties/setoids.vo usr/share usr/share/doc usr/share/doc/libcoq-math-classes usr/share/doc/libcoq-math-classes/changelog.Debian.gz usr/share/doc/libcoq-math-classes/copyright var var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-math-classes.checksum