Processed: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3Envfun_3995"

To: Paul Gevers <elbrus@debian.org>
Cc: debian-ocaml-maint@lists.debian.org
Subject: Processed: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Wed, 11 May 2022 20:09:06 +0000
Message-id: <[🔎] handler.s.B.16522996116721.transcript@bugs.debian.org>
References: <[🔎] 98b36049-9774-f09b-1020-c6e543d778d0@debian.org> <[🔎] 98b36049-9774-f09b-1020-c6e543d778d0@debian.org>

Processing control commands:

> found -1 why3/1.5.0-1
Bug #1010867 [src:why3, src:frama-c] why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
Marked as found in versions why3/1.5.0-1.
> found -1 frama-c/20211203-chromium-1
Bug #1010867 [src:why3, src:frama-c] why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
Marked as found in versions frama-c/20211203-chromium-1.

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

Reply to:

References:
- Bug#1010867: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
  - From: Paul Gevers <elbrus@debian.org>

Prev by Date: Bug#1010867: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
Next by Date: Processing of coq-hierarchy-builder_1.2.1-7_source.changes
Previous by thread: Bug#1010867: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"
Next by thread: Processing of coq-hierarchy-builder_1.2.1-7_source.changes
Index(es):
- Date
- Thread

Processed: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3__Env__fun_3995"

Processed: why3 breaks frama-c autopkgtest: undefined symbol: camlWhy3Envfun_3995"