diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-01-01 21:06:00 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-01-01 21:06:00 +0000 |
| commit | 129160ec854dca4c3fedb5bcfbcb56930371da0f (patch) | |
| tree | 53bf797418ac5e9b99c41ca0382c87b82421e5de /sci-mathematics/agda | |
| parent | 441d1370330332b7d78f238d2f5e13f7aed5e4e0 (diff) | |
gentoo new year resync : 01.01.2021
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.6.1.2.ebuild | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index c897506b233c..4cf5fa9d30f7 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -1,4 +1,4 @@ AUX 50agda2-gentoo.el 317 BLAKE2B c295509014fc7f254c5c0650b079d3827b182270c6e1aa3d1ddf4f4076d94115f0168d4ad0c96a876be57ead4db26219e594a9afed3aba2ce3cab30e8cf19060 SHA512 55b7438896cb66b4b32b0ba0d9468bb2496df1f63a78f3f4b4e19cc038018605c9cbd7880d2be1b40d6d1509ac6df20304cdc8c2ccde69e89777acfc65a1ce8e DIST Agda-2.6.1.2.tar.gz 2722270 BLAKE2B cf8d4bff2c189d87696c3f03f1b32777e8bd060102f108e0b96aca87e6b3b1cc84077a1e0fe3f9ef42293f683aa855eb60ade8b0863b3f78c96b4ebb63e456a5 SHA512 5ab35d9b581ed918481dd25619739dfa43ea3d86b9522989fe8c83b3aa8749bee81fb12e7cd6b4270c4890a3719386c62b220163324407a1201273d1dfe9d615 -EBUILD agda-2.6.1.2.ebuild 5008 BLAKE2B b675f0523e8d4d4da57a45c86a5bcef173f80736bd1405df505d801622181e33c4ae5e71cdf289f034a8c807f02f34eee34b75e6ab574b5198d10e6f465405bf SHA512 d22d07552bc9c87728f01f3ed67a536c5752cb26016e5606ee4c68ae5e64d71f49b949fba893282a8a7fad060e40a7a2090e0b971480bedcad8752fe593c0130 +EBUILD agda-2.6.1.2.ebuild 5007 BLAKE2B 0a268e3fe699114f1b49cfab6762ccfe4e815d49584aec884a9c2eee597d5b4800ba0a4aa71d6b67d263add0491382ed29a3df29df212de21000882d871efcb3 SHA512 c28cc3514deedc21f439974b9d498a2a3e9d8992190a4e0703862855d10c164f46212dac41681915bcb8f220f192d41d189f1b8ac07129d4932e4536cca1c37b MISC metadata.xml 1743 BLAKE2B 6705852b3c4c52a22788ee01fa511bcb63410f39ae6da3168c6907e39674ace7c6c76c7b39c23d2dee9c2b98c45a264d76b7cf8ae7de8f5ccf1c99a4a843ee0d SHA512 c4b75de7cac6776cb24ef9ac3fac04be88c5d434acfb9e41d9c4b98deb59f02d07e04078907629dd956f72bfbe2d6e3f7cd24f801c1b2a1636c05555442a9851 diff --git a/sci-mathematics/agda/agda-2.6.1.2.ebuild b/sci-mathematics/agda/agda-2.6.1.2.ebuild index ab5ba3366d32..3468e60ca041 100644 --- a/sci-mathematics/agda/agda-2.6.1.2.ebuild +++ b/sci-mathematics/agda/agda-2.6.1.2.ebuild @@ -28,7 +28,7 @@ SRC_URI="https://hackage.haskell.org/package/${MY_P}/${MY_P}.tar.gz" LICENSE="MIT" SLOT="0/${PV}" KEYWORDS="~amd64 ~x86" -IUSE="+cpphs debug emacs enable-cluster-counting +stdlib" +IUSE="cpphs debug emacs enable-cluster-counting +stdlib" RDEPEND=">=dev-haskell/aeson-1.1.2.0:=[profile?] <dev-haskell/aeson-1.6:=[profile?] >=dev-haskell/async-2.2:=[profile?] <dev-haskell/async-2.3:=[profile?] |