chiark / gitweb /
New script to extract a given file from a .deb.