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

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20