maude 3.3-1

アーキテクチャ:x86_64
リポジトリ:extra
ベースパッケージ:maude
説明:高水準仕様言語
上流 URL:http://maude.cs.illinois.edu
ライセンス:GPL
パッケージ容量:1.3 MB
インストール容量:4.1 MB
パッケージ作成者:Felix Yan
最終更新:2024-01-09 16:41:06 JST

依存パッケージ (8)

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