e0f0ba6b80
Upstream re-rolled the distfile with same name, and changed the name of the extracted directory as well. This requires the use of DIST_SUBDIR to avoid fetch clash with previous. Also revbump because it's not clear if those were the only changes between distfiles. PR: 200930 Submitted by: maintainer
2 lines
155 B
Text
2 lines
155 B
Text
SHA256 (opam-01/opam-full-1.2.2.tar.gz) = 15e617179251041f4bf3910257bbb8398db987d863dd3cfc288bdd958de58f00
|
|
SIZE (opam-01/opam-full-1.2.2.tar.gz) = 1535335
|