Processing commands for [email protected]: > 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 [email protected] with problems
