libcoq-elpi (2.5.0-1.2build3)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- coq-elpi
- Architecture
- amd64v3
- Section
- universe/ocaml
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 74.1 kB
- Size expected
- 14 MB
- Size actual
- 14 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Coq plugin embedding Elpi
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 4b27e0d2…31f84e64 | |
| SHA-1 | 24a63571…109fbdc8 | |
| SHA-256 | ae2b90be…063c3e6f | |
| SHA-512 | 18113346…de1a6aaa |
Contents
Files and directories included
. usr usr/bin usr/bin/rocq_elpi_optcomp usr/bin/rocq_elpi_shafile usr/bin/rocq_elpi_version_parser 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/elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/NES.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/NES.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/NES.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/elpi/dummy.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/elpi/dummy.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/elpi/dummy.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/elpi/nes_interp.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/NES/elpi/nes_synterp.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/coercion usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/coercion/coercion.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/coercion/coercion.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/coercion/coercion.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/coercion/elpi_coercion_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/cs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/cs/cs.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/cs/cs.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/cs/cs.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/cs/elpi_cs_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/EqdepFacts.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/EqdepFacts.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/EqdepFacts.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/bcongr.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/bcongr.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/bcongr.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/cast.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/cast.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/cast.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eq.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eq.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eq.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqK.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqK.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqK.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqOK.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqOK.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqOK.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqType_ast.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqType_ast.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqType_ast.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqb.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqb.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqb.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqbOK.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqbOK.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqbOK.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqb_core_defs.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqb_core_defs.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqb_core_defs.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqbcorrect.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqbcorrect.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqbcorrect.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqcorrect.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqcorrect.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/eqcorrect.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/experimental.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/experimental.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/experimental.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/fields.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/fields.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/fields.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/idx2inv.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/idx2inv.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/idx2inv.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/induction.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/induction.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/induction.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/invert.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/invert.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/invert.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/isK.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/isK.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/isK.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/legacy.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/legacy.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/legacy.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/lens.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/lens.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/lens.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/lens_laws.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/lens_laws.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/lens_laws.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/map.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/map.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/map.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_congr.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_congr.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_congr.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_functor.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_functor.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_functor.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_trivial.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_trivial.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param1_trivial.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param2.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param2.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/param2.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/projK.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/projK.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/projK.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/std.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/std.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/std.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/tag.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/tag.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive/tag.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/derive.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/bcongr.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/cast.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/derive.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/derive_hook.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/derive_synterp.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/derive_synterp_hook.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/discriminate.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/dummy.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/dummy.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/dummy.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eq.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqK.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqOK.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqType.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqb.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqbOK.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqbcorrect.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/eqcorrect.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/fields.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/idx2inv.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/induction.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/injection.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/invert.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/isK.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/lens.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/lens_laws.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/map.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/param1.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/param1_congr.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/param1_functor.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/param1_inhab.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/param1_trivial.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/param2.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/paramX_lib.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/projK.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/derive/elpi/tag.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/apply.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/apply.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/apply.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/assumption.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/assumption.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/assumption.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/case.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/case.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/case.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/clear.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/clear.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/clear.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/constructor.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/constructor.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/constructor.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/cycle.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/cycle.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/cycle.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/discriminate.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/discriminate.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/discriminate.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/fail.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/fail.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/fail.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/generalize.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/generalize.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/generalize.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/injection.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/injection.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/injection.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/intro.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/intro.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/intro.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/rewrite.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/rewrite.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/rewrite.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/tactics.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/tactics.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/eltac/tactics.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/elpi/dummy.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/elpi/dummy.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/elpi/dummy.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/elpi/locker.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/locker.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/locker.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/locker/locker.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/add_commands.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/add_commands.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/add_commands.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/db.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/db.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/db.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/alias.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/base.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/compiler1.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/create_tc_predicate.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/dummy.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/dummy.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/dummy.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/ho_compile.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/ho_link.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/ho_precompile.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/modes.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/parser_addInstances.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/rewrite_forward.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/solver.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/tc_aux.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/tc_same_order.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi/unif.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/elpi_tc_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/tc.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/tc.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/tc.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/wip.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/wip.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/apps/tc/wip.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Bool.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Bool.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Bool.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ListDef.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ListDef.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ListDef.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Morphisms.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Morphisms.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Morphisms.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PosDef.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PosDef.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PosDef.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PrimFloat.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PrimFloat.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PrimFloat.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PrimInt63.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PrimInt63.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/PrimInt63.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/RelationClasses.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/RelationClasses.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/RelationClasses.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Setoid.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Setoid.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Setoid.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Uint63Axioms.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Uint63Axioms.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/Uint63Axioms.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssrbool.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssrbool.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssrbool.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssreflect.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssreflect.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssreflect.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssrfun.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssrfun.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/core/ssrfun.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/elpi.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/elpi.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/elpi.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi/elpi_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/coq-HOAS.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/coq-arg-HOAS.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/coq-elaborator.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/coq-elpi-checker.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/coq-lib-common.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/coq-lib.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/dummy.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/dummy.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/dummy.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/elpi-command-template-synterp.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/elpi-command-template.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/elpi-ltac.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/elpi-reduction.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/elpi-tactic-template.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_elpi/elpi_elaborator.elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/elpi_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_abs_evars.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_abs_evars.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_abs_evars.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_curry_howard_tactics.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_curry_howard_tactics.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_curry_howard_tactics.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_data_base.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_data_base.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_data_base.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_fuzzer.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_fuzzer.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_fuzzer.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_generalize.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_generalize.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_generalize.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_import_projections.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_import_projections.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_import_projections.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_record_expansion.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_record_expansion.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_record_expansion.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_record_to_sigma.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_record_to_sigma.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_record_to_sigma.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_reduction_surgery.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_reduction_surgery.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/example_reduction_surgery.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/META usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.a usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.cma usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.cmxa usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin__Rocq_elpi_coercion_hook.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin__Rocq_elpi_coercion_hook.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/elpi_coercion_plugin__Rocq_elpi_coercion_hook.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/coercion/rocq_elpi_coercion_hook.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.a usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.cma usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.cmxa usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin__Rocq_elpi_cs_hook.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin__Rocq_elpi_cs_hook.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/elpi_cs_plugin__Rocq_elpi_cs_hook.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/cs/rocq_elpi_cs_hook.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/dune-package usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.a usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.cma usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.cmxa usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_syntax.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_syntax.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_syntax.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_HOAS.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_HOAS.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_HOAS.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_arg_HOAS.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_arg_HOAS.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_arg_HOAS.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_config.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_config.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_config.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_name_quotation.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_name_quotation.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_name_quotation.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular_syntax.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular_syntax.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular_syntax.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_HOAS.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_HOAS.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_arg_HOAS.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_arg_HOAS.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_arg_syntax.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_builtins.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_builtins.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_builtins_HOAS.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_builtins_arg_HOAS.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_builtins_synterp.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_builtins_synterp.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_config.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_glob_quotation.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_glob_quotation.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_graph.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_graph.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_name_quotation.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_programs.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_programs.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_utils.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_utils.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_vernacular.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_vernacular.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/elpi/rocq_elpi_vernacular_syntax.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/opam usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.a usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.cma usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.cmxa usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.cmxs usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmti usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_hook.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_hook.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_hook.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_register.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_register.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_register.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_time.cmi usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_time.cmt usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_time.cmx usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/rocq_elpi_class_tactics_takeover.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/rocq_elpi_class_tactics_takeover.mli usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/rocq_elpi_tc_hook.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/rocq_elpi_tc_register.ml usr/lib/x86_64-linux-gnu/ocaml/5.4.0/rocq-elpi/tc/rocq_elpi_tc_time.ml usr/share usr/share/doc usr/share/doc/libcoq-elpi usr/share/doc/libcoq-elpi/README.md.gz usr/share/doc/libcoq-elpi/changelog.Debian.gz usr/share/doc/libcoq-elpi/copyright usr/share/doc/libcoq-elpi/examples usr/share/doc/libcoq-elpi/examples/example_abs_evars.v usr/share/doc/libcoq-elpi/examples/example_curry_howard_tactics.v usr/share/doc/libcoq-elpi/examples/example_data_base.v usr/share/doc/libcoq-elpi/examples/example_fuzzer.v usr/share/doc/libcoq-elpi/examples/example_generalize.v usr/share/doc/libcoq-elpi/examples/example_import_projections.v usr/share/doc/libcoq-elpi/examples/example_record_expansion.v usr/share/doc/libcoq-elpi/examples/example_record_to_sigma.v usr/share/doc/libcoq-elpi/examples/example_reduction_surgery.v usr/share/doc/libcoq-elpi/examples/readme.v usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_HOAS.v usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_command.v usr/share/doc/libcoq-elpi/examples/tutorial_coq_elpi_tactic.v usr/share/doc/libcoq-elpi/examples/tutorial_elpi_lang.v usr/share/doc/libcoq-elpi/examples/usage.v usr/share/doc/libcoq-elpi/examples/usage_NES.v usr/share/doc/libcoq-elpi/examples/usage_eltac.v var var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-elpi.checksum