Tarkennettu haku
wheezy  ] [  sid  ]

Source Package: maude (2.6-2)

Links for maude

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
maude
high-performance logical framework

Muut pakettiin maude liittyvät paketit

  • build-depends
  • build-depends-indep

Download maude

TiedostoKoko (kt)MD5-tarkiste
maude_2.6-2.dsc 1.4 kt a549f8682b5a78873aae8e9e4a09e350
maude_2.6.orig.tar.gz 1,562.5 kt 7b1dd753e9994f034a49588e2541b968
maude_2.6-2.debian.tar.gz 4.9 kt 5edafbde1574db9650cb865c0cd0891b
Debian Package Source Repository (VCS: Subversion)
svn://svn.debian.org/debian-med/trunk/packages/maude/trunk/
Debian Package Source Repository (Browsable)
http://svn.debian.org/wsvn/debian-med/trunk/packages/maude/trunk/