DIST icfp2017-minikanren-0_p20200804.tar.gz 1408916 BLAKE2B 77af1917fd529b63d093f7c78e1fdd71953d32f443cd95334dcfa03f9e1d15887664731f71281bc71b53c203ca8891b68da4f2ca910dae153cb9823e0f926ec1 SHA512 5ccb2241ed466d796436fb94b901ace7157e487e4c92a0070fb71dc0f24256dfd76116fc450debfdae4a6cde4edc92770f30fd4eee7231c00dbbdb6a4b7c59ff