Zoznam súborov balíka libcoq-flocq v bookworm architektúry s390x

/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Bracket.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Bracket.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Div.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Div.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Operations.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Operations.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Plus.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Plus.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Round.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Round.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Calc/Sqrt.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Core.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Core.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Defs.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Defs.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Digits.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Digits.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FIX.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FIX.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLT.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLT.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLX.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FLX.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FTZ.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/FTZ.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Float_prop.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Float_prop.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Generic_fmt.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Raux.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Raux.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_NE.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_pred.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Round_pred.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Ulp.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Ulp.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Zaux.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Core/Zaux.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Binary.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/BinarySingleNaN.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Bits.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Compat.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/Int63Copy.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.v
/usr/lib/ocaml/coq/user-contrib/Flocq/IEEE754/PrimFloat.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2Flocq.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Pff/Pff2FlocqAux.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Div_sqrt_error.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Double_rounding.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Mult_error.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Plus_error.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Relative.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Relative.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Round_odd.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Prop/Sterbenz.vo
/usr/lib/ocaml/coq/user-contrib/Flocq/Version.v
/usr/lib/ocaml/coq/user-contrib/Flocq/Version.vo
/usr/share/doc/libcoq-flocq/changelog.Debian.gz
/usr/share/doc/libcoq-flocq/changelog.Debian.s390x.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