diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-03-20 14:27:17 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-03-20 14:27:17 +0000 |
| commit | 5bb9ff1ee56d2b5e75e01a7f066d8b0cec84ec02 (patch) | |
| tree | 66e860a5099bcad013f1cf667255dc372a7c11b3 /sci-mathematics/agda | |
| parent | 7218e1b46bceac05841e90472501742d905fb3fc (diff) | |
gentoo resync : 20.03.2021
Diffstat (limited to 'sci-mathematics/agda')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda/agda-2.6.1.2.ebuild | 5 | ||||
| -rw-r--r-- | sci-mathematics/agda/metadata.xml | 2 |
3 files changed, 7 insertions, 4 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 4cf5fa9d30f7..07238b5db7fa 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 5007 BLAKE2B 0a268e3fe699114f1b49cfab6762ccfe4e815d49584aec884a9c2eee597d5b4800ba0a4aa71d6b67d263add0491382ed29a3df29df212de21000882d871efcb3 SHA512 c28cc3514deedc21f439974b9d498a2a3e9d8992190a4e0703862855d10c164f46212dac41681915bcb8f220f192d41d189f1b8ac07129d4932e4536cca1c37b -MISC metadata.xml 1743 BLAKE2B 6705852b3c4c52a22788ee01fa511bcb63410f39ae6da3168c6907e39674ace7c6c76c7b39c23d2dee9c2b98c45a264d76b7cf8ae7de8f5ccf1c99a4a843ee0d SHA512 c4b75de7cac6776cb24ef9ac3fac04be88c5d434acfb9e41d9c4b98deb59f02d07e04078907629dd956f72bfbe2d6e3f7cd24f801c1b2a1636c05555442a9851 +EBUILD agda-2.6.1.2.ebuild 5118 BLAKE2B 4c45bdc04bda4f1ee36fa691ad89458312e58c04b318b5485635eb442dbae702040bb959589693a518c808aa404d6e75a9d8d31c9c17d4b0c0d610f12c6f4f77 SHA512 10111072552ed9bb046815f1e70181ad05a755f6a496d351b7de93ff9c206caef25cbe3e7241415767c523baebaa99cff6bbf8a177ac109a366a121049c06c8a +MISC metadata.xml 1739 BLAKE2B a11bf97211f5b3c9b6ea8de77d64d2ab1a032be7502eab0eef88fe171424ffec17b6488e2d31d8113bfc630d7d709f7b86ead8bedba492d9747e047914d10763 SHA512 6dd8a8e9b3c0191fe4fe6eee9c620a448e7ba78ea5fabadea2c31a57d140fecad1e049ec2dd73010241204ccbb8d29e5634ee2310eab5c9be0cb8e3ec6b70736 diff --git a/sci-mathematics/agda/agda-2.6.1.2.ebuild b/sci-mathematics/agda/agda-2.6.1.2.ebuild index 3468e60ca041..a2a59db413d6 100644 --- a/sci-mathematics/agda/agda-2.6.1.2.ebuild +++ b/sci-mathematics/agda/agda-2.6.1.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2020 Gentoo Authors +# Copyright 1999-2021 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=7 @@ -81,6 +81,9 @@ src_prepare() { -i "${S}/${MY_PN}.cabal" \ || die "Could not remove agda-mode from ${MY_PN}.cabal" fi + + cabal_chdeps \ + 'if impl(ghc >= 8.6.4) && impl(ghc < 8.10.3)' 'if impl(ghc >= 8.6.4) && impl(ghc < 8.11.0)' } src_configure() { diff --git a/sci-mathematics/agda/metadata.xml b/sci-mathematics/agda/metadata.xml index 5606f0f0585e..ea5eaca193ca 100644 --- a/sci-mathematics/agda/metadata.xml +++ b/sci-mathematics/agda/metadata.xml @@ -13,7 +13,7 @@ </use> <longdescription> Agda is a dependently typed functional programming language: It has - inductive families, which are similar to Haskell's GADTs, but they + inductive families, which are similar to Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the |