dwarfmaster Luc Chabassier
github.com/dwarfmaster · maintains 3 packages (3 directly), sole maintainer of 3, member of 0 teams
3 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Open source model checker for verifying safety properties of array-based systems |
1.2.0 |
1 | 4 | 0 | 0 | single | ||
Tool for making eBooks from fanfiction web sites |
4.54.0 → 4.62.0 |
1 | 24 | 0 | 0 | single outdated | ||
Xinerama Aware Background Changer |
1.2 |
1 | 5 | 0 | 0 | single |