diff options
| author |   Repository QA checks <repo-qa-checks@gentoo.org> | 2017-09-15 19:42:56 +0000 |
|---|---|---|
| committer | Repository QA checks <repo-qa-checks@gentoo.org> | 2017-09-15 19:42:56 +0000 |
| commit | 8bbf3f08a00ddad2ac38f6dad77921adc508fe3b (patch) | |
| tree | 109d4cab6d2e67b16a471bf21d67d777a6945f8f /metadata/md5-cache/dev-util/herdtools7-7.47 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-8bbf3f08a00ddad2ac38f6dad77921adc508fe3b.tar.gz gentoo-8bbf3f08a00ddad2ac38f6dad77921adc508fe3b.tar.bz2 gentoo-8bbf3f08a00ddad2ac38f6dad77921adc508fe3b.zip | |
2017-09-15 19:42:54 UTC
Diffstat (limited to 'metadata/md5-cache/dev-util/herdtools7-7.47')
| -rw-r--r-- | metadata/md5-cache/dev-util/herdtools7-7.47 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metadata/md5-cache/dev-util/herdtools7-7.47 b/metadata/md5-cache/dev-util/herdtools7-7.47 index 6b0658df38dd..728b9cc7d1dc 100644 --- a/metadata/md5-cache/dev-util/herdtools7-7.47 +++ b/metadata/md5-cache/dev-util/herdtools7-7.47 @@ -7,6 +7,6 @@ KEYWORDS=~amd64 ~x86 LICENSE=CeCILL-B RDEPEND=>=dev-lang/ocaml-4.02.0 >=dev-lang/ocaml-4:= SLOT=0 -SRC_URI=https://github.com/herd/herdtools7/archive/7.47.tar.gz +SRC_URI=https://github.com/herd/herdtools7/archive/7.47.tar.gz -> herdtools7-7.47.tar.gz _eclasses_=opam 24b4a2529c1fd12f1304856d6c5a690d -_md5_=85e724765e73bac0208ac91af85ffccd +_md5_=676ce5a4ed692d83908c517610d6cf8a |