File list of package libcoq-elpi-ocaml in aramo of architecture ppc64el
/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-elaborator.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_plugin.cma /usr/lib/ocaml/coq/user-contrib/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/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/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.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/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.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.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/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/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.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/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.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/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.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.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.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.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.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.glob /usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_inhab.v /usr/lib/ocaml/coq/user-contrib/elpi/apps/derive/param1_inhab.vo /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.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/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/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/share/doc/libcoq-elpi-ocaml/changelog.Debian.gz /usr/share/doc/libcoq-elpi-ocaml/copyright