diff options
| author |   Repository mirror & CI <repomirrorci@gentoo.org> | 2023-02-19 18:19:05 +0000 |
|---|---|---|
| committer | Repository mirror & CI <repomirrorci@gentoo.org> | 2023-02-19 18:19:05 +0000 |
| commit | 113238fc30d79c2a1efe1f206514416eee35a79a (patch) | |
| tree | e46ba7e5af3d5b71d6bb08a10f71b88ab1aa9ff9 /metadata/md5-cache/dev-lang/maude-3.1-r1 | |
| parent | Merge updates from master (diff) | |
| download | gentoo-113238fc30d79c2a1efe1f206514416eee35a79a.tar.gz gentoo-113238fc30d79c2a1efe1f206514416eee35a79a.tar.bz2 gentoo-113238fc30d79c2a1efe1f206514416eee35a79a.zip | |
2023-02-19 18:19:04 UTC
Diffstat (limited to 'metadata/md5-cache/dev-lang/maude-3.1-r1')
| -rw-r--r-- | metadata/md5-cache/dev-lang/maude-3.1-r1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metadata/md5-cache/dev-lang/maude-3.1-r1 b/metadata/md5-cache/dev-lang/maude-3.1-r1 index fdb80794703b..25efeb9c8cfd 100644 --- a/metadata/md5-cache/dev-lang/maude-3.1-r1 +++ b/metadata/md5-cache/dev-lang/maude-3.1-r1 @@ -11,5 +11,5 @@ LICENSE=GPL-2 RDEPEND=dev-libs/gmp:=[cxx(+)] dev-libs/libtecla sci-libs/buddy SLOT=0 SRC_URI=https://maude.cs.illinois.edu/w/images/d/d3/Maude-3.1.tar.gz https://maude.cs.illinois.edu/w/images/0/0a/Full-Maude-3.1.zip doc? ( https://maude.cs.illinois.edu/w/images/6/62/Maude-3.1-manual.pdf ) examples? ( https://maude.cs.illinois.edu/w/images/4/4f/Maude-3.1-manual-book-examples.zip ) -_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs 9a610728b9bcca1919234cceb35a1027 multilib 5ca4e49abed8e3a2f7b56920eadee157 libtool 241a8f577b9781a42a7421e53448a44e autotools 6dcd6b6a486e79928e1243ff9ba41fcc +_eclasses_=gnuconfig b6b3e92f8b8c996400074b5f61a59256 toolchain-funcs cf009a3ed4e5bef503e7a9f215791a78 multilib 5ca4e49abed8e3a2f7b56920eadee157 libtool 241a8f577b9781a42a7421e53448a44e autotools 6dcd6b6a486e79928e1243ff9ba41fcc _md5_=874ffd1cd466df04152e98b9d2ee7f12 |