Processing commands for [email protected]: > 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 [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
