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

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201001+svn7611-1
Maintainer: Paul van Tilburg <paulvt@debian.org>
Homepage: http://www.mcrl2.org/
Standards-Version: 3.8.4
Vcs-Browser: https://svn.win.tue.nl/viewcvs/MCRL2/packaging/mcrl2/trunk/
Vcs-Svn: https://svn.win.tue.nl/repos/MCRL2/packaging/mcrl2/trunk/
Build-Depends: debhelper (>= 5), cmake, libboost1.42-dev, libboost-date-time1.42-dev, libboost-filesystem1.42-dev, libboost-graph1.42-dev, libboost-program-options1.42-dev, libboost-regex1.42-dev, libboost-signals1.42-dev, libboost-system1.42-dev, libboost-test1.42-dev, libboost-thread1.42-dev, libwxgtk2.8-dev (>= 2.8.4), libglu1-mesa-dev (>= 7.0.1)
Checksums-Sha1: 
 ca24c8ecd5a19d9faba96109baf017a6fa9dd7cb 4834726 mcrl2_201001+svn7611.orig.tar.gz
 12e85a838724ca2ef7ea24bff6c2081cfa34c772 5320 mcrl2_201001+svn7611-1.debian.tar.gz
Checksums-Sha256: 
 1bcc26b9b2a32266e2ec85aacdee53e03c9153f96b45dd5c66f2240f1d682422 4834726 mcrl2_201001+svn7611.orig.tar.gz
 978541891edb64aadf1c5839a9e3f29e377d39e4d054edf84ab9f491f6be8291 5320 mcrl2_201001+svn7611-1.debian.tar.gz
Files: 
 86832e7eab20463ac4839db3ae463e4f 4834726 mcrl2_201001+svn7611.orig.tar.gz
 9086527c4b713d15f91d02c05bc2f239 5320 mcrl2_201001+svn7611-1.debian.tar.gz

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

iEYEARECAAYFAkvCBWgACgkQJBBhylAGQYGhOQCfYKSv6IxC19std3+29aqCVrq/
s2oAnRa89ImmKWjqItAJCDdGZHdkuX0y
=wcbC
-----END PGP SIGNATURE-----