It is common practice to call distribution files packagename-version.ext. This helps to quickly identify
what the file holds when you find it on your disk months
later. Dino does not follow this practice. I would suggest to rename it to dino-patch-1.4.2.zip or just dino-1.4.2.zip.
Thanks in advance.