master · x86_64-linux · cf9005753f89 · generated 2026-10-08T00:45:57Z
102,173packages 38,704unmaintained (37.9%) 41,810single maintainer (40.9%) 9,522team only (9.3%) 8,396broken 12,474outdated (12.2%) 4,912maintainers 85teams 206setup hooks (hidden)

bugarela Gabriela Moreira

github.com/bugarela · maintains 1 packages (1 directly), sole maintainer of 1, member of 0 teams

Reset

1 packages

Package ▲ Version Maintainers # Teams Deps Used by Used by (transitive) Status
quint
Formal specification language with TLA+ semantics
0.32.0 → 0.33.0
bugarela
 1
5 0 0 single outdated