ocaml-zarith 1.12-7
| Architecture: | x86_64 |
|---|---|
| Repository: | extra |
| Base Package: | ocaml-zarith |
| Description: | Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers |
| Upstream URL: | https://github.com/ocaml/Zarith |
| License(s): | GPL2 |
| Provides: | |
| Package Size: | 522.7 KB |
| Installed Size: | 1.5 MB |
| Last Packager: | Konstantin Gizdov |
| Last Updated: | 2023-05-27 03:52:28 JST |
Dependencies (4)
- ocaml>=5.0.0
- ocaml-compiler-libs>=5.0.0
- gmp
- ocaml-findlib (make)
Required By ocaml-zarith (1)
- coqide (make)