On 2018-06-22 Jeremie Courreges-Anglas <j...@wxcvbn.org> wrote:
> On Thu, Jun 21 2018, Christopher Zimmermann <chr...@openbsd.org> wrote:
> 
> [...]
> 
> > two ports have been added since num has been removed from the OCaml
> > distribution.
> > math/ocaml-num
> > math/Zarith  
> 
> BTW,
> - please provide tarballs for new ports

The tarballs of the actually three new ports are attached:

The Nums arbitrary precision arithmetic Module has been split off from
the OCaml compiler distribution. It is now shipped separately.
Therefore the first two new packages:

- math/ocaml-nums is the split off arbitrary precision library.
- math/Zarith is an OCaml wrapper for the GMP arbitrary precision
  library intended to replace the deprecated Nums module.

- sysutils/dune (aka jbuilder) is a new build system used by many OCaml
  projects.

> - wouldn't it make sense to import Zarith as math/ocaml-zarith instead?

There is no other library called Zarith, so there's no naming conflict.
I don't really care. So what do others think about naming policy?


Christopher



-- 
http://gmerlin.de
OpenPGP: http://gmerlin.de/christopher.pub
2779 7F73 44FD 0736 B67A  C410 69EC 7922 34B4 2566

Attachment: Zarith.tgz
Description: application/compressed-tar

Attachment: dune.tgz
Description: application/compressed-tar

Attachment: ocaml-num.tgz
Description: application/compressed-tar

Attachment: pgpYvr6b1XDNz.pgp
Description: OpenPGP digital signature

Reply via email to