hastabel-sol-printer/Makefile, branch master Pretty printer for HaStABeL sol.{mod,lvl} files. https://www.segfault.tech/cgit.cgi/hastabel-sol-printer/atom?h=master 2018-06-01T12:36:49Z Starting a Solution Printing tool for HaStABeL... 2018-06-01T12:36:49Z nsensfel SpamShield0@noot-noot.org 2018-06-01T12:36:49Z urn:sha1:d628ee226cb6fc6408794bd9d7f09f86ed37112a