diff options
Diffstat (limited to 'metadata/md5-cache/dev-ml/menhir-20190924')
-rw-r--r-- | metadata/md5-cache/dev-ml/menhir-20190924 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/dev-ml/menhir-20190924 b/metadata/md5-cache/dev-ml/menhir-20190924 index da6b015c86a2..b9d617a955d1 100644 --- a/metadata/md5-cache/dev-ml/menhir-20190924 +++ b/metadata/md5-cache/dev-ml/menhir-20190924 @@ -9,6 +9,6 @@ KEYWORDS=amd64 arm arm64 ~ppc ppc64 x86 LICENSE=GPL-2 LGPL-2-with-linking-exception RDEPEND=>=dev-lang/ocaml-4.02:=[ocamlopt?] dev-lang/ocaml:=[ocamlopt?] SLOT=0/20190924 -SRC_URI=https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.gz +SRC_URI=https://gitlab.inria.fr/fpottier/menhir/-/archive/20190924/menhir-20190924.tar.bz2 _eclasses_=findlib d8fa93cf137156660d0b72144b1e31d9 -_md5_=6566b9ab9d43911dc405abfeb2d8da18 +_md5_=a545b9d96e9670404da50b053dd83936 |