[Pkg-electronics-devel] Processed: tidy up

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 1131644 iverilog
Bug #1131644 {Done: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>} [src:covered] covered: FTBFS: /usr/bin/x86_64-linux-gnu-ld.bfd: cannot find -lveriuser: No such file or directory
Bug reassigned from package 'src:covered' to 'iverilog'.
No longer marked as found in versions covered/0.7.10-7.
No longer marked as fixed in versions iverilog/13.0-2.
> affects 1131644 src:covered
Bug #1131644 {Done: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>} [iverilog] covered: FTBFS: /usr/bin/x86_64-linux-gnu-ld.bfd: cannot find -lveriuser: No such file or directory
Added indication that 1131644 affects src:covered
> fixed 1131644 13.0-2
Bug #1131644 {Done: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>} [iverilog] covered: FTBFS: /usr/bin/x86_64-linux-gnu-ld.bfd: cannot find -lveriuser: No such file or directory
Marked as fixed in versions iverilog/13.0-2.
> found 1131644 13.0-1
Bug #1131644 {Done: أحمد المحمودي (Ahmed El-Mahmoudy) <aelmahmoudy at users.sourceforge.net>} [iverilog] covered: FTBFS: /usr/bin/x86_64-linux-gnu-ld.bfd: cannot find -lveriuser: No such file or directory
Marked as found in versions iverilog/13.0-1.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
1131644: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1131644
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems