archive: "https://github.com/cubicle-model-checker/cubicle/releases/download/1.1.2/cubicle-1.1.2.tar.gz"
checksum: "706b3405ea9400b6a1b21dec9c2cb02f"
