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

Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201409.0-1ubuntu2
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
 90a89bd52afabc342e0dc087c159fdda7b1949e8 6920 mcrl2_201409.0-1ubuntu2.debian.tar.xz
Checksums-Sha256:
 322fa8835d7500bfe3e679a2d19c96e3c235d17af4ad3e674b564a2d5edaff3f 17457340 mcrl2_201409.0.orig.tar.gz
 88d3bbf16bea3422e272694d7899102a03fea0c316e21074d9f41f925887cf3e 6920 mcrl2_201409.0-1ubuntu2.debian.tar.xz
Files:
 a138131d377c9740a7d3ec4d058c0081 17457340 mcrl2_201409.0.orig.tar.gz
 40f590f2950c89400d0926c46ee6f2e0 6920 mcrl2_201409.0-1ubuntu2.debian.tar.xz
Original-Maintainer: Sjoerd Cranen <scranen@win.tue.nl>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCAAGBQJXTWlOAAoJEPNPCXROn13ZuQYP/AuVC9+TomQSAwcR1v6o9+8q
Wyf2L9EVwoZUcNPc2GUn2ULClPVFuzX7DIiRHdJq2axG/SAwhJKO3DEEZmFcseBY
Hzp0xerHrjleqDDMmquSbqkvxpRRbMqEbYI3xORyh4BoySotr3HJtHq/mYgAXHC6
sDjdFlEErUgoi7Loexk2GyqfQIXM/UkqRFMvc2t+eOlLEuc67H3keJZAA3m1EaFy
YRAKVUb9wKaloSkFFJVSMIYr/x/l9NTnbLgnfwLyNad4GcJ2kSN0g/vqoBu3jmNY
dZcYvEZ0SBo2IHrxhCpisVLdgPCVI2seBFkhMGqCPEhhrqN0qIKwQ66vZQt4D2L5
6GtLu4XxZhJdrOndOgsVB9zZOUSn1OJhInavcqBAkGLvIlqhzz33tdyZUC9tBUHv
PmdTzARyx4+JML1tSplbXHoK37l6Vz8a1Pd2xw8Lbq6O6xInhqxDMNnpqlhqqkM0
EDiRnL/jnZ3oUVPjSw+rB/Bhj2wEKWzyISsDtfYwYfr5eNqwYgpQzMyLIywbosK9
hQdsUBk5tEKTfLW9Ya/7I7weAY4v1KsU0/Z7qUsalhOficTz+suFoxLU0KXMrt8Y
mi6Vs8aZj3o8V/N1b+llIEwnLFA7a/jMlLk8maTeyitkvz7FvrCu7ZU0mnDxs2pf
wJCO8i948S2pGdXqv9yg
=ZFDy
-----END PGP SIGNATURE-----