Problems for source package mcrl2Current Source Version: 201409.0-1
Current Maintainer: Sjoerd Cranen <email@example.com>
BTS entry: https://bugs.debian.org/src:mcrl2
Binary Package: mcrl2 (Version: 201409.0-1+b2)BTS entry: https://bugs.debian.org/mcrl2
According to Policy Section 2.5: Priorities packages MUST NOT depend on packages with lower priority values (excluding build-time dependencies) nor should packages of priority standard (or higher) conflict with each other. In order to ensure this, the priorities of one or more packages must be adjusted.
Package is optional and has a Depends on libgl1 which is extra on amd64.
Last updated: Mon Oct 14 15:29:00 2019
DO NOT MASS FILE BUG REPORTS
GET A CONSENSUS ON firstname.lastname@example.org BEFORE MASS FILING BUGS