summaryrefslogtreecommitdiff
path: root/dev-lang/idris2
diff options
context:
space:
mode:
authorV3n3RiX <venerix@koprulu.sector>2023-02-14 07:56:51 +0000
committerV3n3RiX <venerix@koprulu.sector>2023-02-14 07:56:51 +0000
commit2e4747a36a51fd58c21f3f00db959709e83fe08b (patch)
tree55b3fa7393c53b4b2fa2bb96fdae27d9d4444a97 /dev-lang/idris2
parent5c1e419582680cfb61e0ae777c693704f3a731e1 (diff)
gentoo auto-resync : 14:02:2023 - 07:56:50
Diffstat (limited to 'dev-lang/idris2')
-rw-r--r--dev-lang/idris2/Manifest6
-rw-r--r--dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild2
-rw-r--r--dev-lang/idris2/idris2-0.5.1_p20220920.ebuild2
-rw-r--r--dev-lang/idris2/idris2-0.6.0.ebuild4
4 files changed, 7 insertions, 7 deletions
diff --git a/dev-lang/idris2/Manifest b/dev-lang/idris2/Manifest
index fb6bfa7ee969..1ee8c361e30a 100644
--- a/dev-lang/idris2/Manifest
+++ b/dev-lang/idris2/Manifest
@@ -1,7 +1,7 @@
DIST idris2-0.5.1_p20220224.tar.gz 6299027 BLAKE2B 65654d76dc4a593826904321d78246da877ae71da95d56b4ee266de9676706e899bf9a1ae4293dde077a3ea50a860501fa4c3b8065a5b8d759d785954ea7b822 SHA512 6bea9e5ce01c64a893c39e7aacceef5d4f6bfd499f0b4ca17681bea6ab11620e0058faba8bdd84eecacf3f8d1cfe2594ca830aff89f2cfde2208fdc092fc37f1
DIST idris2-0.5.1_p20220920.tar.gz 6410473 BLAKE2B 91af285cf02cb6adcad330050a4d201116f8dcfdac0021b8b9110789e7f461a54ac6ca1f1ee421a38be0ff83a780e64e5c02ee0a40fe7bc5d361b6aa551b30ad SHA512 5c006b8ecb74bd5261bcc1db94cbcf8d818b7838907916befb0c20681febe52963197b0406aef466858f37c75f3a1028e05d772dc323d172ad7a79781088304d
DIST idris2-0.6.0.tar.gz 6706586 BLAKE2B 79c16120b5845047d510a6f75729f1999f5b468e27189bd806f772d07e1789622ca0182933d0ec0833f5c3af05e00f13edda2f595aa35b5d0fcb2301c5c25407 SHA512 342ab3d9e38c8150c7eec997e9cbadd4aa12ccb18994b6b008f165deb20fd5fc79f4944387316cbba03e56fa1545b0afbb277988449af5b21d20f81207f6f367
-EBUILD idris2-0.5.1_p20220224-r1.ebuild 2688 BLAKE2B 9c4bd0d4421a3bb7c42c044f9d862c1d05b9be62f780b3fea8adad08e61674cff6f94cc0425d79739de2f71c14f9da5f724ff30ad89599565e366294139c7f67 SHA512 055f9acbcdb68fe099a0e257a3ef9816148ab5782acdc7b805d6075a5de3d3ace1278c609208b39aaf06c34e559acdd19db90825092b57239e6ebda3ff01a916
-EBUILD idris2-0.5.1_p20220920.ebuild 2688 BLAKE2B 46facaf74566b4604d58b17756992840fa607f57984d2b9308851c4947f71cf79fcf451030facd3ce353c10f11bfc6c74dd1fd543e822011519352f2d74fb910 SHA512 e2bc94ba0e005ce24f82a11597b9334c32db6c39d18f50e4f90577dd527eb854e86b065fe20080c2b171daf972268b2827a88b787707968e75f1be573e035f61
-EBUILD idris2-0.6.0.ebuild 2479 BLAKE2B adb7f529f5eea91d9c5cb016f07e1b05e8a7c2f06a07da141312e954f1a22b0c7787f0ef61eae5f4d2df0552bc877268dca6786a46f0e46b7669f00b3a801b6f SHA512 d159aabe43aa2338f51f71bd96368ac4bbe5215e631ab7262d3939192212e9c1ffe01dcf948a9bb61bedad131d6f2b64be1ad6eab3ab6414f41e965f4a07f8f1
+EBUILD idris2-0.5.1_p20220224-r1.ebuild 2688 BLAKE2B 3209dd2e89adb63ac36be4a8d8716d9d5aec89b93ccc37f77c43dc14f98ce9a0405cd45f1cb4329e20713ad694a34299dcdef7c2ab2ca422b830aee33b2830ef SHA512 aa9b0c8056c22731bc3991b0af019a8fdce604e4b3eea442334c5119b5b7653b71ec3899fd0742ea755d6a72808675cca5f6a2b193975947785eefca894c1da9
+EBUILD idris2-0.5.1_p20220920.ebuild 2688 BLAKE2B 6abfdc4fc425e435ce8dd52da48ccd109ac1e6ee82fd895180b4f2c51fd87dafb67870ad9d4dd1e085d8c267281145735a4e5501a8c71e941bb3f627bb5e1ec6 SHA512 a70bf145f8e47b7e26a23b3940662861028d947efa9f471553255bb9640598380b3e42a81142be9a46e88d970895325554aa311d5f0b73df3b1a59be297b07b3
+EBUILD idris2-0.6.0.ebuild 2479 BLAKE2B 731bf16a7c12e837be7ee2a4ffed529f914758abca0ba2121433eabcde588213baae06e5744c7721f492ba572dcc29358a9b1999d70ffb0857ed180b86526553 SHA512 4fbd11cafcab94768332e98336d159b65f26cc564a5d2180d5ee61c6f0c2d2256a220cb3c361ee7d470d16ccd02b41e17a2490b8e8be542fb7859496cc2fd955
MISC metadata.xml 1255 BLAKE2B d4d6a952913f404faab8d2383eab1ece0de7bc20486c3126149f7644b3d3445b6b87948f14b43b812dc748824d26da610914969a906735d6c13b9cdbcc0e6ba1 SHA512 df684d9f038601e7d8728a226743f79c7523bb462ed231fb60f33cc214c267dd1981da3f7c39d6cfc153a389330e779cfd580266677e003f8787366545c1f0fa
diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
index 580ecc1369ce..184f92dc1381 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild
@@ -31,7 +31,7 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
BDEPEND="
- doc? ( dev-python/sphinx_rtd_theme )
+ doc? ( dev-python/sphinx-rtd-theme )
test-full? (
dev-scheme/chez[threads]
dev-scheme/racket[threads]
diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
index 7b8da7f699ec..cf40b383b895 100644
--- a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
+++ b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild
@@ -31,7 +31,7 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
BDEPEND="
- doc? ( dev-python/sphinx_rtd_theme )
+ doc? ( dev-python/sphinx-rtd-theme )
test-full? (
dev-scheme/chez[threads]
dev-scheme/racket[threads]
diff --git a/dev-lang/idris2/idris2-0.6.0.ebuild b/dev-lang/idris2/idris2-0.6.0.ebuild
index 806cbe1cac3c..50bb3b96c586 100644
--- a/dev-lang/idris2/idris2-0.6.0.ebuild
+++ b/dev-lang/idris2/idris2-0.6.0.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2022 Gentoo Authors
+# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=8
@@ -30,7 +30,7 @@ RDEPEND="
"
DEPEND="${RDEPEND}"
BDEPEND="
- doc? ( dev-python/sphinx_rtd_theme )
+ doc? ( dev-python/sphinx-rtd-theme )
test-full? (
dev-scheme/chez[threads]
dev-scheme/racket[threads]