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

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201107.1-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
Package-List: 
 mcrl2 deb math extra
Checksums-Sha1: 
 f5c4b00ab79152b5f5587d5dc53989b443000255 5127635 mcrl2_201107.1.orig.tar.gz
 f5b8b604dcae3494b5a816a0919edccc4071249f 6873 mcrl2_201107.1-1.debian.tar.gz
Checksums-Sha256: 
 fd15cda5099583df4ef01fb711cab33b7de2218b59c4a09fb557fe2254b4da7e 5127635 mcrl2_201107.1.orig.tar.gz
 17d245642ab498d153a39c40ff663cc08405d9bca59047d02163f8108da31681 6873 mcrl2_201107.1-1.debian.tar.gz
Files: 
 92cea7a1f2232ff1982d8a19c78264a2 5127635 mcrl2_201107.1.orig.tar.gz
 c44c429f2b618e9bc12dce31850dd086 6873 mcrl2_201107.1-1.debian.tar.gz

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

iEYEARECAAYFAk7wYowACgkQJBBhylAGQYGwBwCfVBexmxEEdLf+mE4RG3TyaBhw
i+oAn2tmOyehAFxKqx5JqzQn1bpXvqvR
=NKss
-----END PGP SIGNATURE-----