trixie の arm64 アーキテクチャ用 libcoq-flocq パッケージのファイル一覧
/usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Bracket.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Bracket.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Div.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Div.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Operations.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Operations.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Plus.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Plus.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Round.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Round.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Sqrt.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Calc/Sqrt.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Core.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Core.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Defs.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Defs.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Digits.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Digits.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FIX.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FIX.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FLT.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FLT.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FLX.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FLX.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FTZ.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/FTZ.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Float_prop.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Float_prop.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Generic_fmt.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Generic_fmt.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Raux.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Raux.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Round_NE.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Round_NE.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Round_pred.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Round_pred.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Ulp.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Ulp.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Zaux.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Core/Zaux.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Binary.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Binary.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Bits.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Bits.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Int63Compat.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Int63Copy.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/PrimFloat.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Pff/Pff.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Pff/Pff.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Pff/Pff2Flocq.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Double_rounding.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Double_rounding.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Mult_error.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Mult_error.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Plus_error.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Plus_error.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Relative.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Relative.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Round_odd.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Round_odd.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Sterbenz.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Prop/Sterbenz.vo /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Version.v /usr/lib/aarch64-linux-gnu/ocaml/5.2.0/coq/user-contrib/Flocq/Version.vo /usr/share/doc/libcoq-flocq/changelog.Debian.arm64.gz /usr/share/doc/libcoq-flocq/changelog.Debian.gz /usr/share/doc/libcoq-flocq/copyright /usr/share/doc/libcoq-flocq/examples/Average.v /usr/share/doc/libcoq-flocq/examples/Cody_Waite.v /usr/share/doc/libcoq-flocq/examples/Compute.v /usr/share/doc/libcoq-flocq/examples/Division_u16.v /usr/share/doc/libcoq-flocq/examples/Double_rounding_odd_radix.v /usr/share/doc/libcoq-flocq/examples/Homogen.v /usr/share/doc/libcoq-flocq/examples/Print17.v /usr/share/doc/libcoq-flocq/examples/Sqrt_sqr.v /usr/share/doc/libcoq-flocq/examples/Triangle.v /var/lib/coq/md5sums/libcoq-flocq.checksum