maude source package in Trusty

maude: high-performance logical framework

Versions published

Release

The package versions that were published when the distribution release was made.

maude information

Current version:
2.6-4
Uploaded:
Urgency:
Low Urgency

Upstream connections

Launchpad doesn’t know which project and series this package belongs to. Links from distribution packages to upstream project let distribution and upstream maintainers share bugs, patches, and translations efficiently.

There are no projects registered in Launchpad that are a potential match for this source package. Can you help us find one?


Releases in Ubuntu

Binary packages

Download files from current release (2.6-4)

File Size SHA-256 Checksum
maude_2.6-4.dsc 1.4 KiB c089c1c68ef00d33bcb4f99095b47569802a8e2792d097700da8b4361c9017fc
maude_2.6.orig.tar.gz 1.5 MiB a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0
maude_2.6-4.debian.tar.gz 5.0 KiB ef560e520bdb6f0db67ba277d45d3325132548694bc5c9f10ed2bddd600d7459

Package relationships

Build dependencies

Platform-independent build dependencies

Platform-dependent build dependencies

Build conflicts

Platform-independent build dependencies

Platform-dependent build dependencies