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)

mgregson Michael Gregson

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

Reset

2 packages

Package ▲ Version Maintainers # Teams Deps Used by Used by (transitive) Status
tlaplus
Algorithm specification language with model checking tools
1.7.4
florentc, mgregson, thoughtpolice
 3
4 0 0 maintained
tlaplus18
Algorithm specification language with model checking tools
1.8.0
florentc, mgregson, thoughtpolice
 3
4 0 0 maintained