On Thu, Jul 20, 2023 at 05:49:19PM +0200, Matthias Schmidt wrote: > Hi, > > * Stuart Henderson wrote: > > You're missing the version number in DISTNAME. > > Thanks, that ideed did the trick. Nevertheless, the error message is > not very informative and I couldn't have solved that on my own. > > Cheers > > Matthias > > There are so many failure cases, sometimes some fall through the crack.
(the uninformative error message is obviously NOT intentional)
