maude

Paket-Details

Name maude
Version 2.7.1-3
Beschreibung High-level Specification Language
URL http://maude.cs.uiuc.edu
Lizenzen GPL
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 03.09.2018 16:40
Veröffentlicht am 03.09.2018 17:08
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket maude-2.7.1-3-x86_64.pkg.tar.xz
PGP-Signatur maude-2.7.1-3-x86_64.pkg.tar.xz .sig
Paket-Größe 958,86 KByte
Installations-Größe 3,38 MByte

Abhängigkeiten

Bauen von

benötigt von

Dateien