Processed: Re: gmp: Please update symbols for sh3

Debian Bug Tracking System owner at bugs.debian.org
Fri Sep 29 00:39:06 UTC 2017


Processing control commands:

> tags -1 + pending
Bug #851895 [src:gmp] gmp: Please update symbols for sh3
Added tag(s) pending.

-- 
851895: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=851895
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the debian-science-maintainers mailing list