Arbitrary precision integers
https://opam.ocaml.org/packages/zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers.
- Developed at devel:languages:ocaml
- Sources inherited from project openSUSE:Factory
-
2
derived packages
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Factory:zSystems/ocaml-zarith && cd $_ - Create Badge
Refresh
Refresh
Source Files
| Filename | Size | Changed |
|---|---|---|
| _service | 0000000578 578 Bytes | |
| ocaml-zarith-1.11.tar.xz | 0000078660 76.8 KB | |
| ocaml-zarith.changes | 0000000140 140 Bytes | |
| ocaml-zarith.patch | 0000026500 25.9 KB | |
| ocaml-zarith.spec | 0000001989 1.94 KB |
Revision 1 (latest revision is 4)
Dominique Leuenberger (dimstar_suse)
accepted
request 864179
from
Aaron Puchert (aaronpuchert)
(revision 1)
- Initial version 1.11, needed for Coq 8.13.0.
Comments 0