all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: maude (3.1-2)

Links for maude

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
maude
high-performance logical framework

Other Packages Related to maude

  • build-depends
  • build-depends-indep

Download maude

FileSize (in kB)MD5 checksum
maude_3.1-2.dsc 2.0 kB ba2ae917519e77c20aa86c6563417c5c
maude_3.1.orig.tar.gz 2,281.0 kB bd1a5cc6f3a88c916e092143c4eb9dea
maude_3.1-2.debian.tar.xz 6.6 kB d87fa188c634bbe1c45bb7bd2e502605
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/med-team/maude.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/med-team/maude