url 105 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1
2
archive: "https://gforge.inria.fr/frs/download.php/file/<fixme>/why3-<fixme>.tar.gz"
checksum: "<fixme>"