Hello Bill, thanks to your report. ``Thus they should not be in a gap-kernel specific directory.''
This is correct. However, they are architecture depend. This issue is actually related to issue #1023313. I am on my way to merge them. Cheers, Jerome -- Jerome BENOIT | calculus+at-rezozer^dot*net https://qa.debian.org/[email protected] AE28 AE15 710D FF1D 87E5 A762 3F92 19A6 7F36 C68B
OpenPGP_signature.asc
Description: OpenPGP digital signature

