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

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201007~rc1-1
Maintainer: Paul van Tilburg <paulvt@debian.org>
Homepage: http://www.mcrl2.org/
Standards-Version: 3.9.1
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: 
 0f9d329adbc2449703c735c613018d1f9e4ae015 5342487 mcrl2_201007~rc1.orig.tar.gz
 50193e50a5eec110242a4bb34b21cff45a9c1285 6175 mcrl2_201007~rc1-1.debian.tar.gz
Checksums-Sha256: 
 7d367fee7ece35e778efa0897215ceebbc270a73bde17c6322d6619d83152f1b 5342487 mcrl2_201007~rc1.orig.tar.gz
 59a609a5367c64c5d04788c1277baa677b3c3963ed90882296b32bab8b75ebc1 6175 mcrl2_201007~rc1-1.debian.tar.gz
Files: 
 f912aad5b453276fb9f71e23c18bf42d 5342487 mcrl2_201007~rc1.orig.tar.gz
 97d9993142ea1a2b2bf1ce44c8f2e7f3 6175 mcrl2_201007~rc1-1.debian.tar.gz

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

iEYEARECAAYFAkxYiaAACgkQJBBhylAGQYE93wCfS60UXf58P30oNsPomGsZQ6eG
orQAoI7TV/Kq98XpvmzRGWr4HB8RG6Fj
=8Wrs
-----END PGP SIGNATURE-----