ocaml:zarith packages

92 package(s) known

Alpine Linux 3.20
^community

ocaml-zarith

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux 3.20
^community

ocaml-zarith-doc

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers (documentation)
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux 3.21
^community

ocaml-zarith

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux 3.21
^community

ocaml-zarith-doc

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers (documentation)
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux 3.22
^community

ocaml-zarith

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux 3.22
^community

ocaml-zarith-doc

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers (documentation)
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux Edge
^community

ocaml-zarith

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

Alpine Linux Edge
^community

ocaml-zarith-doc

1.12 (1.12-r5)

Summary:
Arithmetic and logical operations over arbitrary-precision integers (documentation)
Maintainer:
- cielesti@protonmail.com
License:
- LGPL-2.0-only WITH OCaml-LGPL-linking-exception
Link(s):

ALT Linux p9

ocaml-zarith

1.7 (1.7-alt3)

Summary:
OCaml interface to GMP
Maintainer:
- rider@altlinux.org
Category:
- Development/ML
License:
- LGPLv2 with exceptions
Link(s):

ALT Linux p10

ocaml-zarith

1.12 (1.12-alt2)

Summary:
OCaml interface to GMP
Maintainer:
- rider@altlinux.org
Category:
- Development/ML
License:
- LGPLv2 with OCaml-LGPL-linking-exception
Link(s):

ALT Linux p11

ocaml-zarith

1.14 (1.14-alt1)

Summary:
OCaml interface to GMP
Maintainer:
- rider@altlinux.org
Category:
- Development/ML
License:
- LGPLv2 with OCaml-LGPL-linking-exception
Link(s):

ALT Sisyphus

ocaml-zarith

1.14 (1.14-alt1)

Summary:
OCaml interface to GMP
Maintainer:
- rider@altlinux.org
Category:
- Development/ML
License:
- LGPLv2 with OCaml-LGPL-linking-exception
Link(s):

AOSC

zarith

1.9.1 (1.9.1-5)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
Maintainer:
- fallback-mnt-aosc@repology
Category:
- ocaml
Link(s):

Arch Linux
^extra

ocaml-zarith

1.14 (1.14-3)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):

Arch Linux 32 i486
^extra

ocaml-zarith

1.12 (1.12-5.0)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 i686
^extra

ocaml-zarith

1.12 (1.12-5.0)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux 32 pentium4
^extra

ocaml-zarith

1.12 (1.12-5.0)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Arch Linux ARM aarch64
^extra

ocaml-zarith

1.14 (1.14-3)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):

Arch Linux ARM aarch64
^community

ocaml-zarith

1.12 (1.12-6)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):

Debian 10
^buster/main

ocaml-zarith

