-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201409.0-1ubuntu3
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.5
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.55), 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 arch=any
Checksums-Sha1:
 fe5c1039fd282ef86199cbea373d72d6b372a4d4 17457340 mcrl2_201409.0.orig.tar.gz
 69a708c6f1d3defe5caf759ca73200882fad04b9 6952 mcrl2_201409.0-1ubuntu3.debian.tar.xz
Checksums-Sha256:
 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f 17457340 mcrl2_201409.0.orig.tar.gz
 1aee145056a4cdb28f90871b5fab562f4e6d092688540a3018283757e1d133c8 6952 mcrl2_201409.0-1ubuntu3.debian.tar.xz
Files:
 a138131d377c9740a7d3ec4d058c0081 17457340 mcrl2_201409.0.orig.tar.gz
 bdf3c0565bda758ca1d598dfb86d4675 6952 mcrl2_201409.0-1ubuntu3.debian.tar.xz
Original-Maintainer: Sjoerd Cranen <scranen@win.tue.nl>

-----BEGIN PGP SIGNATURE-----

iQI3BAEBCgAhBQJaBphtGhxzdGV2ZS5sYW5nYXNla0B1YnVudHUuY29tAAoJEFaN
MPMhshM9cyoP/As84MlbNViuH0sisdgHM8cDZjgba+ZAv2/mBJP165jjy3EyJ3uj
bg2o8qvZxR22qNyZcbs0FmrOQCgvc/dQtemDJVOV9y79/aJJwW/avjp8gUWvHq7c
fgHi3ONz55c6x9nvtGFaVuW5z3WjXC7+PDC5OlFlc4f4/RjxOFvWWChFeKExqC2q
8/kQX7HyQrcdOUsoMXP6MJUuXrBTJPF8BbVP5KnUDuxYWCkWq79473tI6t4IM8r/
OPhsILQldmww5+xjqQMhVWqt8Uc8dGO1zIo/zcqqPXMmznUoEw5vE84aS41/N4Pe
7RtXpLHCEtvIuAqBASNv7Ui2WdSUHVFJl63GkOY+OqgutXy5aasqjxbmAycIKndS
DNpEtHipawYuYxpGOr9Afe0VxesR2RQgbxZQpNGvTET/WbqwQv6iL1JhLI/VhtMi
IwHDCr8KfE5F8hza8JmsP3TM6AP4UKv1i8brjUfj2F1LKqTaOsCyNSAUOchJabQi
ysEdF5FmtKm8QUuyzGK45sL27khQznCh8mJlK4I4JXhFBMB77W59nq1g3qM+deS7
dU0+KxpDEBJO9vIr2Phd5/JAM4HWUfheu0ngJJ3RntAA3YpfOE7LIjDMJLD+tmqo
DZXAztsxxozo5wYGkHJyr9JFqD7jkKJy+uI0cQw3AjF6exBmM8VjyoZa
=2IXd
-----END PGP SIGNATURE-----