Package - libcoq-interval
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/coq-interval/libcoq-interval_4.11.1-1+b9_amd64.deb (Size: 6.2MiB)| Property | Value |
|---|---|
| Package | libcoq-interval |
| Source | coq-interval (4.11.1-1) |
| Version | 4.11.1-1+b9 |
| Installed-Size | 16876 |
| Maintainer | Debian OCaml Maintainers |
| Architecture | amd64 |
| Provides | libcoq-interval-aynj8 |
| Depends | libcoq-bignums-9bm26, libcoq-coquelicot-lzoj5, libcoq-flocq-61k63, libcoq-mathcomp-ssreflect-08jv4, libcoq-stdlib-68yx1 |
| Description | interval arithmetic for Coq |
| Description-md5 | 592b78874085ed93fea0d897f7ed5db2 |
| Homepage | https://coqinterval.gitlabpages.inria.fr/ |
| Section | ocaml |
| Priority | optional |
| Filename | pool/main/c/coq-interval/libcoq-interval_4.11.1-1+b9_amd64.deb |
| Size | 6518768 |
| MD5sum | f8f2f0db71666e0a037ce5d8b550f3b4 |
| SHA256 | 29bc4be696a9bed5d6107748b00a287e987a4ac67fd9f6d708d602062d0e7e60 |
Files in package
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-interval/META
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-interval/interval_plot.cmo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq-interval/interval_plot.cmxs
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Eval/Eval.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Eval/Prog.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Eval/Reify.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Eval/Tree.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Basic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Generic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Generic_ops.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Generic_proof.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Primitive_ops.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Sig.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Specific_bigint.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Specific_ops.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Specific_sig.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Float/Specific_stdz.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Integral/Bertrand.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Integral/Integral.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Integral/Priority.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Integral/Refine.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Float.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Float_full.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Float_full_primfloat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Interval.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Interval_compl.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Transcend.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Interval/Univariate_sig.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Language/Lang_expr.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Language/Lang_simpl.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Language/Lang_tac.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/Coquelicot.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/Flocq.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/Int63Compat.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/Int63Copy.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/MathComp.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/MathComp1or2.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/MathComp2.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Missing/Stdlib.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Plot.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Basic_rec.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Bound.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Bound_quad.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Datatypes.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Taylor_model.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Taylor_model_sharp.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Poly/Taylor_poly.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Real/Taylor.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Real/Xreal.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Real/Xreal_derive.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Tactic.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Tactic_float.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Tactics/Integral_helper.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Tactics/Interval_helper.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Tactics/Plot_helper.vo
- /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/coq/user-contrib/Interval/Tactics/Root_helper.vo
- /usr/share/doc/libcoq-interval/changelog.Debian.amd64.gz
- /usr/share/doc/libcoq-interval/changelog.Debian.gz
- /usr/share/doc/libcoq-interval/changelog.gz
- /usr/share/doc/libcoq-interval/copyright
- /usr/share/doc/libcoq-interval/examples/example-20071016.v
- /usr/share/doc/libcoq-interval/examples/example-20120205.v
- /usr/share/doc/libcoq-interval/examples/example-20140221.v
- /usr/share/doc/libcoq-interval/examples/example-20140610.v
- /usr/share/doc/libcoq-interval/examples/example-20150105.v
- /usr/share/doc/libcoq-interval/examples/example-20160218.v
- /usr/share/doc/libcoq-interval/examples/example-20171018.v
- /usr/share/doc/libcoq-interval/examples/example-20200428.v
- /usr/share/doc/libcoq-interval/examples/example-20200430.v
- /usr/share/doc/libcoq-interval/examples/example-20210218.v
- /usr/share/doc/libcoq-interval/examples/example-20220302.v
- /usr/share/doc/libcoq-interval/examples/example-20220304.v
- /usr/share/doc/libcoq-interval/examples/example-20221027.v
- /usr/share/doc/libcoq-interval/examples/example-20221103.v
- /usr/share/doc/libcoq-interval/examples/example-20231013.v
- /var/lib/coq/md5sums/libcoq-interval.checksum