matita is marked for autoremoval from testing

To: matita@packages.debian.org
Subject: matita is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Mon, 10 Dec 2018 04:39:05 +0000
Message-id: <[🔎] E1gWDLV-0001Ys-24@respighi.debian.org>

matita 0.99.3-1 is marked for autoremoval from testing on 2018-12-11

It is affected by these RC bugs:
913606: matita: matita FTBFS with lablgtk2 2.18.5+dfsg-2

Reply to:

Prev by Date: Bug#915974: RM: atdgen -- RoQA; binaries were taken over by src:ocaml-atd
Next by Date: Bug#887601: libcamlimages-ocaml: Detect freetype using pkg-config
Previous by thread: Bug#915974: RM: atdgen -- RoQA; binaries were taken over by src:ocaml-atd
Next by thread: Bug#887601: libcamlimages-ocaml: Detect freetype using pkg-config
Index(es):
- Date
- Thread