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

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201107-1
Maintainer: Paul van Tilburg <paulvt@debian.org>
Homepage: http://www.mcrl2.org/
Standards-Version: 3.9.2
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, libboost-filesystem-dev (>= 1.37), libboost-regex-dev (>= 1.37), libboost-signals-dev (>= 1.37), libboost-system-dev (>= 1.37), libboost-serialization-dev (>= 1.37), libwxgtk2.8-dev (>= 2.8.4), libglu1-mesa-dev (>= 7.0.1), libgl2ps-dev
Checksums-Sha1: 
 8e8785ef838a66efb8dcf3ea7bbca4a3b998b2e3 5117504 mcrl2_201107.orig.tar.gz
 d5a605d493c03fbec54daf1748d75c37b53cd24d 8535 mcrl2_201107-1.debian.tar.gz
Checksums-Sha256: 
 2101dc3e845a3a8dc5a2c84cecba7c1c79cbfa5b58abb24679890e5bf7c771ae 5117504 mcrl2_201107.orig.tar.gz
 52481a3ec6bc205ee24bd5958ff344d0054b978df886a7aa1d286615c78206ca 8535 mcrl2_201107-1.debian.tar.gz
Files: 
 f2b6dac7786815cc9f01635add8507d4 5117504 mcrl2_201107.orig.tar.gz
 dcface5f027717ca00192af2fc05f168 8535 mcrl2_201107-1.debian.tar.gz

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

iEYEARECAAYFAk4lLUcACgkQJBBhylAGQYEPfQCeNaovIe+HqVg3xeXEWObowvmc
ORMAoIg8Cm97Zu4SEI7Ns1ASE8xPm/3G
=zr6H
-----END PGP SIGNATURE-----