package names descriptions source package names package contents all options

[  jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

[ Source: maude  ]

Links for maude

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package maude:

• [maude_3.1-2.dsc]
• [maude_3.1.orig.tar.gz]
• [maude_3.1-2.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:

• libgrpc10
• libgrpc++1.51t64
• libgrpc29t64
• golang-github-labstack-echo-dev
• libgrpc++-dev
• libgrpc-dev
• libnewtonsoft-json5.0-cil
• librose-db-object-perl
• protobuf-compiler-grpc
• seastar-dev
• libnewtonsoft-json-cil-dev

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

• 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
amd64	1,002.1 kB	3,253.0 kB	[list of files]