Commit 98ea0de0 authored by MARCHE Claude's avatar MARCHE Claude

fix wrong url/checksum

parent 494e3034
archive: "https://gforge.inria.fr/frs/download.php/file/33976/why3-0.85.tar.gz"
checksum: "f6d36c0dc43fe75af148d92d76b15937"
archive: "https://gforge.inria.fr/frs/download.php/file/<fixme>/why3-<fixme>.tar.gz"
checksum: "<fixme>"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment