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

Bug#460885: marked as done (ITP: mcrl2 -- the mCRL2 formal specification language toolset)

Your message dated Wed, 10 Mar 2010 13:32:51 +0000
with message-id <E1NpM1r-0002mm-K5@ries.debian.org>
and subject line Bug#460885: fixed in mcrl2 201001-1
has caused the Debian Bug report #460885,
regarding ITP: mcrl2 -- the mCRL2 formal specification language toolset
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.)


-- 
460885: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=460885
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Paul van Tilburg <paulvt@debian.org>

* Package name    : mcrl2
  Version         : 1.0.0
  Upstream Author : Jan Friso Groote <j.f.groote@tue.nl> and many others
* URL             : http://www.mcrl2.org/
* License         : Boost Software License (MIT-like),
                    3rd-party software under BSD/LGPL license
  Programming Lang: C++/C
  Description     : the mCRL2 formal specification language toolset

mCRL2 stands for micro Common Representation Language 2.  It is a
specification language that can be used to specify and analyse the
behaviour of distributed systems and protocols and is the successor to
muCRL.  Using its accompanying toolset, systems can be analysed and
verified automatically.

This toolset supports a collection of tools for linearisation, simulation,
state-space exploration and generation and tools to optimise and analyse
specifications.  Moreover, state spaces can be manipulated, visualised and
analysed.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'testing'), (102, 'experimental')
Architecture: powerpc (ppc)

Kernel: Linux 2.6.18-4-powerpc
Locale: LANG=en_US.UTF-8, LC_CTYPE=nl_NL.UTF8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

--- End Message ---
--- Begin Message --- 
Source: mcrl2
Source-Version: 201001-1

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

mcrl2_201001-1.diff.gz
  to main/m/mcrl2/mcrl2_201001-1.diff.gz
mcrl2_201001-1.dsc
  to main/m/mcrl2/mcrl2_201001-1.dsc
mcrl2_201001-1_amd64.deb
  to main/m/mcrl2/mcrl2_201001-1_amd64.deb
mcrl2_201001.orig.tar.gz
  to main/m/mcrl2/mcrl2_201001.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 460885@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Paul van Tilburg <paulvt@debian.org> (supplier of updated mcrl2 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: Tue, 16 Feb 2010 12:50:42 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201001-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <paulvt@debian.org>
Changed-By: Paul van Tilburg <paulvt@debian.org>
Description: 
 mcrl2      - the mCRL2 formal specification language toolset
Closes: 460885
Changes: 
 mcrl2 (201001-1) unstable; urgency=low
 .
   * Initial release (Closes: #460885).
   * Use a pruned upstream tarball to avoid (a lot of) source duplication by
     removing 3rd-party/boost.
Checksums-Sha1: 
 0423554f601799f6a94237b732ba43471aedc65f 1431 mcrl2_201001-1.dsc
 c733fecc0eace85512bb1a8f08629de23733ec12 4392236 mcrl2_201001.orig.tar.gz
 cc0ed1fbf264ea1587dc0cf2ee58fc1d54695bf0 4790 mcrl2_201001-1.diff.gz
 baf0d6aa38bb996c3354e809db4c79118679d75b 9669550 mcrl2_201001-1_amd64.deb
Checksums-Sha256: 
 29d134aa0fa7c6e65bffb7bbc3f35a6fb56dc5b0eaecf58e75d02b56f1860fe1 1431 mcrl2_201001-1.dsc
 f97f949b184bc30cac7b6521564b2738ec9448f17893baa38ebe12c7a4c372bd 4392236 mcrl2_201001.orig.tar.gz
 51afef4cf354abf43f2a46abce4d5aa82e7d66cd93c2b3cff6dc0b2e3b58175f 4790 mcrl2_201001-1.diff.gz
 492f5443567b721fc465acd3a26c576f9250abfe5ba06f0917174a323ffa5076 9669550 mcrl2_201001-1_amd64.deb
Files: 
 e0ecfd9d3e992831c7bb0fc2a24f574b 1431 math extra mcrl2_201001-1.dsc
 16be4850858e0befab83c90193ccc7bc 4392236 math extra mcrl2_201001.orig.tar.gz
 8966cb7349120db756e9055ad63ce922 4790 math extra mcrl2_201001-1.diff.gz
 6d6e5c094bfcf495b541fabf0941da84 9669550 math extra mcrl2_201001-1_amd64.deb

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

iEYEARECAAYFAkuBqr0ACgkQJBBhylAGQYEQyQCdEwa7VeUL8sqp+vCO2INcl1Wn
M7IAoIfFjtsP10XTxBCgF8V2dpkJos12
=+Q5K
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: