diff options
Diffstat (limited to 'metadata/md5-cache/dev-ml/menhir-20210419-r1')
| -rw-r--r-- | metadata/md5-cache/dev-ml/menhir-20210419-r1 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/dev-ml/menhir-20210419-r1 b/metadata/md5-cache/dev-ml/menhir-20210419-r1 index d8f0838bfd61..694d2924ba0b 100644 --- a/metadata/md5-cache/dev-ml/menhir-20210419-r1 +++ b/metadata/md5-cache/dev-ml/menhir-20210419-r1 @@ -10,6 +10,6 @@ KEYWORDS=amd64 arm arm64 ~ppc ppc64 x86 LICENSE=GPL-2 LGPL-2-with-linking-exception RDEPEND=>=dev-lang/ocaml-4:=[ocamlopt?] dev-ml/dune:= SLOT=0/20210419 -SRC_URI=https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/menhir-20210419.tar.gz +SRC_URI=https://gitlab.inria.fr/fpottier/menhir/-/archive/20210419/menhir-20210419.tar.bz2 _eclasses_=dune c8f275f00adf2380fe0a57d8a249885c multiprocessing b4e253ab22cef7b1085e9b67c7a3b730 -_md5_=8359d5e870ff825606c9f478fab99466 +_md5_=0709b925c4e33c47f1dac317e360483d |