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)

io12 Benjamin Levy

github.com/io12 · 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
mmj2
GUI Proof Assistant for the Metamath project
2.5.2-unstable-2023-06-27
io12
 1
5 0 0 single