diff options
Diffstat (limited to 'metadata/md5-cache/dev-ml/astring-0.8.5')
-rw-r--r-- | metadata/md5-cache/dev-ml/astring-0.8.5 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-ml/astring-0.8.5 b/metadata/md5-cache/dev-ml/astring-0.8.5 index c0fd6231fb40..b17dd7a4dda2 100644 --- a/metadata/md5-cache/dev-ml/astring-0.8.5 +++ b/metadata/md5-cache/dev-ml/astring-0.8.5 @@ -10,5 +10,5 @@ LICENSE=ISC RDEPEND=>=dev-lang/ocaml-4.05.0:= >=dev-lang/ocaml-4:= SLOT=0/0.8.5 SRC_URI=https://erratique.ch/software/astring/releases/astring-0.8.5.tbz -_eclasses_=opam 42c5d48985d3f77484fe405cfc69356d +_eclasses_=opam 2d0e114062b346818f6d0fee5e0df656 _md5_=89a181d411f1708e8091963ac82c1008 |