diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-01-29 18:57:21 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-29 18:57:21 +0000 |
| commit | 8455eae17683fbd2c785ca4b8443581622f388c7 (patch) | |
| tree | 51bb7aac8b41b8f6e692f9e5b4e65001315b43fd /dev-lang | |
| parent | b2f1788f6f0365b76f55f257b2d170c1e68a8640 (diff) | |
gentoo auto-resync : 29:01:2024 - 18:57:21
Diffstat (limited to 'dev-lang')
| -rw-r--r-- | dev-lang/Manifest.gz | bin | 21652 -> 21652 bytes | |||
| -rw-r--r-- | dev-lang/dafny/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/dafny/dafny-4.4.0-r1.ebuild | 4 | ||||
| -rw-r--r-- | dev-lang/nelua/Manifest | 2 | ||||
| -rw-r--r-- | dev-lang/nelua/nelua-99999999.ebuild (renamed from dev-lang/nelua/nelua-9999.ebuild) | 0 |
5 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/Manifest.gz b/dev-lang/Manifest.gz Binary files differindex 91c7b6ed7a19..14c4a16f5a53 100644 --- a/dev-lang/Manifest.gz +++ b/dev-lang/Manifest.gz diff --git a/dev-lang/dafny/Manifest b/dev-lang/dafny/Manifest index e8e4e4b4a3d7..b183cfcdc2bf 100644 --- a/dev-lang/dafny/Manifest +++ b/dev-lang/dafny/Manifest @@ -373,5 +373,5 @@ DIST xunit.runner.visualstudio.2.4.3.nupkg 809588 BLAKE2B ce18ac895657d1efa9752e DIST xunit.runner.visualstudio.2.5.1.nupkg 348549 BLAKE2B 530ffc6b699a1589ad6a7fb5aa826d7238b63ea8dcd13ce5705a3d29a0ba70edeac2d9950cd1a00a13a779add761e4e14335689051a43b4cd662a330734e4df7 SHA512 0cc7887e7c7c3315db31aab79df236db9b5542e0234c27543dd5b11cf917674a8fdebc384e7331663b08d586fcf20628479a20ad7edbed4e61667903e812c6f0 DIST xunit.skippablefact.1.4.8.nupkg 44542 BLAKE2B 3c9b09d5196e8901770099b2e5078d9373e8ebc2da058a9071707d6fee56eab7c876578734f3be5b088db6ae83c8ad81a3aadfcab38e1fd2b28bd25601fe5463 SHA512 a2c680223bda4f9bfdbd751c8d6a5319e0a4611533272860ca0a396b26c473a13065301a5d8973074ea2bb5119caaeec5a67d547a96ae5d762dc09f337f51ad1 EBUILD dafny-4.3.0-r1.ebuild 19287 BLAKE2B 3d9e22094a7fc2f6ec8117760a1d009cf338f42c2a81becdffcbb17a828207473a11e7cb42d4e5e8013629ef77473b691240bb9cc06a76b869a3114428189bd7 SHA512 854890a61314c76b55bc823f730979f9d06d4f67abb65012f4ad2d2fbdf826d5845a268a0239f33169c8d6aae34acadbe85877358cb9eaaf0fb796d93c79cc13 -EBUILD dafny-4.4.0-r1.ebuild 18792 BLAKE2B 358087074aaf1b24fd56f202a171baa06bd9b008a79b228b0b2b8d1268cec4c657934dbe1c65aede09d1d9717f60a7512dfe14052f720115fcf8e9c235543ec5 SHA512 3e59ae339b0795b08de1d6eb319ae79717628f1920b8d5c1d64f4760f18f681d2a978b5e6b875c304380d328c72485dcbd2e634ec781b1b531c7033bf1c286da +EBUILD dafny-4.4.0-r1.ebuild 18791 BLAKE2B 82082f5eeadc299a7854a17896199a6feb084b95ca383fa1cf55d402a3a2099e038cb48f8502a5abdbc1f8f31fa985f4c376dc88889c39e5c2743907f4d50d19 SHA512 f50a039842519acd5c93d5f29d563fdbfdf4615344b4b1cfb6493a1a3a54d7dd646c8db49ebaa2541f482156b6660ab72f9315a4d47107fd5bb650acd9ebc472 MISC metadata.xml 1884 BLAKE2B e3a53cfd90a4edf1d9fd9f567ac3c23fd88cc46602cfe6aea31ddc40585ebc89ab82833dcd21c82083671a54454d62f162f45d56d6b0ec9c202148b3d5ea2c6d SHA512 4cffb9c237ed85097ce1496a72f5aa9c5a0f5758402fe66ff745a3b1dbc3f8d9a40fecc9140ee1b9418f09b62794f7e0a47f908e6ba01b370087d4df62bfa46e diff --git a/dev-lang/dafny/dafny-4.4.0-r1.ebuild b/dev-lang/dafny/dafny-4.4.0-r1.ebuild index 617b0a373ba8..2fd7b19b0f00 100644 --- a/dev-lang/dafny/dafny-4.4.0-r1.ebuild +++ b/dev-lang/dafny/dafny-4.4.0-r1.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2023 Gentoo Authors +# Copyright 1999-2024 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 @@ -375,7 +375,7 @@ else SRC_URI="https://github.com/dafny-lang/${PN}/archive/v${PV}.tar.gz -> ${P}.tar.gz" - KEYWORDS="~amd64" + KEYWORDS="amd64" fi SRC_URI+=" diff --git a/dev-lang/nelua/Manifest b/dev-lang/nelua/Manifest index 268ac0f188c3..3af43c75b614 100644 --- a/dev-lang/nelua/Manifest +++ b/dev-lang/nelua/Manifest @@ -1,4 +1,4 @@ DIST nelua-20240113.tar.gz 885879 BLAKE2B 9b2c7bbbcd626d153e879459c4ffc9b4a1673a71342c584d1e482d6eee5c0286833d17f773751df9326e73e57167f26827fb5de8ec822d4df77c59fbf076c91a SHA512 e81bd8ff73bd0b3d458353d64a12aec833717ff18e7a3360b6a16edc3900edc078d308ce464b67fdb3c2b2d16a06da4227e82d1f6ef74204a743f466dc85feb9 EBUILD nelua-20240113.ebuild 821 BLAKE2B 03d2483fee17d31d5596c6b3b4ec13dee4745a318c6eb18e16dd7d2ec528816a74ab2c3e58ab8c2c8fc08c07b377d426f087ee4da6efea69fde1956e00de3348 SHA512 207beddd89e2c62396c916a72ed7e9fe2243ebfa75924fcf32b2229d10d7ce7dc1c5a1fe9be2c93d87c8a1e5b8105f3b9e39c9e89d0044c47187a23e764d4681 -EBUILD nelua-9999.ebuild 821 BLAKE2B 03d2483fee17d31d5596c6b3b4ec13dee4745a318c6eb18e16dd7d2ec528816a74ab2c3e58ab8c2c8fc08c07b377d426f087ee4da6efea69fde1956e00de3348 SHA512 207beddd89e2c62396c916a72ed7e9fe2243ebfa75924fcf32b2229d10d7ce7dc1c5a1fe9be2c93d87c8a1e5b8105f3b9e39c9e89d0044c47187a23e764d4681 +EBUILD nelua-99999999.ebuild 821 BLAKE2B 03d2483fee17d31d5596c6b3b4ec13dee4745a318c6eb18e16dd7d2ec528816a74ab2c3e58ab8c2c8fc08c07b377d426f087ee4da6efea69fde1956e00de3348 SHA512 207beddd89e2c62396c916a72ed7e9fe2243ebfa75924fcf32b2229d10d7ce7dc1c5a1fe9be2c93d87c8a1e5b8105f3b9e39c9e89d0044c47187a23e764d4681 MISC metadata.xml 655 BLAKE2B d1bda5738a8913f7a83cd3929c26a6afc7d43338a6895f3e671f4789c9cedae26f734373c82e5d42f7712f126b96491c7285fd34b1cd77b131772f09be2da747 SHA512 e4358a5f9df0eff74b79c1a11fe91903f04fc547fed2c62c800728a906314a690b93e2ac39f1f5beb0ce0690005b4e9edc1130530dd0d69bf9a369b68dcfc051 diff --git a/dev-lang/nelua/nelua-9999.ebuild b/dev-lang/nelua/nelua-99999999.ebuild index 1c9a4a93c841..1c9a4a93c841 100644 --- a/dev-lang/nelua/nelua-9999.ebuild +++ b/dev-lang/nelua/nelua-99999999.ebuild |