Processing commands for cont...@bugs.debian.org: > limit source alt-ergo Limiting to bugs with field 'source' containing at least one of 'alt-ergo' Limit currently set to 'source':'alt-ergo'
> tags 882162 + pending Bug #882162 [src:alt-ergo] alt-ergo FTBFS: Error: This expression has type Sim.Core.t * bool but an expression was expected of type Sim.Core.t Added tag(s) pending. > thanks Stopping processing here. Please contact me if you need assistance. -- 882162: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=882162 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
