Bug#933830: ITP: ocaml-num -- legacy Num library for arbitrary-precision integer and rational arithmetic

[Stéphane Glondu <glondu@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Stéphane Glondu <glondu@debian.org>

* Package name    : ocaml-num
  Version         : 1.2
  Upstream Author : Xavier Leroy <xavier.leroy@inria.fr>
* URL             : https://github.com/ocaml/num/
* License         : LGPL 2.1 with OCaml linking exception
  Programming Lang: OCaml, C
  Description     : legacy Num library for arbitrary-precision integer and rational arithmetic

This library implements arbitrary-precision arithmetic on big integers
and on rationals.

This is a legacy library. It used to be part of the core OCaml
distribution (in otherlibs/num) but is now distributed separately. New
applications that need arbitrary-precision arithmetic should use the
Zarith library (https://github.com/ocaml/Zarith) instead of the Num
library, and older applications that already use Num are encouraged to
switch to Zarith. Zarith delivers much better performance than Num and
has a nicer API.

Several packages depends on this in Debian, including: scilab, z3,
coccinelle, ocaml-batteries.

The package will be maintained by the ocaml-team.