# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-threads base base-unix base camlp5 7.14 Preprocessor-pretty-printer of OCaml conf-findutils 1 Virtual package relying on findutils conf-perl 2 Virtual package relying on perl coq 8.7.1 Formal proof management system num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic ocaml 4.07.1 The OCaml compiler (virtual package) ocaml-base-compiler 4.07.1 Official release 4.07.1 ocaml-config 1 OCaml Switch Configuration ocamlfind 1.9.5 A library manager for OCaml # opam file: opam-version: "2.0" maintainer: "Hugo.Herbelin@inria.fr" homepage: "https://github.com/coq-contribs/float" license: "LGPL 2.1" build: [make "-j%{jobs}%"] install: [make "install"] remove: ["rm" "-R" "%{lib}%/coq/user-contrib/Float"] depends: [ "ocaml" "coq" {>= "8.7" & < "8.8~"} ] tags: [ "keyword: floating-point arithmetic" "category: Computer Science/Data Types and Data Structures" "date: 2001" ] authors: [ "Laurent Thรฉry" "Sylvie Boldo" ] bug-reports: "https://github.com/coq-contribs/float/issues" dev-repo: "git+https://github.com/coq-contribs/float.git" synopsis: "Library for floating-point numbers" description: "A library for floating-point numbers." flags: light-uninstall url { src: "https://github.com/coq-contribs/float/archive/v8.7.0.tar.gz" checksum: "md5=8bf626c00854c8225f6bcc9da151316f" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-float.8.7.0 coq.8.7.1
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
true
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-float.8.7.0 coq.8.7.1
opam list; echo; ulimit -Sv 16000000; timeout 4h opam install -y -v coq-float.8.7.0 coq.8.7.1
Total: 6 M
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundProp.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundMult.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FSucc.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fnorm.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestPlus.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundMult.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestProp.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Faux.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Paux.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fnorm.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundProp.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FSucc.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Paux.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundPlus.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundPlus.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestPlus.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Faux.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestProp.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Zdivides.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fodd.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/MSB.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/MSB.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fmin.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestMult.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FPred.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestMult.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FPred.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Float.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fmin.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fround.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Digit.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Rpow.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Power.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fbound.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fop.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fcomp.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Finduct.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Zdivides.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Zenum.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest2Plus.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fbound.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fodd.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundProp.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest2Plus.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fprop.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Finduct.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest2Prop.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/MSBProp.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Float.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Rpow.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/AllFloat.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Power.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FSucc.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Digit.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fround.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Paux.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fcomp.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fnorm.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Faux.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundMult.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestProp.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestPlus.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fop.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FroundPlus.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fmin.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fprop.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/MSB.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/FPred.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Zdivides.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/ClosestMult.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/MSBProp.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fodd.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fround.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Power.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Zenum.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Rpow.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Digit.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fbound.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Float.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest2Plus.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fcomp.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Finduct.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest2Prop.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fop.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Zenum.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Fprop.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/sTactic.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/MSBProp.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Option.vo
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Closest2Prop.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/sTactic.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/sTactic.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Option.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/AllFloat.glob
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/Option.v
../ocaml-base-compiler.4.07.1/lib/coq/user-contrib/Float/AllFloat.v
opam remove -y coq-float.8.7.0