Package: mcrl2
Architecture: i386
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: 42914
Depends: libc6 (>= 2.4), 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_i386.deb
Size: 7897552
MD5sum: 662caeaf12d413ec0cd16aa388d5b122
SHA1: ccae5efa5000a973c1bc20f7cd4ba05d8db91444
SHA256: f1a225aef56e5d9f50c54f0ca582a5502f524949f9421ebc7d8a18b88cf713a3
Homepage: http://www.mcrl2.org/
Description: formal specification language toolset
Description-md5: 99d513240b8f673eda7117700a2c594f