skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

 / Packages / sid (unstable) / Source / science / maude

[  bullseye  ] [  bookworm  ] [  trixie  ] [  forky  ] [  sid  ]

Links for maude

Debian Resources:

• Bug Reports
• Developer Information
• Debian Changelog
• Copyright File
• Debian Source Repository (Git)
• Debian Patch Tracker

Maintainers:

• Debian Med Packaging Team (QA Page, Mail Archive)
• Scott Christley (QA Page)
• Andreas Tille (QA Page)

External Resources:

• Homepage [maude.cs.uiuc.edu]

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

• adep: debhelper-compat (= 13)

  Package not available

• adep: libtecla-dev

  interactive command line editing facilities (development)

• adep: libbdd-dev

  Binary decision-diagram library (development)

• adep: libgmp3-dev

  Multiprecision arithmetic library developers tools

• adep: libsigsegv-dev

  Library for handling page faults in a portable way development package

• adep: bison

  YACC-compatible parser generator

• adep: flex

  fast lexical analyzer generator

• adep: libncurses-dev

  developer's libraries for ncurses

• adep: libcvc4-dev

  automated theorem prover for SMT problems (development files)

Download maude

File	Size (in kB)	MD5 checksum
maude_3.5.1-1.dsc	1.4 kB	b22f9b714d573c97345de2453e81bb7e
maude_3.5.1.orig.tar.gz	2,186.8 kB	9d3ff10c8b0ca9ea7e4686af52b3e124
maude_3.5.1-1.debian.tar.xz	6.4 kB	502d6faa6176f999c4297963acd0326a

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