On Tue, Nov 12, 2019 at 01:36:00PM +0100, Ulrike Fischer wrote: > "Some one has to step forward and do the port, or we might just > retire this tool." Fixed that :-) https://github.com/khaledhosny/dviasm/pull/8 Best, Arthur