maude 2.7.1-3.0

Architecture: i486
Repository: i486/community
Description: High-level Specification Language
Upstream URL:
License(s): GPL
Package Size: 956.45 kB
Installed Size: 3587.00 kB
Build Date: 2018-10-24 03:05:46
Last Updated: 2018-11-13 15:06:41

Dependencies (19)

Required By (0)