package names descriptions source package names package contents all options

[  focal  ] [  jammy  ] [  lunar  ] [  mantic  ] [  noble  ]

[ Source: maude  ]

Links for maude

Ubuntu Resources:

• Bug Reports

Download Source Package maude:

• [maude_2.7-2build2.dsc]
• [maude_2.7.orig.tar.gz]
• [maude_2.7-2build2.debian.tar.xz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

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

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [maude.cs.uiuc.edu]

Similar packages:

• libgrpc6
• libgrpc10
• libgrpc++1.51
• libgrpc29
• libgrpc++1.51t64
• libgrpc29t64
• libgrpc++-dev
• libgrpc-dev
• libnewtonsoft-json5.0-cil
• golang-github-labstack-echo-dev
• librose-db-object-perl

Other Packages Related to maude

depends

recommends

suggests

enhances

• dep: libbdd0c2

  Binary decision-diagram library (runtime)

• dep: libc6 (>= 2.29)

  GNU C Library: Shared libraries
  also a virtual package provided by libc6-udeb

• dep: libgcc-s1 (>= 3.0)

  GCC support library

• dep: libgmp10

  Multiprecision arithmetic library

• dep: libgmpxx4ldbl

  Multiprecision arithmetic library (C++ bindings)

• dep: libsigsegv2 (>= 2.9)

  Library for handling page faults in a portable way

• dep: libstdc++6 (>= 5.2)

  GNU Standard C++ Library v3

• dep: libtecla1

  interactive command line editing facilities

Download maude

Download for all available architectures

Architecture	Package Size	Installed Size	Files
s390x	731.5 kB	2,798.0 kB	[list of files]