maude 2.7-2 source package in Ubuntu


maude (2.7-2) unstable; urgency=medium

  [ Andreas Tille ]
  * Moved packaging from SVN to Git
  * cme fix dpkg-control

  [ Alexis Bienvenüe]
  * Strip build date from banner to get reproducible build.
    Closes: #819948

 -- Andreas Tille <email address hidden>  Tue, 05 Apr 2016 10:48:06 +0200

Upload details

Uploaded by:
Debian Med on 2016-04-05
Uploaded to:
Original maintainer:
Debian Med
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco release on 2018-10-30 universe science
Cosmic release on 2018-05-01 universe science
Bionic release on 2017-10-24 universe science
Artful release on 2017-04-20 universe science


File Size SHA-256 Checksum
maude_2.7-2.dsc 2.0 KiB 640243df6e33c7032cd399a7512c75c2f3c48c4889876fb260a6bee0a095ca04
maude_2.7.orig.tar.gz 1.6 MiB f5da81556c3180aee6a9cf4cef2f0b9bb2ff3b7fcc7bb103cb4ac3f5770b2b89
maude_2.7-2.debian.tar.xz 6.6 KiB 96c7c7a8998ad199cbb87b3bcece2ee191a4b5969061173359cabe6c8965b6be

Available diffs

No changes file available.

Binary packages built by this source

maude: high-performance logical framework

 Maude is a high-performance reflective language and system supporting
 both equational and rewriting logic specification and programming for
 a wide range of applications. Maude has been influenced in important
 ways by the OBJ3 language, which can be regarded as an equational
 logic sublanguage. Besides supporting equational specification and
 programming, Maude also supports rewriting logic computation.
 Rewriting logic is a logic of concurrent change that can naturally
 deal with state and with concurrent computations. It has good
 properties as a general semantic framework for giving executable
 semantics to a wide range of languages and models of concurrency. In
 particular, it supports very well concurrent object-oriented
 computation. The same reasons making rewriting logic a good semantic
 framework make it also a good logical framework, that is, a metalogic
 in which many other logics can be naturally represented and executed.
 Maude supports in a systematic and efficient way logical
 reflection. This makes Maude remarkably extensible and powerful,
 supports an extensible algebra of module composition operations, and
 allows many advanced metaprogramming and metalanguage
 applications. Indeed, some of the most interesting applications of
 Maude are metalanguage applications, in which Maude is used to create
 executable environments for different logics, theorem provers,
 languages, and models of computation.
 Maude is of interest to the biomedical community for modeling and
 analysis of biological systems.

maude-dbgsym: No summary available for maude-dbgsym in ubuntu yakkety.

No description available for maude-dbgsym in ubuntu yakkety.