Processing commands for control@bugs.debian.org: > close 1033701 Bug #1033701 [src:frama-c] frama-c: autopkgtest regression: cannot load plug-in 'why3' Marked Bug as done > thanks Stopping processing here. Please contact me if you need assistance. -- 1033701: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1033701 Debian Bug Tracking System Contact owner@bugs.debian.org with problems