Processed: frama-c: FTBFS fixed upstream

To: John Scott <jscott@posteo.net>
Cc: debian-bugs-forwarded@lists.debian.org, debian-ocaml-maint@lists.debian.org
Subject: Processed: frama-c: FTBFS fixed upstream
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 07 Jun 2020 20:27:04 +0000
Message-id: <[🔎] handler.s.B959599.15915615726505.transcript@bugs.debian.org>
References: <[🔎] 6231720.t923Y4xNqH@dinosaurs> <20200503125315.GA32066@xanadu.blop.info>

Processing control commands:

> forwarded -1 https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html
Bug #959599 [src:frama-c] frama-c: FTBFS: Error: Unbound value const_of_big_int
Set Bug forwarded-to-address to 'https://lists.gforge.inria.fr/pipermail/frama-c-discuss/2020-June/005823.html'.
> tags -1 fixed-upstream
Bug #959599 [src:frama-c] frama-c: FTBFS: Error: Unbound value const_of_big_int
Added tag(s) fixed-upstream.

-- 
959599: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=959599
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#959599: frama-c: FTBFS fixed upstream
  - From: John Scott <jscott@posteo.net>

Prev by Date: Bug#959599: frama-c: FTBFS fixed upstream
Next by Date: Processing of belenios_1.11~dfsg-1_source.changes
Previous by thread: Bug#959599: frama-c: FTBFS fixed upstream
Next by thread: Processing of belenios_1.11~dfsg-1_source.changes
Index(es):
- Date
- Thread