Processing commands for cont...@bugs.debian.org: > reassign 839514 libmono-corlib4.5-cil Bug #839514 [src:dafny] dafny: FTBFS: System.IO.FileNotFoundException: Could not find file "/etc/localtime" Bug reassigned from package 'src:dafny' to 'libmono-corlib4.5-cil'. No longer marked as found in versions dafny/1.9.7-1. Ignoring request to alter fixed versions of bug #839514 to the same values previously set > affects 839514 src:dafny Bug #839514 [libmono-corlib4.5-cil] dafny: FTBFS: System.IO.FileNotFoundException: Could not find file "/etc/localtime" Added indication that 839514 affects src:dafny > thanks Stopping processing here.
Please contact me if you need assistance. -- 839514: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839514 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
