[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#611927: marked as done (ITP: maude -- a high-performance logical framework)

Your message dated Sat, 09 Apr 2011 13:47:53 +0000
with message-id <E1Q8YW1-0000gf-00@franck.debian.org>
and subject line Bug#611927: fixed in maude 2.6-1
has caused the Debian Bug report #611927,
regarding ITP: maude -- a high-performance logical framework
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
611927: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=611927
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Scott Christley <schristley@mac.com>

Package name    : maude
Version         : 2.6
Upstream Author : Maude Project Tream
URL             : http://maude.cs.uiuc.edu
License         : GPL
Programming Lang: C++
Description     : Maude is a 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 a of interest to the biomedical community for modeling and analysis of biological systems.


-- System Information:
Debian Release: 5.0.8
APT prefers stable
APT policy: (500, 'stable')
Architecture: i386 (i686)


X-Debbugs-CC: debian-med@lists.debian.org

--- End Message ---
--- Begin Message --- 
Source: maude
Source-Version: 2.6-1

We believe that the bug you reported is fixed in the latest version of
maude, which is due to be installed in the Debian FTP archive:

maude_2.6-1.debian.tar.gz
  to main/m/maude/maude_2.6-1.debian.tar.gz
maude_2.6-1.dsc
  to main/m/maude/maude_2.6-1.dsc
maude_2.6-1_amd64.deb
  to main/m/maude/maude_2.6-1_amd64.deb
maude_2.6.orig.tar.gz
  to main/m/maude/maude_2.6.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 611927@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Scott Christley <schristley@mac.com> (supplier of updated maude package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 10 Feb 2011 14:11:58 -0800
Source: maude
Binary: maude
Architecture: source amd64
Version: 2.6-1
Distribution: unstable
Urgency: low
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Changed-By: Scott Christley <schristley@mac.com>
Description: 
 maude      - A high-performance logical framework.
Closes: 611927
Changes: 
 maude (2.6-1) unstable; urgency=low
 .
   * Initial Release. (closes: #611927)
Checksums-Sha1: 
 3c255b5d3ff851fd6d9ffed8804a9d01a1911ffc 1366 maude_2.6-1.dsc
 3f1ec2f39a22942bb096102d1d8d6eed4510483e 1600026 maude_2.6.orig.tar.gz
 cca95523ecd570fc3e8d3fb7c87804d8abd5842f 40261 maude_2.6-1.debian.tar.gz
 d30070735cd4f493a07803967495fd79cbe02712 932984 maude_2.6-1_amd64.deb
Checksums-Sha256: 
 6a02a3cd91b0c072d7dfa933811477666c3e8647590bcd9dd6fa784135b79b70 1366 maude_2.6-1.dsc
 a5ba79bf3d30565c874e80b3531b51a7e835b600e86cac82508a6eb9e15f4aa0 1600026 maude_2.6.orig.tar.gz
 b8906ea5b9d734b04dfda47b7904feb39f978b8ea1effb6640648ec2b44f21af 40261 maude_2.6-1.debian.tar.gz
 cef499ad4b48022f93f0e355eac86d5de85195230c485dec2ec31e868a061215 932984 maude_2.6-1_amd64.deb
Files: 
 bd67121e0deba54b23f2fdd158dd6320 1366 science optional maude_2.6-1.dsc
 7b1dd753e9994f034a49588e2541b968 1600026 science optional maude_2.6.orig.tar.gz
 d99e49281e366d65199e60a720d2667a 40261 science optional maude_2.6-1.debian.tar.gz
 096a12e90a7cf5384076495e74451c11 932984 science optional maude_2.6-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAk1dQY0ACgkQYDBbMcCf01rv6ACgptACSz3bc6/rzuzV5nK73cnF
AQEAni56FjUI1LvP9NY+gDvbvqfOqjxJ
=aIPy
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: