Processing commands for control@bugs.debian.org: > tags 544436 confirmed upstream Bug #544436 [proofgeneral-misc] proofgeneral-misc: All actions in phox-mode fail: "Wrong type argument: stringp, nil" Added tag(s) upstream and confirmed. > End of message, stopping processing here. Please contact me if you need assistance. -- 544436: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=544436 Debian Bug Tracking System Contact owner@bugs.debian.org with problems