pkgsrc.se | The NetBSD package collection

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

2023-11-14 / UPDATED (8.15.2nb10 => 8.15.2nb11)

lang/coq

COMMENT: Theorem prover which extracts programs from proofs
MAINTAINER(S): dholland

2023-11-14 / UPDATED (4.10.2.2614nb31 => 4.10.2.2614nb32)

lang/squeak-vm

COMMENT: Full Smalltalk 80 with portability to UN*X, Mac, and Windows
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (0.93nb39 => 0.93nb40)

lang/classpath-gui

COMMENT: Class libraries for Java VM (GUI libraries)
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (3.38.0nb7 => 3.38.0nb8)

archivers/file-roller

COMMENT: Archive manager for the GNOME desktop environment
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (0.5.4.17nb7 => 0.5.4.17nb8)

archivers/xarchiver

COMMENT: GTK+ frontend to various command line archivers
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (0.4.1nb9 => 0.4.1nb10)

archivers/gnome-autoar

COMMENT: GLib wrapper around libarchive
MAINTAINER(S): cirnatdan

2023-11-14 / UPDATED (0.5.2nb1 => 0.5.2nb2)

archivers/xfce4-thunar-archive

COMMENT: Thunar archive plugin
MAINTAINER(S): youri

2023-11-14 / UPDATED (1.26.1nb2 => 1.26.1nb3)

archivers/engrampa

COMMENT: Archive manager utility for the MATE Environment
MAINTAINER(S): youri

2023-11-14 / UPDATED (1.2.1nb4 => 1.2.1nb5)

security/pinentry-gnome3

COMMENT: Applications for entering PINs or Passphrases, GNOME 3 enabled
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (0.4nb39 => 0.4nb40)

security/fprint-demo

COMMENT: Simple GTK+ application to demonstrate libfprint's capabilities
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (3.38.1nb10 => 3.38.1nb11)

security/gcr

COMMENT: Library for crypto UI and related tasks
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (0.79nb1 => 0.79nb2)

security/putty

COMMENT: Free implementation of Telnet and SSH for Win32 and Unix platforms
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (2.44nb16 => 2.44nb17)

security/KeePass

COMMENT: Free, open source, light-weight and easy-to-use password manager
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (10.5.10nb17 => 10.5.10nb18)

security/tor-browser

COMMENT: Tor Browser based on Firefox
MAINTAINER(S): pkgsrc-users

2023-11-14 / UPDATED (3.38.0.1nb19 => 3.38.0.1nb20)

security/seahorse

COMMENT: GNOME encryption interface
MAINTAINER(S): pkgsrc-users