1.7 (1.7-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Category:
- ocaml
Link(s):

Debian 11
^{bullseye/main}

ocaml-zarith

1.11 (1.11-1)

Debian 12
^{bookworm/main}

ocaml-zarith

1.12 (1.12-1)

Debian 13
^trixie/main

ocaml-zarith

1.14 (1.14-1)

Debian Unstable
^sid/main

ocaml-zarith

1.14 (1.14-1)

deepin 20
^main

ocaml-zarith

1.7 (1.7-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Link(s):
- Upstream homepage^{ok, no IPv6}

Devuan 3.0
^beowulf/main

ocaml-zarith

1.7 (1.7-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Devuan 4.0
^{chimaera/main}

ocaml-zarith

1.11 (1.11-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Devuan Unstable
^{unstable/main}

ocaml-zarith

1.14 (1.14-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

EPEL 9

ocaml-zarith

1.12 (1.12-5.el9)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):

Fedora 37
^release

ocaml-zarith

1.12 (1.12-7.fc37)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPLv2 with exceptions
Link(s):

Fedora 38
^release

ocaml-zarith

1.12 (1.12-9.fc38)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Fedora 39
^release

ocaml-zarith

1.13 (1.13-1.fc39)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Fedora 40
^release

ocaml-zarith

1.13 (1.13-6.fc40)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Fedora 41
^updates

ocaml-zarith

1.14 (1.14-3.fc41)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Fedora 41
^release

ocaml-zarith

1.14 (1.14-2.fc41)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Fedora 42
^release

ocaml-zarith

1.14 (1.14-6.fc42)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Fedora Rawhide
^development

ocaml-zarith

1.14 (1.14-6.fc42)

Summary:
OCaml interface to GMP
Category:
- Unspecified
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

FreeBSD Ports

math/ocaml-zarith

1.13 (1.13_2)

Summary:
OCaml arithmetic library for arbitrary precision integers
Maintainer:
- danfe@freebsd.org
Category:
- math
Link(s):

Gentoo

dev-ml/zarith

1.14

Summary:
Arithmetic and logic operations over arbitrary-precision integers
Maintainer:
- ml@gentoo.org
Category:
- dev-ml
License:
- LGPL-2.1-with-linking-exception
Link(s):

GNU Guix

ocaml-zarith

1.12

Summary:
Implements arbitrary-precision integers
Link(s):

Homebrew

ocaml-zarith

1.14

Summary:
OCaml library for arbitrary-precision arithmetic
Link(s):

Kali Linux Rolling
^main

ocaml-zarith

1.14 (1.14-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

LiGurOS stable

dev-ml/zarith

1.14

Summary:
Arithmetic and logic operations over arbitrary-precision integers
Maintainer:
- ml@gentoo.org
Category:
- dev-ml
License:
- LGPL-2.1-with-linking-exception
Link(s):

LiGurOS develop

dev-ml/zarith

1.14

Summary:
Arithmetic and logic operations over arbitrary-precision integers
Maintainer:
- ml@gentoo.org
Category:
- dev-ml
License:
- LGPL-2.1-with-linking-exception
Link(s):

MacPorts

ocaml-zarith

1.14

Summary:
Arbitrary-precision integers for OCaml
Maintainers:
- landonf@macports
- landonf@github
Category:
- ocaml
License:
- LGPL-2
Link(s):

Mageia 8
^core/release

ocaml-zarith

1.9.1 (1.9.1-4.mga8)

Summary:
Arithmetic and logical operations over arbitrary-precision integers
Category:
- Development/OCaml
License:
- LGPLv2 with exceptions
Link(s):
- Package page^{dead (see archive.org)}
- Upstream homepage^{ok, no IPv6}

Mageia 9
^core/release

ocaml-zarith

1.12 (1.12-4.mga9)

Summary:
Arithmetic and logical operations over arbitrary-precision integers
Category:
- Development/OCaml
License:
- LGPLv2 with exceptions
Link(s):
- Package page^{dead (see archive.org)}
- Upstream homepage^{ok, no IPv6}

Mageia cauldron
^core/release

ocaml-zarith

1.14 (1.14-1.mga10)

Summary:
OCaml interface to GMP
Category:
- Development/OCaml
License:
- LGPLv2 with exceptions
Link(s):
- Package page^{dead (see archive.org)}
- Upstream homepage^{ok, no IPv6}

Manjaro Stable
^extra

ocaml-zarith

1.14 (1.14-3)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Testing
^extra

ocaml-zarith

1.14 (1.14-3)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Upstream homepage^{ok, no IPv6}

Manjaro Unstable
^extra

ocaml-zarith

1.14 (1.14-3)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Upstream homepage^{ok, no IPv6}

nixpkgs stable 22.11

ocaml4.14.1-zarith

1.12

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^redir

nixpkgs stable 23.05

ocaml4.14.1-zarith

1.12

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):
- Package recipe
- Upstream homepage^redir

nixpkgs stable 23.11

ocaml4.14.2-zarith

1.13

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}
- Changelog^{ok, no IPv6}

nixpkgs stable 24.05

ocaml5.1.1-zarith

1.13

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):
- Package recipe^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}
- Changelog^{ok, no IPv6}

nixpkgs stable 24.11

ocaml5.2.1-zarith

1.14

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):

nixpkgs stable 25.05

ocaml5.3.0-zarith

1.14

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):

nixpkgs unstable

ocaml5.3.0-zarith

1.14

Summary:
Fast, arbitrary precision OCaml integers
Maintainers:
- vincent.laporte@gmail.com
- aseipp@pobox.com
Category:
- ocamlPackages
License:
- LGPL-2.0
Link(s):

opam

zarith

1.14

Link(s):
- Project page^ok

OpenBSD Ports

math/ocaml-zarith

1.12 (1.12p3)

Summary:
arbitrary precision integer and rational arithmetic
Maintainer:
- chrisz@openbsd.org
Category:
- math
Link(s):

OpenIndiana packages
^hipster

Zarith

1.12

Summary:
The Zarith library - This library implements arithmetic and logical operations over arbitrary-precision integers.
Category:
- Development/Other Languages
Link(s):

openSUSE Leap 15.4
^main/oss

ocaml-zarith

1.11 (1.11-bp154.1.25)

Summary:
Arbitrary precision integers
Category:
- Development/Languages/OCaml
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

openSUSE Leap 15.5
^main/oss

ocaml-zarith

1.11 (1.11-bp155.2.14)

Summary:
Arbitrary precision integers
Category:
- Development/Languages/OCaml
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

openSUSE Leap 15.6
^main/oss

ocaml-zarith

1.13 (1.13-bp156.1.3)

Summary:
Arbitrary precision integers
Category:
- Development/Languages/OCaml
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

openSUSE Tumbleweed
^src-oss

ocaml-zarith

1.14 (1.14-1.1)

Summary:
Arbitrary precision integers
Category:
- Development/Languages/OCaml
License:
- LGPL-2.1-only WITH OCaml-LGPL-linking-exception
Link(s):

Parabola
^extra

