maude
Paket-Details
| Name | maude |
|---|---|
| Version | 3.5.1-1 |
| Beschreibung | High-level Specification Language |
| URL | http://maude.cs.illinois.edu |
| Lizenzen | GPL |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 02.03.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | maude-3.5.1-1-x86_64.pkg.tar.zst |
| PGP-Signatur | maude-3.5.1-1-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 1.3 MiB |
| Installations-Größe | 4.1 MiB |
| Beliebtheit |