Re: Could we use something better than zip for the dmd package?

[bearophile]

Kagamin:

> Copy-deployment is an advanced format, and I think it's pretty ok 
> for it to be 7z.

I suggest to just offer both zip and 7zip files.

Bye,
bearophile