Package: mcrl2 Architecture: amd64 Version: 201409.0-1ubuntu3 Priority: extra Section: universe/math Origin: Ubuntu Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> Original-Maintainer: Sjoerd Cranen <scranen@win.tue.nl> Bugs: https://bugs.launchpad.net/ubuntu/+filebug Installed-Size: 42561 Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.4), libgl1-mesa-glx | libgl1, libgl2ps1.4, libglu1-mesa | libglu1, libqt4-opengl (>= 4:4.5.3), libqt4-xml (>= 4:4.5.3), libqtcore4 (>= 4:4.8.0), libqtgui4 (>= 4:4.8.0), libstdc++6 (>= 5.2) Filename: pool/universe/m/mcrl2/mcrl2_201409.0-1ubuntu3_amd64.deb Size: 7543524 MD5sum: 1098fbf61ec0cc65231667290532357e SHA1: a25f045859f040740efba6a7a5e44c5b38a7f0a3 SHA256: 7137401f9b9b3a9a9f9afc1b5f34839de74f9b2cd277759e8bfb6ba22f044b9b Homepage: http://www.mcrl2.org/ Description: formal specification language toolset Description-md5: 99d513240b8f673eda7117700a2c594f