Commit f4a3fa64 authored by MARCHE Claude's avatar MARCHE Claude

new opam url and checksum

parent 4befe168
archive: "https://gforge.inria.fr/frs/download.php/file/34775/why3-0.86.tar.gz" archive: "https://gforge.inria.fr/frs/download.php/file/34795/why3-0.86.1.tar.gz"
checksum: "4521da929108a7329d3945a7cc5bca92" checksum: "428110ba368038498a01f25222b9dc6b"
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