File list of package why3-coq in buster of architecture mips

/usr/lib/mips-linux-gnu/why3/coq/BuiltIn.vo
/usr/lib/mips-linux-gnu/why3/coq/HighOrd.vo
/usr/lib/mips-linux-gnu/why3/coq/bool/Bool.vo
/usr/lib/mips-linux-gnu/why3/coq/bv/BV_Gen.vo
/usr/lib/mips-linux-gnu/why3/coq/bv/Pow2int.vo
/usr/lib/mips-linux-gnu/why3/coq/for_drivers/ComputerOfEuclideanDivision.vo
/usr/lib/mips-linux-gnu/why3/coq/int/Abs.vo
/usr/lib/mips-linux-gnu/why3/coq/int/ComputerDivision.vo
/usr/lib/mips-linux-gnu/why3/coq/int/Div2.vo
/usr/lib/mips-linux-gnu/why3/coq/int/EuclideanDivision.vo
/usr/lib/mips-linux-gnu/why3/coq/int/Exponentiation.vo
/usr/lib/mips-linux-gnu/why3/coq/int/Int.vo
/usr/lib/mips-linux-gnu/why3/coq/int/MinMax.vo
/usr/lib/mips-linux-gnu/why3/coq/int/NumOf.vo
/usr/lib/mips-linux-gnu/why3/coq/int/Power.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Append.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Combine.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Distinct.vo
/usr/lib/mips-linux-gnu/why3/coq/list/HdTl.vo
/usr/lib/mips-linux-gnu/why3/coq/list/HdTlNoOpt.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Length.vo
/usr/lib/mips-linux-gnu/why3/coq/list/List.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Mem.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Nth.vo
/usr/lib/mips-linux-gnu/why3/coq/list/NthHdTl.vo
/usr/lib/mips-linux-gnu/why3/coq/list/NthLength.vo
/usr/lib/mips-linux-gnu/why3/coq/list/NthLengthAppend.vo
/usr/lib/mips-linux-gnu/why3/coq/list/NthNoOpt.vo
/usr/lib/mips-linux-gnu/why3/coq/list/NumOcc.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Permut.vo
/usr/lib/mips-linux-gnu/why3/coq/list/RevAppend.vo
/usr/lib/mips-linux-gnu/why3/coq/list/Reverse.vo
/usr/lib/mips-linux-gnu/why3/coq/map/Const.vo
/usr/lib/mips-linux-gnu/why3/coq/map/Map.vo
/usr/lib/mips-linux-gnu/why3/coq/map/MapInjection.vo
/usr/lib/mips-linux-gnu/why3/coq/map/MapPermut.vo
/usr/lib/mips-linux-gnu/why3/coq/map/Occ.vo
/usr/lib/mips-linux-gnu/why3/coq/number/Coprime.vo
/usr/lib/mips-linux-gnu/why3/coq/number/Divisibility.vo
/usr/lib/mips-linux-gnu/why3/coq/number/Gcd.vo
/usr/lib/mips-linux-gnu/why3/coq/number/Parity.vo
/usr/lib/mips-linux-gnu/why3/coq/number/Prime.vo
/usr/lib/mips-linux-gnu/why3/coq/option/Option.vo
/usr/lib/mips-linux-gnu/why3/coq/real/Abs.vo
/usr/lib/mips-linux-gnu/why3/coq/real/ExpLog.vo
/usr/lib/mips-linux-gnu/why3/coq/real/FromInt.vo
/usr/lib/mips-linux-gnu/why3/coq/real/MinMax.vo
/usr/lib/mips-linux-gnu/why3/coq/real/PowerInt.vo
/usr/lib/mips-linux-gnu/why3/coq/real/PowerReal.vo
/usr/lib/mips-linux-gnu/why3/coq/real/Real.vo
/usr/lib/mips-linux-gnu/why3/coq/real/RealInfix.vo
/usr/lib/mips-linux-gnu/why3/coq/real/Square.vo
/usr/lib/mips-linux-gnu/why3/coq/real/Trigonometry.vo
/usr/lib/mips-linux-gnu/why3/coq/set/Set.vo
/usr/lib/mips-linux-gnu/why3/coq/version
/usr/share/doc/why3-coq/changelog.Debian.gz
/usr/share/doc/why3-coq/changelog.gz
/usr/share/doc/why3-coq/copyright