Path to this page:
Branch: CURRENT,
pkgsrc-2022Q4,
pkgsrc-2022Q3,
pkgsrc-2022Q2,
...
2023-11-08 / UPDATED (8.15.2nb8 => 8.15.2nb9)
lang/coq
COMMENT: Theorem prover which extracts programs from proofs
MAINTAINER(S): dholland
2023-11-08 / UPDATED (1.11.0.20.8nb2 => 1.11.0.20.8nb3)
lang/openjdk11
COMMENT: Open-source implementation of the Java Platform, Standard Edition
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (8.1.25 => 8.1.25nb1)
lang/php81
COMMENT: PHP Hypertext Preprocessor version 8.1
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (3.2nb1 => 3.2nb2)
lang/gnucobol
COMMENT: Open-source COBOL compiler
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (2.3.0nb17 => 2.3.0nb18)
lang/neko
COMMENT: High-level dynamically typed programming language
MAINTAINER(S): charlotte
2023-11-08 / UPDATED (16.0.6 => 16.0.6nb1)
lang/wasi-libcxx
COMMENT: C++ Standard Librares (libc++/libc++abi) for WASI/WebAssembly
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (1.0pre3nb30 => 1.0pre3nb31)
lang/spl
COMMENT: The SPL Programming Language
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (1.72.1 => 1.72.1nb1)
lang/rust
COMMENT: Safe, concurrent, practical language
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (3.12.0nb3 => 3.12.0nb4)
lang/python312
COMMENT: Interpreted, interactive, object-oriented programming language
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (8.10nb4 => 8.10nb5)
lang/racket
COMMENT: Scheme-based dialect of Lisp
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (6.5.3 => 6.6.0nb1)
lang/qt6-qtscxml
COMMENT: Qt6 module for scxml language support
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (3.9.18nb3 => 3.9.18nb4)
lang/python39
COMMENT: Interpreted, interactive, object-oriented programming language
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (3.11.6nb3 => 3.11.6nb4)
lang/python311
COMMENT: Interpreted, interactive, object-oriented programming language
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (3.10.13nb3 => 3.10.13nb4)
lang/python310
COMMENT: Interpreted, interactive, object-oriented programming language
MAINTAINER(S): pkgsrc-users
2023-11-08 / UPDATED (2.7.18nb14 => 2.7.18nb15)
lang/python27
COMMENT: Interpreted, interactive, object-oriented programming language
MAINTAINER(S): pkgsrc-users