Processing commands for [email protected]: > forcemerge 1128188 1141880 Bug #1128188 [src:rocq-stdlib] libcoq-stdlib lacks dependencies Bug #1128188 [src:rocq-stdlib] libcoq-stdlib lacks dependencies Added tag(s) ftbfs. Bug #1141880 [src:rocq-stdlib] libcoq-stdlib must depend on libcoq-core-ocaml-ABI Added indication that 1141880 affects libcoq-stdlib Merged 1128188 1141880 > thanks Stopping processing here.
Please contact me if you need assistance. -- 1128188: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1128188 1141880: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1141880 Debian Bug Tracking System Contact [email protected] with problems
