specmicp/docker/debian-stretch

specmicp_bin