ocaml-zarith

1.14 (1.14-3)

Summary:
Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
License:
- GPL2
Link(s):
- Package page^ok
- Upstream homepage^{ok, no IPv6}

Pardus 21
^main

ocaml-zarith

1.11 (1.11-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Parrot
^{parrot-updates/main}

ocaml-zarith

1.12 (1.12-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Parrot
^parrot/main

ocaml-zarith

1.12 (1.12-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

pkgsrc current

math/ocaml-zarith

1.12 (1.12nb1)

Summary:
OCaml arithmetic library for arbitrary precision integers
Maintainer:
- markd@netbsd.org
Category:
- math
Link(s):

PLD Linux

ocaml-zarith

1.12 (1.12-5)

Link(s):

PureOS amber
^amber/main

ocaml-zarith

1.7 (1.7-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Category:
- ocaml
Link(s):
- Package page^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

PureOS byzantium
^{byzantium/main}

ocaml-zarith

1.11 (1.11-1)

Maintainers:
Category:
- ocaml
Link(s):
- Package page^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

PureOS landing
^landing/main

ocaml-zarith

1.14 (1.14-1)

Maintainers:
Category:
- ocaml
Link(s):
- Package page^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Raspbian Oldstable
^main

ocaml-zarith

1.11 (1.11-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Raspbian Stable
^main

ocaml-zarith

1.12 (1.12-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Raspbian Testing
^main

ocaml-zarith

1.14 (1.14-1)

Maintainers:
Category:
- ocaml
Link(s):
- Upstream homepage^{ok, no IPv6}

Rosa 2021.1
^{contrib/release}

ocaml-zarith

1.12 (1.12-2)

Summary:
OCaml interface to GMP
Maintainer:
- a.proklov@rosalinux.ru
Category:
- Development/OCaml
License:
- LGPLv2 with exceptions
Link(s):

Rosa 13
^{contrib/release}

ocaml-zarith

1.12 (1.12-3)

Summary:
OCaml interface to GMP
Maintainer:
- alexander@mezon.ru
Category:
- Development/OCaml
License:
- LGPLv2 with exceptions
Link(s):

Trisquel 10.0
^nabia/main

ocaml-zarith

1.9.1 (1.9.1-1build1)

Maintainers:
Category:
- universe/ocaml
Link(s):
- Package page^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Trisquel 11.0
^aramo/main

ocaml-zarith

1.12 (1.12-1build1)

Maintainers:
Category:
- universe/ocaml
Link(s):
- Package page^{ok, no IPv6}
- Upstream homepage^{ok, no IPv6}

Ubuntu 14.04
^{trusty/universe}

ocaml-zarith

1.2.1 (1.2.1-2build1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Category:
- universe/ocaml
Link(s):

Ubuntu 16.04
^{xenial/universe}

ocaml-zarith

1.4.1 (1.4.1-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Category:
- universe/ocaml
Link(s):

Ubuntu 18.04
^{bionic/universe}

ocaml-zarith

1.5 (1.5-1)

Maintainers:
- debian-ocaml-maint@lists.debian.org
- mehdi@debian.org
Category:
- universe/ocaml
Link(s):

Ubuntu 20.04
^{focal/universe}

ocaml-zarith

1.9.1 (1.9.1-1build1)

Ubuntu 22.04
^{jammy/universe}

ocaml-zarith

1.12 (1.12-1build1)

Ubuntu 24.04
^{noble/universe}

ocaml-zarith

1.13 (1.13-2build4)

Ubuntu 24.10
^{oracular/universe}

ocaml-zarith

1.14 (1.14-1)

Ubuntu 25.04
^{plucky/universe}

ocaml-zarith

1.14 (1.14-1build1)

Ubuntu 25.10
^{questing/universe}

ocaml-zarith

1.14 (1.14-1build1)

Ubuntu 25.10 Proposed
^{questing-proposed/universe}

ocaml-zarith

1.14 (1.14-1build2)

Void Linux x86_64
^x86_64

ocaml-zarith

1.14 (1.14_1)

Summary:
OCaml operations over arbitrary-precision integers
Maintainer:
- leah@vuxu.org
Licenses:
- LGPL-2.0-only
- OCaml-LGPL-linking-exception
Link(s):

Packages for ocaml:zarith

ocaml-zarith

ocaml-zarith-doc

ocaml-zarith

ocaml-zarith-doc

ocaml-zarith

ocaml-zarith-doc

ocaml-zarith

ocaml-zarith-doc

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

math/ocaml-zarith

dev-ml/zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

dev-ml/zarith

dev-ml/zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml4.14.1-zarith

ocaml4.14.1-zarith

ocaml4.14.2-zarith

ocaml5.1.1-zarith

ocaml5.2.1-zarith

ocaml5.3.0-zarith

ocaml5.3.0-zarith

zarith

math/ocaml-zarith

Zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

math/ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith

ocaml-zarith