frama-c is marked for autoremoval from testing

To: frama-c@packages.debian.org
Subject: frama-c is marked for autoremoval from testing
From: Debian testing autoremoval watch <noreply@release.debian.org>
Date: Sun, 31 May 2020 04:39:04 +0000
Message-id: <[🔎] E1jfFkW-0000Fd-Ag@respighi.debian.org>

frama-c 20191204+calcium-0.1 is marked for autoremoval from testing on 2020-06-01

It is affected by these RC bugs:
959599: frama-c: FTBFS: Error: Unbound value const_of_big_int

Reply to:

Prev by Date: meta-ocaml is marked for autoremoval from testing
Previous by thread: frama-c is marked for autoremoval from testing
Next by thread: camomile is marked for autoremoval from testing
Index(es):
- Date
- Thread