Many users want to use pandoc in their ARM based machines. The most popular is Raspberry Pi, but there are many others. It would be very useful for us to have support for ARM architectures (armv8, armv7l/armv7hl, etc.).