twelf 1.7.1 single
Logic proof assistant
- Name
twelf-1.7.1- Package set
- top-level
- Homepage
- http://twelf.org/wiki/Main_Page
- License
- MIT
- Source
- pkgs/by-name/tw/twelf/package.nix:57
- Derivation
/nix/store/vw4gmdfqmpbyfnz6k5ffxx5sqcnxyzsr-twelf-1.7.1.drv
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| jwiegley | John Wiegley | GitHub · johnw@newartisans.com | listed on package |
Dependencies 5
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| rsync 3.5.0 | buildInputs | 1,761 | team-only | |
| smlnj 2026.2 | buildInputs | 1 | single | |
| pkg-config 0.29.2 | nativeBuildInputs | 78,016 | unmaintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.