maude 2.7.1-3.0

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

Dependencies (46)