Processing commands for cont...@bugs.debian.org: > tags 573807 + confirmed upstream Bug #573807 [src:agda-stdlib] agda-stdlib: FTBFS on kfreebsd-amd64: stack overflow Added tag(s) upstream and confirmed. > severity 573807 important Bug #573807 [src:agda-stdlib] agda-stdlib: FTBFS on kfreebsd-amd64: stack overflow Severity set to 'important' from 'serious'
> thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database) -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
