Yirmibir / maude

high-performance logical framework

•     Debian Med Packaging Team
•     debian-med-packaging@lists.alioth.debian.org
•     http://maude.cs.uiuc.edu
•     3.1-2
•     maude_3.1-2_amd64.deb
•     1004.4 KiB
•     science
•     amd64
•      maude_3.1-2.debian.tar.xz
            maude_3.1-2.dsc
            maude_3.1.orig.tar.gz
•     Debian Versiyonu: 3.1-2
•     high-performance logical framework

Diğer Pardus sürümlerindeki versiyonlar