moretea Maarten Hoogendoorn
github.com/moretea · maintains 2 packages (2 directly), sole maintainer of 1, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Toolset for model-checking concurrent systems and protocols |
202507 → 202607.0 |
1 | 8 | 0 | 0 | single outdated | ||
Build, deploy, and manage your applications with Docker and Kubernetes |
4.22.0-202605222050 |
2 | 7 | 0 | 0 | maintained |