maude

Paket-Details

Name maude
Version 2.7.1-2
Beschreibung High-level Specification Language
URL http://maude.cs.uiuc.edu
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen
Packer Antonio Rojas
Erstellt am 12.01.2018 20:26
Veröffentlicht am 12.01.2018 20:29
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket maude-2.7.1-2-x86_64.pkg.tar.xz
PGP-Signatur maude-2.7.1-2-x86_64.pkg.tar.xz .sig
Paket-Größe 957,80 KByte
Installations-Größe 3,36 MByte

Abhängigkeiten

Bauen von

benötigt von