maude 3.5-1

アーキテクチャ:x86_64
リポジトリ:extra
ベースパッケージ:maude
説明:高水準仕様言語
上流 URL:http://maude.cs.illinois.edu
ライセンス:GPL
パッケージ容量:1.4 MB
インストール容量:4.3 MB
パッケージ作成者:Antonio Rojas
最終更新:2025-06-28 07:42:25 JST

依存パッケージ (8)

maude を必要とするパッケージ (1)