Path to this page:
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