(I didn't know until about a month ago that .deb files were just 'ar' archives -- where is this documented?) See deb(5). -- To UNSUBSCRIBE, email to debian-user-request@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org