Bug#880546: Packaging Isabelle was requested before but the plan was dropped

To: 880546@bugs.debian.org
Subject: Bug#880546: Packaging Isabelle was requested before but the plan was dropped
From: Torsten Landschoff <torsten@landschoff.net>
Date: Tue, 12 Dec 2017 23:08:35 +0100
Message-id: <[🔎] d33a7ad2-9062-e553-6222-39ea9c091c67@landschoff.net>
Reply-to: Torsten Landschoff <torsten@landschoff.net>, 880546@bugs.debian.org
References: <MWHPR04MB1119AD3601C463701CBF2137C55C0@MWHPR04MB1119.namprd04.prod.outlook.com>

Have a look at this bug:

https://bugs.debian.org/494491

It looks for me like upstream would prefer not to have a Isabelle Debian
package. :-(

Reply to: