Package: mcrl2
Priority: extra
Section: universe/math
Installed-Size: 43206
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Sjoerd Cranen <scranen@win.tue.nl>
Architecture: i386
Version: 201409.0-1ubuntu1
Depends: libc6 (>= 2.4), libgcc1 (>= 1:4.1.1), libgl1-mesa-glx | libgl1, libgl2ps0, 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 (>= 4.9)
Filename: pool/universe/m/mcrl2/mcrl2_201409.0-1ubuntu1_i386.deb
Size: 8010836
MD5sum: 4dc13d228f22ff031405c2e80dd93903
SHA1: c7df4e0b01a40f462d1c7f13274f1fc22bf83da5
SHA256: d4b8f4b4e0357f162f2095334fc83dab88ef2cc87751a5e099102024c03d1c1d
Description: formal specification language toolset
Homepage: http://www.mcrl2.org/
Description-md5: 99d513240b8f673eda7117700a2c594f
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu