hoppa över navigationen

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmx
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxa
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-coercion/elpi_coercion_plugin.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmx
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxa
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-cs/elpi_cs_plugin.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmx
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxa
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi-tc/elpi_tc_plugin.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/META
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cma
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmx
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxa
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq-elpi/elpi_plugin.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/NES.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/NES.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/NES.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/coercion.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/coercion.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/coercion.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/cs.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/cs.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/cs.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/bcongr.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/bcongr.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/bcongr.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/bcongr.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/cast.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/cast.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/cast.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/cast.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/derive.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/derive_hook.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/derive_synterp.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/derive_synterp_hook.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/discriminate.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eq.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eq.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eq.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eq.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqK.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqK.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqK.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqK.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqOK.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqOK.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqOK.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqOK.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqType.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqType_ast.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqType_ast.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqType_ast.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbOK.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbOK.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbOK.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbOK.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb_core_defs.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb_core_defs.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqb_core_defs.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbcorrect.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbcorrect.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbcorrect.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqbcorrect.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqcorrect.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqcorrect.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqcorrect.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/eqcorrect.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/experimental.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/experimental.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/experimental.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/fields.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/fields.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/fields.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/fields.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/idx2inv.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/idx2inv.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/idx2inv.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/idx2inv.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/induction.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/induction.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/induction.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/induction.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/injection.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/invert.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/invert.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/invert.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/invert.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/isK.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/isK.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/isK.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/isK.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/legacy.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/legacy.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/legacy.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens_laws.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens_laws.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens_laws.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/lens_laws.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/map.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/map.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/map.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/map.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_congr.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_congr.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_congr.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_congr.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_functor.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_functor.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_functor.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_functor.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_inhab.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_trivial.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_trivial.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_trivial.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param1_trivial.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param2.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param2.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param2.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/param2.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/paramX_lib.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/projK.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/projK.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/projK.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/projK.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/std.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/std.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/std.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/tag.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/tag.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/tag.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/derive/tag.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/elpi_coercion_plugin.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/elpi_cs_plugin.cmxs
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/assumption.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/assumption.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/assumption.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/case.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/case.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/case.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/clear.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/clear.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/clear.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/constructor.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/constructor.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/constructor.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/cycle.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/cycle.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/cycle.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/discriminate.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/discriminate.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/discriminate.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/fail.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/fail.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/fail.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/generalize.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/generalize.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/generalize.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/injection.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/injection.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/injection.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/intro.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/intro.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/intro.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/tactics.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/tactics.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/eltac/tactics.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/locker.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/locker.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/locker.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/nes_interp.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/nes_synterp.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/add_commands.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/add_commands.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/add_commands.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/alias.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/base.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/compiler.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/create_tc_predicate.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/db.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/db.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/db.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/parser_addInstances.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/rewrite_forward.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/solver.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/tc.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/tc.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/tc.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/tc_aux.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/wip.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/wip.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/apps/tc/wip.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/coq-builtin-synterp.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/coq-builtin.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/coq-lib-common.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/coq-lib.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/elpi-builtin.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/elpi.glob
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/elpi.v
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/elpi.vo
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/elpi_elaborator.elpi
/usr/lib/riscv64-linux-gnu/ocaml/5.2.0/coq/user-contrib/elpi/elpi_plugin.cmxs
/usr/share/doc/libcoq-elpi/changelog.Debian.gz
/usr/share/doc/libcoq-elpi/changelog.Debian.riscv64.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/example_reflexive_tactic.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
/usr/share/lintian/overrides/libcoq-elpi
/var/lib/coq/md5sums/libcoq-elpi.checksum
/usr/lib/ocaml/coq-elpi/META
/usr/lib/ocaml/coq-elpi/elpi_plugin.cma
/usr/lib/ocaml/coq-elpi/elpi_plugin.cmi
/usr/lib/ocaml/coq-elpi/elpi_plugin.cmo
/usr/lib/ocaml/coq-elpi/elpi_plugin.cmx
/usr/lib/ocaml/coq-elpi/elpi_plugin.cmxa
/usr/lib/ocaml/coq-elpi/elpi_plugin.cmxs
/usr/lib/ocaml/coq/user-contrib/elpi/apps/NES.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/NES.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/NES.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/bcongr.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/bcongr.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/bcongr.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/bcongr.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/cast.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/cast.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/cast.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/cast.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/derive.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/derive_hook.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/discriminate.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eq.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eq.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eq.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eq.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqK.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqK.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqK.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqK.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqOK.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqOK.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqOK.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqOK.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqType.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqType_ast.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqType_ast.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqType_ast.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbOK.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbOK.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbOK.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbOK.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb_core_defs.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb_core_defs.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqb_core_defs.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbcorrect.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbcorrect.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbcorrect.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqbcorrect.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqcorrect.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqcorrect.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqcorrect.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/eqcorrect.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/experimental.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/experimental.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/experimental.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/fields.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/fields.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/fields.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/fields.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/idx2inv.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/idx2inv.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/idx2inv.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/idx2inv.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/induction.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/induction.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/induction.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/induction.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/injection.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/invert.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/invert.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/invert.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/invert.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/isK.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/isK.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/isK.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/isK.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/legacy.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/legacy.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/legacy.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens_laws.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens_laws.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens_laws.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/lens_laws.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/map.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/map.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/map.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/map.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_congr.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_congr.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_congr.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_congr.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_functor.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_functor.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_functor.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_functor.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_inhab.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_trivial.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_trivial.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_trivial.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_trivial.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param2.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param2.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param2.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param2.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/paramX_lib.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/projK.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/projK.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/projK.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/projK.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/std.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/std.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/std.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/tag.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/tag.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/tag.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/tag.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/assumption.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/assumption.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/assumption.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/case.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/case.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/case.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/clear.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/clear.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/clear.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/constructor.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/constructor.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/constructor.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/cycle.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/cycle.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/cycle.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/discriminate.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/discriminate.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/discriminate.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/fail.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/fail.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/fail.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/generalize.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/generalize.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/generalize.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/injection.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/injection.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/injection.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/intro.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/intro.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/intro.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/tactics.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/tactics.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/eltac/tactics.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/locker.glob
/usr/lib/ocaml/coq/user-contrib/elpi/apps/locker.v
/usr/lib/ocaml/coq/user-contrib/elpi/apps/locker.vo
/usr/lib/ocaml/coq/user-contrib/elpi/apps/nes.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/coq-builtin.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/coq-lib.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/elpi-builtin.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/elpi.glob
/usr/lib/ocaml/coq/user-contrib/elpi/elpi.v
/usr/lib/ocaml/coq/user-contrib/elpi/elpi.vo
/usr/lib/ocaml/coq/user-contrib/elpi/elpi_elaborator.elpi
/usr/lib/ocaml/coq/user-contrib/elpi/elpi_plugin.cmxs
/usr/share/coq/coq-elpi.lang
/usr/share/doc/libcoq-elpi/changelog.Debian.gz
/usr/share/doc/libcoq-elpi/changelog.Debian.riscv64.gz
/usr/share/doc/libcoq-elpi/changelog.gz
/usr/share/doc/libcoq-elpi/copyright
/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/example_reflexive_tactic.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
/usr/share/lintian/overrides/libcoq-elpi
/var/lib/coq/md5sums/libcoq-elpi.checksum