prooftree is marked for autoremoval from testing

To: prooftree@packages.debian.org
Subject: prooftree is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Tue, 05 Aug 2014 04:39:05 +0000
Message-id: <[🔎] E1XEWWf-0006Lm-00@franck.debian.org>

prooftree 0.12-1 is marked for autoremoval from testing on 2014-08-19

It (build-)depends on packages with these RC bugs:
751049: proofgeneral: FTBFS - pdfetex (file cm-super-t1.enc): cannot open encoding file for reading

Reply to:

Prev by Date: why_2.34-2_amd64.changes ACCEPTED into unstable
Next by Date: Processing of ocaml-csv_1.3.3-1_amd64.changes
Previous by thread: why_2.34-2_amd64.changes ACCEPTED into unstable
Next by thread: prooftree is marked for autoremoval from testing
Index(es):
- Date
- Thread