Processing commands for [email protected]: > fixed 813820 1.6-1 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} Marked as fixed in versions ssreflect/1.6-1. Marked as fixed in versions ssreflect/1.6-1. > 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 [email protected] with problems
