Processing commands for cont...@bugs.debian.org: > tags 813820 + pending Bug #813820 [src:ssreflect] ssreflect: FTBFS: Error: Unbound type constructor glob_constr_and_expr Bug #831567 [src:ssreflect] ssreflect: Version 1.6 released, compatible with coq/{testing,unstable} Added tag(s) pending. Added tag(s) pending. > thanks Stopping processing here.
Please contact me if you need assistance. -- 813820: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=813820 831567: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=831567 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems