Handle .tgz archive
Handle .tgz archive

Ignore-this: e0bfe6ced5304f80bb76119a6cb0a5a5

darcs-hash:20100804125025-4d692-6e01c99352c0313132298a58ba186bd47bf5125b

avsm/oasis-db-mirror,avsm/oasis-db-mirror,avsm/oasis-db-mirror,ocaml/oasis-db,ocaml/oasis-db,avsm/oasis-db-mirror,ocaml/oasis-db