Format: 3.0 (quilt)
Source: mcrl2
Binary: mcrl2
Architecture: any
Version: 201409.0-1.1
Maintainer: Sjoerd Cranen <scranen@win.tue.nl>
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
