retitle 692033 armv71 vs armv7l tags 692033 upstream tags 692033 confirmed thanks
Looks like upstream made a mistake and used "armv71" when it should have been "armv7l". Could someone from the linaro team confirms, the but is indeed upstream. Thanks -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org