pkgsrc.se | The NetBSD package collection

Branch: CURRENT, pkgsrc-2022Q1, pkgsrc-2021Q4, pkgsrc-2021Q3, ...

2022-05-24 / UPDATED (1.7.8 => 1.7.8nb1)

devel/ocaml-extlib

COMMENT: Alternative standard library for OCaml
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.2.1nb1 => 1.2.1nb2)

devel/ocaml-biniou

COMMENT: Extensible binary data format, like JSON but faster
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (18.02nb27 => 18.02nb28)

devel/verifast

COMMENT: VeriFast code verifier in separation logic
MAINTAINER(S): ryoon

2022-05-24 / UPDATED (0.10.3nb4 => 0.10.3nb5)

devel/omake

COMMENT: Build system designed for scalability and portability
MAINTAINER(S): pkgsrc-users

2022-05-24 / UPDATED (1.6nb13 => 1.6nb14)

devel/ocaml-optcomp

COMMENT: OCaml syntax extension for optional compilation
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.9.3 => 1.9.3nb1)

devel/ocaml-findlib

COMMENT: Library finder for OCaml
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.8.8nb32 => 1.8.8nb33)

devel/ocamlgraph

COMMENT: Graph library for OCaml
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.6.0nb1 => 1.6.0nb2)

devel/ocaml-stringext

COMMENT: Extra string functions for OCaml
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.1.1nb2 => 1.1.1nb3)

devel/ocaml-lwt_glib

COMMENT: SSL module for ocaml-lwt
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.1nb1 => 1.1nb2)

devel/ocaml-resource-pooling

COMMENT: Library for pooling resources like connections and threads
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.5.1 => 1.5.1nb1)

devel/ocaml-csexp

COMMENT: Canonical S-expressions library for OCaml
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (2.9.3nb2 => 2.9.3nb3)

devel/ocaml-dune-configurator

COMMENT: Configuration test library for Dune
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (1.1.0nb1 => 1.1.0nb2)

devel/ocaml-digestif

COMMENT: Simple hash algorithms in OCaml
MAINTAINER(S): jaapb

2022-05-24 / UPDATED (4.8.3nb2 => 4.8.3nb3)

math/z3

COMMENT: The Z3 theorem prover / SMT solver
MAINTAINER(S): dholland

2022-05-24 / UPDATED (1.7nb4 => 1.12)

math/ocaml-zarith

COMMENT: OCaml arithmetic library for arbitrary precision integers
MAINTAINER(S): markd