laMudri James Wood
github.com/laMudri · maintains 7 packages (7 directly), sole maintainer of 3, member of 0 teams
3 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Graphical Audio CD ripper and encoder for Linux |
3.1.0-unstable-2025-03-24 |
1 | 11 | 0 | 0 | single | ||
Interactive theorem prover based on Higher-Order Logic |
4-trindemossen-2 |
1 | 7 | 0 | 0 | single | ||
IBus framework for table-based input methods |
1.17.19 → 1.18.0 |
1 | 10 | 2 | 2 | single outdated |