File list of package libcoq-mtac2 in bianca of architecture amd64

/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/META
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmx
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxa
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/MetaCoqPlugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-mtac2/metaCoqInstr.cmi
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Base.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Base.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Base.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/DecomposeApp.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/DecomposeApp.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/DecomposeApp.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/MetaCoqPlugin.cmxs
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Mtac2.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Mtac2.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Mtac2.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Pattern.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Pattern.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/Pattern.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Abstract.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Abstract.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Abstract.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/DepDestruct.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/DepDestruct.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/DepDestruct.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/StaticApply.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/StaticApply.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/StaticApply.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SubgoalsStrict.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SumRun.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SumRun.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/SumRun.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Transport.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Transport.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/ideas/Transport.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Case.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Case.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Case.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/DeclarationDefs.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Dyn.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Dyn.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Dyn.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Exceptions.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Exceptions.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Exceptions.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Goals.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Goals.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Goals.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Lift.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Lift.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Lift.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/M.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/M.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/M.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/MTele.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/MTele.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/MTele.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Name.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Name.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Name.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Reduction.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Reduction.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Reduction.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Sorts.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Sorts.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Sorts.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Tm_kind.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Tm_kind.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Tm_kind.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Unification.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Unification.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/intf/Unification.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Datatypes.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Datatypes.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Datatypes.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/List.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/List.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/List.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Logic.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Logic.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Logic.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Specif.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Specif.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Specif.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Utils.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Utils.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/lib/Utils.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/Exhaustive.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/Exhaustive.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/Exhaustive.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFix.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFix.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFix.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFixDef.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFixDef.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MFixDef.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatch.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatch.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatch.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/meta/MTeleMatchDef.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/CompoundTactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ConstrSelector.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/ImportedTactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/IntroPatt.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/IntroPatt.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/IntroPatt.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Tactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Tactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Tactics.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/TacticsBase.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/TacticsBase.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/TacticsBase.vo
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Ttactics.glob
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Ttactics.v
/usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Mtac2/tactics/Ttactics.vo
/usr/share/doc/libcoq-mtac2/changelog.Debian.amd64.gz
/usr/share/doc/libcoq-mtac2/changelog.Debian.gz
/usr/share/doc/libcoq-mtac2/changelog.gz
/usr/share/doc/libcoq-mtac2/copyright
/usr/share/lintian/overrides/libcoq-mtac2
/var/lib/coq/md5sums/libcoq-mtac2.checksum