maude 2.7.1-3.0

Architecture: i686
Repository: i686/community
Description: High-level Specification Language
Upstream URL:
License(s): GPL
Package Size: 956.93 kB
Installed Size: 3587.00 kB
Build Date: 2018-10-17 10:19:02
Last Updated: 2019-01-03 16:12:55

Dependencies (40)