DIST picturing-programs-typed-0_p20190518.tar.gz 279543 BLAKE2B 183c2600f38a03a85053ccb91e3ee80b502cdb74543e735995d87b4cba37396a4b828b355418b058a8c598ccfa2cc5e674f5f554706c801dfdb3243d3e5cbac1 SHA512 786c7fb9f4cee8c5372de898f5e6b1ca953fdbe254a795c86e85db8c94eb5ab395d33000dd75d29cfd7320547377e6f3284316e6464ac4b20edfa91c790d065d