Back to mcrl2 PTS page

Accepted mcrl2 201001-1 (source amd64)



-----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-----


Accepted:
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