Processing commands for control@bugs.debian.org: > # The tarball for version 1.3 contains micro-C plugin > tags 950605 + fixed-upstream Bug #950605 [why3] Please, enable micro-C plugin Added tag(s) fixed-upstream. > thanks Stopping processing here. Please contact me if you need assistance. -- 950605: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=950605 Debian Bug Tracking System Contact owner@bugs.debian.org with problems