Maintainer Mode
Sign in with GitHub

What vbgl maintains

Packages and NixOS modules whose meta.maintainers or meta.teams name vbgl, at nixpkgs fa465a5e1bf7. Change the list in nixpkgs, not here.
Packages 33
dune 3.23.1 behind in nixos-26.05risk 8 upstream 3.24.2 2 0
gappa 1.8.0risk 8 upstream 1.8.3 0 0
libantlr3c 3.4risk 8 upstream 3.5.3 0 0
obelisk 0.8.1risk 8 upstream 0.91 0 0
qarte 5.5.0risk 8 upstream 5.18.0 0 0
coq 9.1.1risk 0 3 2
amiri 1.003risk 0 4 0
gajim 2.6.0risk 0 0 2
alkalami 3.000risk 0 1 0
easycrypt 2026.09risk 0 1 0
easycrypt-runtest 2026.09risk 0 1 0
getdata 0.11.0risk 0 1 0
ocaml-top 1.2.0risk 0 1 0
sawjap 1.5.12risk 0 1 0
why3 1.8.2risk 0 1 0
bluefish 2.4.2 behind in nixos-26.05risk 0 0 0
clp 1.17.11 behind in nixos-26.05risk 0 0 0
compcert 3.18 behind in nixos-26.05risk 0 0 0
csvtool 2.4risk 0 0 0
cvc4 1.8risk 0 0 0
hol_light 0-unstable-2026-09-02 behind in nixos-26.05risk 0 0 0
jasmin-compiler 2026.09.0risk 0 0 0
likwid 5.5.2 behind in nixos-26.05risk 0 0 0
mopsa 1.1risk 0 0 0
msat 0.9.1risk 0 0 0
ocaml-crunch 4.1.0 behind in nixos-26.05risk 0 0 0
opaline 0.3.3risk 0 0 0
proverif 2.05risk 0 0 0
rocq-core 9.1.1risk 0 0 0
ruwudu 3.000risk 0 0 0
tagainijisho 1.2.2risk 0 0 0
wasm 2.0.2risk 0 0 0
why3find 1.3.0risk 0 0 0
NixOS modules 0
None.