Arbitrary precision integers
https://opam.ocaml.org/packages/zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers.
- Sources inherited from project openSUSE:Backports:SLE-15-SP4
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout openSUSE:Backports:SLE-15-SP4:Update/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 |
Latest Revision
Yuchen Lin (maxlin_factory)
accepted
request 957467
from
Aaron Puchert (aaronpuchert)
(revision 1)
Needed for Coq. Newer version would need a newer ocaml-dune.
Comments 0