Branch: CURRENT, pkgsrc-2017Q4, pkgsrc-2017Q3, pkgsrc-2017Q2, ...

2018-01-10 / UPDATED (4.1nb11 => 4.1nb12)

     lang/pict
          COMMENT: Concurrent language based on Milner's pi calculus
          MAINTAINER(S): dholland

2018-01-10 / UPDATED (7.01nb1 => 7.03)

     lang/camlp5
          COMMENT: Camlp5 is a preprocessor-pretty-printer of ocaml
          MAINTAINER(S): tonio

2018-01-10 / UPDATED (4.06.0nb1 => 4.06.0)

     lang/ocaml
          COMMENT: The latest implementation of the Caml dialect of ML
          MAINTAINER(S): jaapb

2018-01-10 / UPDATED (8.7.0nb2 => 8.7.1)

     lang/coq
          COMMENT: Theorem prover which extracts programs from proofs
          MAINTAINER(S): jaapb

2018-01-10 / UPDATED (1.4.1nb7 => 1.4.1nb8)

     math/ocaml-zarith
          COMMENT: OCaml arithmetic library for arbitrary precision integers
          MAINTAINER(S): markd

2018-01-10 / UPDATED (4.4.1nb4 => 4.4.1nb5)

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

2018-01-10 / NEW PACKAGE (1.1)

     math/ocaml-num
          COMMENT: Library for arbitrary-precision arithmetic
          MAINTAINER(S): jaapb

2018-01-10 / UPDATED (4.1nb21 => 4.1nb22)

     math/scilab
          COMMENT: High-level scientific math programming environment with graphics
          MAINTAINER(S): dmcmahill

2018-01-10 / UPDATED (0.7.4 => 0.8.0)

     archivers/par2
          COMMENT: PAR 2.0 compatible file verification and repair tool
          MAINTAINER(S): pkgsrc-users

2018-01-10 / UPDATED (1.0.0nb2 => 1.1.0)

     security/pinentry-gtk2
          COMMENT: Applications for entering PINs or Passphrases, gtk2 enabled
          MAINTAINER(S): pkgsrc-users

2018-01-10 / UPDATED (1.0.0 => 1.1.0)

     security/pinentry
          COMMENT: Applications for entering PINs or Passphrases
          MAINTAINER(S): pkgsrc-users

2018-01-10 / UPDATED (0.25.2 => 0.25.3)

     mail/notmuch
          COMMENT: Mail indexer
          MAINTAINER(S): pkgsrc-users

2018-01-10 / UPDATED (1.5.0nb1 => 1.6.0)

     devel/ocaml-cppo
          COMMENT: C-style preprocessor for OCaml
          MAINTAINER(S): jaapb

2018-01-10 / UPDATED (0.9.3nb2 => 0.10.0nb1)

     devel/ocaml-base
          COMMENT: Alternative standard library for OCaml
          MAINTAINER(S): jaapb

2018-01-10 / UPDATED (3.0.0nb1 => 3.0.0nb2)

     devel/js_of_ocaml
          COMMENT: Compiler of OCaml bytecode to Javascript
          MAINTAINER(S): jaapb

13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32