Am Mittwoch, 6. Juli 2016 11:51:07 UTC+2 schrieb Jurij Smrke:Just reporting that I've succesfully installed pandoc 1.12.4.2 from the repos onto my raspberry pi model b, running debian jessie. It has 512mb of RAM.Yes -- that's easy. But we all want 1.17.0.3. :-)