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