-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 3.0 (quilt) Source: mcrl2 Binary: mcrl2 Architecture: any Version: 201107-1 Maintainer: Paul van Tilburg 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 Checksums-Sha1: 8e8785ef838a66efb8dcf3ea7bbca4a3b998b2e3 5117504 mcrl2_201107.orig.tar.gz d5a605d493c03fbec54daf1748d75c37b53cd24d 8535 mcrl2_201107-1.debian.tar.gz Checksums-Sha256: 2101dc3e845a3a8dc5a2c84cecba7c1c79cbfa5b58abb24679890e5bf7c771ae 5117504 mcrl2_201107.orig.tar.gz 52481a3ec6bc205ee24bd5958ff344d0054b978df886a7aa1d286615c78206ca 8535 mcrl2_201107-1.debian.tar.gz Files: f2b6dac7786815cc9f01635add8507d4 5117504 mcrl2_201107.orig.tar.gz dcface5f027717ca00192af2fc05f168 8535 mcrl2_201107-1.debian.tar.gz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk4lLUcACgkQJBBhylAGQYEPfQCeNaovIe+HqVg3xeXEWObowvmc ORMAoIg8Cm97Zu4SEI7Ns1ASE8xPm/3G =zr6H -----END PGP SIGNATURE-----