archive: "https://gforge.inria.fr/frs/download.php/file/36133/why3-0.87.2.tar.gz"
checksum: "9849179d6f02587a8fa3d1b6afa13479"
