Package - libcoq-elpi
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-elpi/libcoq-elpi_2.5.0-1.1_amd64.deb (Size: 11.7MiB)| Property | Value |
|---|---|
| Package | libcoq-elpi |
| Source | coq-elpi |
| Version | 2.5.0-1.1 |
| Installed-Size | 60986 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-elpi-s1x22 |
| Depends | libelpi-ocaml-dev, libcoq-core-ocaml-dev (>= 8.17), libcoq-stdlib-68yx1, libcoq-core-ocaml-29kh7, libelpi-ocaml-zfj86, libppx-deriving-ocaml-kejh4, libstdlib-ocaml-m4xw9, libzarith-ocaml-h79v1 |
| Description | Coq plugin embedding Elpi |
| Description-md5 | ff0392105ab4f5504e712b1b6f15deec |
| Homepage | https://github.com/LPCIC/coq-elpi |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-elpi/libcoq-elpi_2.5.0-1.1_amd64.deb |
| Size | 12299728 |
| MD5sum | 01c660880159d8397fe24205599132e5 |
| SHA256 | 73e2a350a045d28c13f582689d90880e866d0b3278ad38a8c848e2c5bf5b376d |
Files in package
- /usr/bin/rocq_elpi_optcomp
- /usr/bin/rocq_elpi_shafile
- /usr/bin/rocq_elpi_version_parser
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/NES.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/NES.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/NES.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/elpi/dummy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/elpi/dummy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/elpi/dummy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/elpi/nes_interp.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/NES/elpi/nes_synterp.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/coercion/coercion.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/coercion/coercion.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/coercion/coercion.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/coercion/elpi_coercion_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/cs/cs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/cs/cs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/cs/cs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/cs/elpi_cs_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/EqdepFacts.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/EqdepFacts.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/EqdepFacts.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/bcongr.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/bcongr.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/bcongr.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/cast.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/cast.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/cast.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eq.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eq.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqK.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqK.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqK.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqOK.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqOK.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqOK.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqType_ast.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqType_ast.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqType_ast.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqb.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqb.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqb.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqbOK.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqbOK.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqbOK.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqb_core_defs.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqb_core_defs.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqb_core_defs.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqbcorrect.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqbcorrect.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqbcorrect.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqcorrect.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqcorrect.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/eqcorrect.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/experimental.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/experimental.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/experimental.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/fields.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/fields.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/fields.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/idx2inv.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/idx2inv.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/idx2inv.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/induction.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/induction.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/induction.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/invert.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/invert.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/invert.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/isK.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/isK.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/isK.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/legacy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/legacy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/legacy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/lens.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/lens.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/lens.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/lens_laws.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/lens_laws.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/lens_laws.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/map.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/map.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/map.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_congr.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_congr.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_congr.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_functor.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_functor.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_functor.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_trivial.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_trivial.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param1_trivial.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param2.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param2.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/param2.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/projK.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/projK.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/projK.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/std.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/std.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/std.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/tag.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/tag.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/derive/tag.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/bcongr.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/cast.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/derive.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/derive_hook.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/derive_synterp.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/derive_synterp_hook.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/discriminate.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/dummy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/dummy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/dummy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eq.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqK.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqOK.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqType.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqb.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqbOK.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqbcorrect.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/eqcorrect.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/fields.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/idx2inv.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/induction.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/injection.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/invert.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/isK.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/lens.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/lens_laws.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/map.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/param1.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/param1_congr.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/param1_functor.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/param1_inhab.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/param1_trivial.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/param2.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/paramX_lib.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/projK.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/derive/elpi/tag.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/apply.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/apply.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/apply.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/assumption.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/assumption.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/assumption.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/case.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/case.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/case.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/clear.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/clear.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/clear.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/constructor.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/constructor.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/constructor.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/cycle.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/cycle.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/cycle.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/discriminate.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/discriminate.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/discriminate.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/fail.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/fail.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/fail.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/generalize.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/generalize.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/generalize.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/injection.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/injection.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/injection.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/intro.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/intro.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/intro.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/rewrite.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/rewrite.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/rewrite.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/eltac/tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/elpi/dummy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/elpi/dummy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/elpi/dummy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/elpi/locker.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/locker.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/locker.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/locker/locker.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/add_commands.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/add_commands.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/add_commands.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/db.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/db.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/db.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/alias.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/base.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/compiler1.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/create_tc_predicate.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/dummy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/dummy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/dummy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/ho_compile.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/ho_link.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/ho_precompile.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/modes.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/parser_addInstances.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/rewrite_forward.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/solver.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/tc_aux.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/tc_same_order.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi/unif.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/elpi_tc_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/tc.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/tc.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/tc.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/wip.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/wip.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/apps/tc/wip.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Bool.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Bool.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Bool.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ListDef.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ListDef.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ListDef.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Morphisms.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Morphisms.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Morphisms.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PosDef.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PosDef.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PosDef.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PrimFloat.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PrimFloat.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PrimFloat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PrimInt63.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PrimInt63.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/PrimInt63.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/RelationClasses.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/RelationClasses.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/RelationClasses.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Setoid.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Setoid.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Setoid.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Uint63Axioms.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Uint63Axioms.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/Uint63Axioms.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssrbool.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssrbool.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssrbool.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssreflect.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssreflect.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssreflect.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssrfun.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssrfun.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/core/ssrfun.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/elpi.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/elpi.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/elpi.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi/elpi_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/coq-HOAS.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/coq-arg-HOAS.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/coq-elaborator.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/coq-elpi-checker.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/coq-lib-common.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/coq-lib.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/dummy.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/dummy.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/dummy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/elpi-command-template-synterp.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/elpi-command-template.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/elpi-ltac.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/elpi-reduction.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/elpi-tactic-template.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_elpi/elpi_elaborator.elpi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/elpi_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_abs_evars.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_abs_evars.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_abs_evars.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_curry_howard_tactics.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_curry_howard_tactics.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_curry_howard_tactics.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_data_base.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_data_base.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_data_base.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_fuzzer.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_fuzzer.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_fuzzer.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_generalize.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_generalize.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_generalize.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_import_projections.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_import_projections.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_import_projections.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_expansion.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_expansion.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_expansion.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_to_sigma.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_to_sigma.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_record_to_sigma.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/example_reduction_surgery.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_HOAS.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_command.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_coq_elpi_tactic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.glob
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.v
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/elpi_examples/tutorial_elpi_lang.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin__Rocq_elpi_coercion_hook.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin__Rocq_elpi_coercion_hook.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/elpi_coercion_plugin__Rocq_elpi_coercion_hook.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/coercion/rocq_elpi_coercion_hook.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin__Rocq_elpi_cs_hook.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin__Rocq_elpi_cs_hook.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/elpi_cs_plugin__Rocq_elpi_cs_hook.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/cs/rocq_elpi_cs_hook.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/dune-package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_HOAS.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_HOAS.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_syntax.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_syntax.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_arg_syntax.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_HOAS.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_HOAS.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_HOAS.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_arg_HOAS.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_arg_HOAS.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_arg_HOAS.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_builtins_synterp.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_config.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_config.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_config.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_glob_quotation.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_graph.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_name_quotation.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_name_quotation.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_name_quotation.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_programs.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_utils.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular_syntax.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular_syntax.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/elpi_plugin__Rocq_elpi_vernacular_syntax.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_HOAS.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_HOAS.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_arg_HOAS.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_arg_HOAS.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_arg_syntax.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_builtins.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_builtins.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_builtins_HOAS.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_builtins_arg_HOAS.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_builtins_synterp.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_builtins_synterp.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_config.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_glob_quotation.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_glob_quotation.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_graph.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_graph.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_name_quotation.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_programs.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_programs.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_utils.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_utils.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_vernacular.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_vernacular.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/elpi/rocq_elpi_vernacular_syntax.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/opam
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.a
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.cma
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.cmxa
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmti
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_class_tactics_takeover.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_hook.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_hook.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_hook.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_register.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_register.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_register.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_time.cmi
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_time.cmt
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/elpi_tc_plugin__Rocq_elpi_tc_time.cmx
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/rocq_elpi_class_tactics_takeover.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/rocq_elpi_class_tactics_takeover.mli
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/rocq_elpi_tc_hook.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/rocq_elpi_tc_register.ml
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/rocq-elpi/tc/rocq_elpi_tc_time.ml
- /usr/share/doc/libcoq-elpi/README.md.gz
- /usr/share/doc/libcoq-elpi/changelog.Debian.gz
- /usr/share/doc/libcoq-elpi/changelog.gz
- /usr/share/doc/libcoq-elpi/copyright
- /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/lib/coq/md5sums/libcoq-elpi.checksum