On 5 August 2017 at 19:05:02, Ximin Luo (infinity0@debian.org) wrote: > > - Just released cmdliner 1.0.1 contains a topkg free build and > > installation procedure with proper support for DESTDIR and > > bytecode only architectures. There was a small glitch which left the Makefile out of the tarball. The just released 1.0.2 has the Makefile. Best, Daniel