[PD] .dek.txt (was: Re: [PD-announce] deken v0.3.0: new fileformat for library packages)

[JP Cimalando]

On Fri, 9 Mar 2018 12:43:54 +0100
IOhannes m zmölnig <zmoelnig at iem.at> wrote:

> no, you still need to manually upload the file.
> also, i forgot to mention that the object-list files are now supposed
> to have the extension ".dek.txt" (rather than "-objects.txt").
> 
The txt file is to upload by web interface, I have realized that since
posting. I used the legacy naming and it still accepted my package
happily.

Is the precise naming convention supposed to be: name[version].dek.txt ?