Path to this page:
Branch: CURRENT,
pkgsrc-2022Q4,
pkgsrc-2022Q3,
pkgsrc-2022Q2,
...
2024-04-07 / UPDATED (1.68.4nb12 => 1.68.4nb13)
lang/gjs
COMMENT: Javascript binding for GNOME based on Spidermonkey
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (8.11.1nb1 => 8.11.1nb2)
lang/racket
COMMENT: Scheme-based dialect of Lisp
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (1.13nb40 => 1.13nb41)
lang/sablevm-classpath-gui
COMMENT: Class libraries for the SableVM Java virtual machine (GUI libraries)
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (3.2.5nb32 => 3.2.5nb33)
lang/smalltalk
COMMENT: GNU Smalltalk: A smalltalk-80 implementation
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (8.15.2nb12 => 8.15.2nb13)
lang/coq
COMMENT: Theorem prover which extracts programs from proofs
MAINTAINER(S): dholland
2024-04-07 / UPDATED (4.10.2.2614nb33 => 4.10.2.2614nb34)
lang/squeak-vm
COMMENT: Full Smalltalk 80 with portability to UN*X, Mac, and Windows
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (3.3.115nb4 => 3.3.115nb5)
cad/gtkwave
COMMENT: Electronic waveform viewer
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (1.8.2nb41 => 1.8.2nb42)
cad/geda
COMMENT: Toolset for automating electronic design
MAINTAINER(S): dmcmahill
2024-04-07 / UPDATED (0.14nb42 => 0.14nb43)
cad/transcalc
COMMENT: Transmission line analysis/synthesis
MAINTAINER(S): dmcmahill
2024-04-07 / UPDATED (3.0nb10 => 3.0nb11)
cad/solvespace
2024-04-07 / UPDATED (1.0nb41 => 1.0nb42)
cad/gtk2-wcalc
COMMENT: GTK2 Based Transmission Line Analysis/Synthesis Calculator
MAINTAINER(S): dmcmahill
2024-04-07 / UPDATED (4.1.3nb12 => 4.1.3nb13)
cad/pcb
COMMENT: Printed circuit board layout system
MAINTAINER(S): dmcmahill
2024-04-07 / UPDATED (3.10.30nb3 => 3.10.30nb4)
cad/xcircuit
COMMENT: Drawing program for X11 (especially for circuits)
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (7.0.10nb1 => 7.0.10nb2)
cad/kicad
COMMENT: Schematic and PCB CAD software (stable branch)
MAINTAINER(S): pkgsrc-users
2024-04-07 / UPDATED (1.1nb42 => 1.1nb43)
cad/gsmc