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

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201202.0-2
Maintainer: Jeroen Keiren <jkeiren@win.tue.nl>
Uploaders: Paul van Tilburg <paulvt@debian.org>
Homepage: http://www.mcrl2.org/
Standards-Version: 3.9.3
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
Package-List: 
 mcrl2 deb math extra
Checksums-Sha1: 
 2b687fce0f73498643d9fab0ee9090505d74d4ee 8809442 mcrl2_201202.0.orig.tar.gz
 8298931aa58520866509ed8cf3d7052f0baa6504 6981 mcrl2_201202.0-2.debian.tar.gz
Checksums-Sha256: 
 5c49b6882e1947fd5dddda5e14aba9aff56bfae75cb8182565dba6cba291d07f 8809442 mcrl2_201202.0.orig.tar.gz
 461eae62657e4d2167fb7e9793578065203ce1d4f972f71c9492b82139cff2ff 6981 mcrl2_201202.0-2.debian.tar.gz
Files: 
 0daef61cbe0621397d7b7971dc38788a 8809442 mcrl2_201202.0.orig.tar.gz
 282a6e0184de9d8824e5b3effc637e0a 6981 mcrl2_201202.0-2.debian.tar.gz

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

iEYEARECAAYFAk9HrlkACgkQJBBhylAGQYHJVACdEKaV58uddxzMJCeutGO/CUEQ
0n8AnRrwxQoSDLosn2Bv412q5V630GCL
=UlAG
-----END PGP SIGNATURE-----