diff options
Diffstat (limited to 'metadata/md5-cache/dev-ml/bos-0.1.6')
| -rw-r--r-- | metadata/md5-cache/dev-ml/bos-0.1.6 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-ml/bos-0.1.6 b/metadata/md5-cache/dev-ml/bos-0.1.6 index 91ea3b3dc3d0..c9d49b3656bc 100644 --- a/metadata/md5-cache/dev-ml/bos-0.1.6 +++ b/metadata/md5-cache/dev-ml/bos-0.1.6 @@ -10,4 +10,4 @@ RDEPEND=dev-lang/ocaml:= dev-ml/rresult:= dev-ml/astring:= dev-ml/fpath:= dev-ml RESTRICT=!test? ( test ) SLOT=0/0.1.6 SRC_URI=https://erratique.ch/software/bos/releases/bos-0.1.6.tbz -_md5_=e232982a69a10dd0d5d389c38d2ffc9a +_md5_=80d47b6a3cd32538314c1ab0b8c22411 |