maude 3.5.1 single
High-level specification language
- Name
maude-3.5.1- Package set
- top-level
- Homepage
- https://maude.cs.illinois.edu/
- License
- GPL-2.0-or-later
- Main program
maude- Source
- pkgs/by-name/ma/maude/package.nix:94
- Derivation
/nix/store/bqr0v007px6ng1799f67723g9bj9s4az-maude-3.5.1.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| peti | Peter Simons | GitHub · simons@cryp.to | listed on package |
Dependencies 13
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| buddy 2.4 | buildInputs | 2 | unmaintained | |
| cln 1.3.7 | buildInputs | 24 | unmaintained | |
| cvc4 1.8 | buildInputs | 22 | maintained | |
| gmp 6.3.0 | buildInputs | 49,290 | single | |
| libsigsegv 2.15 | buildInputs | 4 | unmaintained | |
| tecla 1.6.3 | buildInputs | 30 | unmaintained | |
| yices 2.7.0 | buildInputs | 43 | single | |
| autoreconfHook 26.05pre-git | nativeBuildInputs | 77,993 | unmaintained setup hook | |
| bison 3.8.2 | nativeBuildInputs | 77,242 | unmaintained | |
| flex 2.6.4 | nativeBuildInputs | 52,194 | unmaintained | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 1 directly, 1 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| tamarin-prover 1.12.0 | nativeBuildInputs | 0 | single |