Problems for source package mcrl2Current Source Version: 201409.0-1
Current Maintainer: Sjoerd Cranen <firstname.lastname@example.org>
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: Sun Sep 15 15:29:44 2019
DO NOT MASS FILE BUG REPORTS
GET A CONSENSUS ON email@example.com BEFORE MASS FILING BUGS