Processing commands for control@bugs.debian.org:

notfound 980621 coinst/1.9.3-3

Bug #980621 [src:coinst] coinst: FTBFS: build-dependency not installable: libmenhir-ocaml-dev-sg295
No longer marked as found in versions coinst/1.9.3-3.

notfound 980614 frama-c/20201209+titanium-4

Bug #980614 [src:frama-c] frama-c: FTBFS: build-dependency not installable: libmenhir-ocaml-dev-sg295
No longer marked as found in versions frama-c/20201209+titanium-4.

notfound 980615 nurpawiki/1.2.4-1

Bug #980615 [src:nurpawiki] nurpawiki: FTBFS: build-dependency not installable: libmenhir-ocaml-dev-sg295
No longer marked as found in versions nurpawiki/1.2.4-1.

thanks

Stopping processing here.

Please contact me if you need assistance.
--
980614: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980614
980615: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980615
980621: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=980621
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)