-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201210.1-1ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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-system-dev (>= 1.37), libglu1-mesa-dev (>= 7.0.1), libgl2ps-dev, qt4-qmake, libqtcore4, libqtgui4, libqt4-xml, libqt4-opengl, libqt4-dev, libqt4-opengl-dev
Package-List: 
 mcrl2 deb math extra
Checksums-Sha1: 
 00f27e63d61bec506c2a97422834618ef33ac338 8218004 mcrl2_201210.1.orig.tar.gz
 edef053b0b988babf98f71ce63667f06237d4548 7073 mcrl2_201210.1-1ubuntu1.debian.tar.gz
Checksums-Sha256: 
 52a29a2dc7360459ae2cc20124f41b1ad25e4f9edcc8d38a0464b6d481031cb4 8218004 mcrl2_201210.1.orig.tar.gz
 183e4ff0469c737c440e33a07237acb4a5f4e86d95ed40a1fe499acc2ca58b0b 7073 mcrl2_201210.1-1ubuntu1.debian.tar.gz
Files: 
 b4bffa70ba40a087fa04f0f9aa066f86 8218004 mcrl2_201210.1.orig.tar.gz
 826139a4d27b467cfcbd7db8ccf34efa 7073 mcrl2_201210.1-1ubuntu1.debian.tar.gz
Original-Maintainer: Jeroen Keiren <jkeiren@win.tue.nl>

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

iQIcBAEBCAAGBQJQl7xmAAoJEP4ixv2DE11FkjsQAItzZh74+mdgpVriLyZmfdeM
XOS/+eZqVHUMRsvScHDfwvmgW9Y+7P2GfloewEzsriesX69YZjkNncNuvlzEBENN
wpgulkTlRTNPlYBWz0ozdzBUjgklunj3q90J73MV907yBSaCpuy5JZ95LWvaCZJr
gIJODJ6NIkVHvQlxztSPVWIDTL+nPt1IW3kJQ5pxU++F6JSg6cOB688S3qzIT2eA
fLdHUFcgW/bo4wEhPcogPJsiTent5STdQDzI82xuZ6eL2VdpQaAkEJXm11oNOoL4
ToiScSwzi8Lly0MkLSjRUvQwXR8RRjmCLtHzfyebJ5hdGWdiB9T1+MWqH3Ljyn5K
8IpTk/ufjG4ya9GxeFysIfUrhh6xlsTsdCg8AS6Aq6SOA+uWINJLsLcSgNY0ddhT
GNHzub6PZzUqdAQu0ekz6nkcV++c04ZtF/IX8ApVoallmz72eK4vfwo8ghBbNjFV
APADntuAtAyxujsyUfFlRh21fYZzP7jVQe0NGcd8z/s03Dx9iAdnBne1Mt08M7nY
2SkDLBIODx2ZzwhcS21PQSrphFoy8baJmCTgUkVZspBoixRJOu9CKwEp+0Ioi3Cb
na0vSjFtwFg9PKiEGQP89zZNBpFUbNmQWe+AEi5HLGdlwpEwXBsTQQDfQVbZwthB
Gzn3p1ZOP/Umwp5wI5Wj
=N9DW
-----END PGP SIGNATURE-----