diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-01-08 12:58:45 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-08 12:58:45 +0000 |
| commit | 5cbf14acf23c82626389931f64cfe3ef12a1c29f (patch) | |
| tree | de93b0b9ae374935f2ddf615d19a837b6a6a0822 /dev-lang/maude | |
| parent | 1fbaf1314579f2155166bebd1ddfe6131d400807 (diff) | |
gentoo auto-resync : 08:01:2024 - 12:58:45
Diffstat (limited to 'dev-lang/maude')
| -rw-r--r-- | dev-lang/maude/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/maude/maude-3.1-r1.ebuild | 4 |
2 files changed, 3 insertions, 3 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest index bb5f89dab847..5ac8d05b4001 100644 --- a/dev-lang/maude/Manifest +++ b/dev-lang/maude/Manifest @@ -5,5 +5,5 @@ DIST Full-Maude-3.1.zip 161211 BLAKE2B 2aad284e1f2bc6e701154bd72c6eff1433fd040fd DIST Maude-3.1-manual-book-examples.zip 267629 BLAKE2B cb4c5d067b8b6787a575ec1e00bfdbfb846c787f4c48b207d9609db57c968acdd97f431110103aa16d764e8e1b59f0eb1f66df53d3b78562cf430f3a57b5541c SHA512 69980145a41afd49e4a2c77a596d7fa91ed8e5acca049d799cdb0f265d95f1c3215776edb3a3ae94d84309c94735c7a187f681c2a2d3aa2fe0a7563634d34efa DIST Maude-3.1-manual.pdf 2916925 BLAKE2B da7f0d5bef8bff2e1f1afecd4bc7d062992d6a27e5437f488a50d35bce144a3ddb029bed3271d9696a36e6ab13b5a4f815e1a257a81005eb65d2927526630a29 SHA512 8b4b9bff8d266fad7b42b37c79cd72e4b642483298631f35a52b8bd669f318654382232b0da62485dc198789215fd5a364b583320789754eac9159d4cc2689ca DIST Maude-3.1.tar.gz 2335693 BLAKE2B 3bc9744d95448e4dfc2f818944ab66dad84b026ad18a4324b25eafc82f6c2c637b81fa73d03da61ee7f3753bb3c650e1838b56c502c85c91e2507a697bcfbbc0 SHA512 34dba3c3b7eed48d0c82c6d5e4dade08bd11dc57b436f04e94842000809b9b6086f8077bccbfac0313e4a4f361b03c3ef3d56e6df6242ae42427dd674566a3bc -EBUILD maude-3.1-r1.ebuild 1486 BLAKE2B a6c90dea75847209a5a97b62ff0810705c14a58adeb81170f9e599eed6751bf8ca9985ab2f62858279f9e79465f7821fe7117d65c55114a64233586584d5d204 SHA512 c69ec284977fb614100fd253480ab2e6f15ed6a3717207a1b8a4b1b33226a6628b96a4062b1050769cfc64ea02d234fbb8b8d3c56f9b7d98bf3cf15c3af28e5f +EBUILD maude-3.1-r1.ebuild 1492 BLAKE2B fd91de1719e03dde8e8f024623a912571b727000d9491796e39143b0ea54d89a5db315be6f973bbf591209081e8e9e2885afb36a81c4506ce1a24f4fb0a6a372 SHA512 80534a9bca2ea7011aa353dfc6145f149c3958bf6a0fb0751f0eb18ee863ce3f552aeff585d860d0d01a55e8434283526103fc690577ffd5b6e33b5e6f0bc6e5 MISC metadata.xml 709 BLAKE2B fa75819761280758c0e5a818029b963994504ba036eb57144224b01b51565072fce2f0879fd2ba035b3d98c6f552bed2f510acacf6d70844c814d4cdc43bb7b9 SHA512 8b0b153301327bb1fa1f9ae895c1451135e2ebac891320532c3937bee0d59cfd5a5cfec18febd23cc9d2b1e5a9d12c98ca1c8276ec143482644e857c39f70143 diff --git a/dev-lang/maude/maude-3.1-r1.ebuild b/dev-lang/maude/maude-3.1-r1.ebuild index 1eb40d341405..80969a45a542 100644 --- a/dev-lang/maude/maude-3.1-r1.ebuild +++ b/dev-lang/maude/maude-3.1-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2021 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -27,7 +27,7 @@ RDEPEND=" DEPEND="${RDEPEND}" BDEPEND="app-arch/unzip sys-devel/bison - sys-devel/flex" + app-alternatives/lex" PATCHES=( "${FILESDIR}/${PN}-2.6-search-datadir.patch" |