Created
August 8, 2021 18:02
-
-
Save GrayJack/53b425f2a5010ea4a3d896c0327f6acb to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Preparing to install GHC (tinfo6) to an isolated location. | |
| This will not interfere with any system-level installation. | |
| Downloaded ghc-tinfo6-8.10.1. | |
| Installed GHC. | |
| Error: While constructing the build plan, the following exceptions were encountered: | |
| In the dependencies for Agda-2.6.1.2: | |
| aeson must match >=1.1.2.0 && <1.6, but the stack configuration has no specified version (latest matching version is 1.5.6.0) | |
| alex must match >=3.1.0 && <3.2.0 || ==3.2.1 || >=3.2.3, but the stack configuration has no specified version (latest matching version is 3.2.6) | |
| async must match >=2.2 && <2.3, but the stack configuration has no specified version (latest matching version is 2.2.3) | |
| blaze-html must match >=0.8 && <0.10, but the stack configuration has no specified version (latest matching version is 0.9.1.2) | |
| boxes must match >=0.1.3 && <0.2, but the stack configuration has no specified version (latest matching version is 0.1.5) | |
| edit-distance must match >=0.2.1.2 && <0.3, but the stack configuration has no specified version (latest matching version is 0.2.2.1) | |
| gitrev must match >=1.3.1 && <2.0, but the stack configuration has no specified version (latest matching version is 1.3.1) | |
| happy must match >=1.19.4, but the stack configuration has no specified version (latest matching version is 1.20.0) | |
| hashable must match >=1.2.1.0 && <1.4, but the stack configuration has no specified version (latest matching version is 1.3.2.0) | |
| hashtables must match >=1.2.0.2 && <1.3, but the stack configuration has no specified version (latest matching version is 1.2.4.1) | |
| ieee754 must match >=0.7.8 && <0.9, but the stack configuration has no specified version (latest matching version is 0.8.0) | |
| murmur-hash must match >=0.1 && <0.2, but the stack configuration has no specified version (latest matching version is 0.1.0.9) | |
| regex-tdfa must match >=1.3.1.0 && <1.4, but the stack configuration has no specified version (latest matching version is 1.3.1.1) | |
| split must match >=0.2.0.0 && <0.2.4, but the stack configuration has no specified version (latest matching version is 0.2.3.4) | |
| strict must match >=0.3.2 && <0.5, but the stack configuration has no specified version (latest matching version is 0.4.0.1) | |
| unordered-containers must match >=0.2.5.0 && <0.3, but the stack configuration has no specified version (latest matching version is 0.2.14.0) | |
| uri-encode must match >=1.5.0.4 && <1.6, but the stack configuration has no specified version (latest matching version is 1.5.0.7) | |
| zlib must match ==0.6.*, but the stack configuration has no specified version (latest matching version is 0.6.2.3) | |
| needed due to agda-language-server-0.0.1.0 -> Agda-2.6.1.2 | |
| In the dependencies for agda-language-server-0.0.1.0: | |
| aeson needed, but the stack configuration has no specified version (latest matching version is 1.5.6.0) | |
| network needed, but the stack configuration has no specified version (latest matching version is 3.1.2.2) | |
| network-simple needed, but the stack configuration has no specified version (latest matching version is 0.4.5) | |
| strict needed, but the stack configuration has no specified version (latest matching version is 0.4.0.1) | |
| needed since agda-language-server is a build target. | |
| In the dependencies for constraints-extras-0.3.0.2: | |
| aeson needed, but the stack configuration has no specified version (latest matching version is 1.5.6.0) | |
| constraints must match >=0.9 && <0.13, but the stack configuration has no specified version (latest matching version is 0.12) | |
| needed due to agda-language-server-0.0.1.0 -> constraints-extras-0.3.0.2 | |
| In the dependencies for dependent-sum-0.7.1.0: | |
| some must match ==1.0.1.*, but the stack configuration has no specified version (latest matching version is 1.0.1) | |
| needed due to agda-language-server-0.0.1.0 -> dependent-sum-0.7.1.0 | |
| In the dependencies for dependent-sum-template-0.1.0.3: | |
| th-extras must match >=0.0.0.2, but the stack configuration has no specified version (latest matching version is 0.0.0.4) | |
| needed due to agda-language-server-0.0.1.0 -> dependent-sum-template-0.1.0.3 | |
| In the dependencies for equivalence-0.3.5: | |
| fail needed, but the stack configuration has no specified version (latest matching version is 4.9.0.0) | |
| transformers-compat must match >=0.3, but the stack configuration has no specified version (latest matching version is 0.7) | |
| needed due to agda-language-server-0.0.1.0 -> equivalence-0.3.5 | |
| In the dependencies for lsp-1.0.0.1: | |
| aeson must match >=1.0.0.0, but the stack configuration has no specified version (latest matching version is 1.5.6.0) | |
| async needed, but the stack configuration has no specified version (latest matching version is 2.2.3) | |
| attoparsec needed, but the stack configuration has no specified version (latest matching version is 0.14.1) | |
| data-default needed, but the stack configuration has no specified version (latest matching version is 0.7.1.1) | |
| hashable needed, but the stack configuration has no specified version (latest matching version is 1.3.2.0) | |
| hslogger needed, but the stack configuration has no specified version (latest matching version is 1.3.1.0) | |
| lens must match >=4.15.2, but the stack configuration has no specified version (latest matching version is 5.0.1) | |
| network-uri needed, but the stack configuration has no specified version (latest matching version is 2.6.4.1) | |
| random needed, but the stack configuration has no specified version (latest matching version is 1.2.0) | |
| scientific needed, but the stack configuration has no specified version (latest matching version is 0.3.7.0) | |
| sorted-list must match ==0.2.1.*, but the stack configuration has no specified version (latest matching version is 0.2.1.0) | |
| unliftio-core needed, but the stack configuration has no specified version (latest matching version is 0.2.0.1) | |
| unordered-containers needed, but the stack configuration has no specified version (latest matching version is 0.2.14.0) | |
| uuid must match >=1.3, but the stack configuration has no specified version (latest matching version is 1.3.15) | |
| needed due to agda-language-server-0.0.1.0 -> lsp-1.0.0.1 | |
| In the dependencies for lsp-types-1.0.0.1: | |
| aeson must match >=1.2.2.0, but the stack configuration has no specified version (latest matching version is 1.5.6.0) | |
| data-default needed, but the stack configuration has no specified version (latest matching version is 0.7.1.1) | |
| hashable needed, but the stack configuration has no specified version (latest matching version is 1.3.2.0) | |
| hslogger needed, but the stack configuration has no specified version (latest matching version is 1.3.1.0) | |
| lens must match >=4.15.2, but the stack configuration has no specified version (latest matching version is 5.0.1) | |
| network-uri needed, but the stack configuration has no specified version (latest matching version is 2.6.4.1) | |
| rope-utf16-splay must match >=0.3.1.0, but the stack configuration has no specified version (latest matching version is 0.3.2.0) | |
| scientific needed, but the stack configuration has no specified version (latest matching version is 0.3.7.0) | |
| some needed, but the stack configuration has no specified version (latest matching version is 1.0.3) | |
| temporary needed, but the stack configuration has no specified version (latest matching version is 1.3) | |
| unordered-containers needed, but the stack configuration has no specified version (latest matching version is 0.2.14.0) | |
| needed due to agda-language-server-0.0.1.0 -> lsp-types-1.0.0.1 | |
| Some different approaches to resolving this: | |
| * Recommended action: try adding the following to your extra-deps in /home/grayjack/Source/agda-language-server/stack.yaml: | |
| - aeson-1.5.6.0@sha256:d3e76872f8634c9cd33eb128d6c4dd1bf0cc8d71d1f32055d774490d5f6dedf8,6786 | |
| - alex-3.2.6@sha256:7e15b8ba44f4e858d7e302ae234c05ca10a120c401f0db5ea5bc6135347debca,4156 | |
| - async-2.2.3@sha256:0cbefb8247308b38e397e675f832b9bd5317ff1872001d5358f213654423c55b,2920 | |
| - attoparsec-0.14.1@sha256:5a11f0339fb7e65429683e8a36d44adca3fd8cd40704525969c691e359c48fa0,5966 | |
| - blaze-html-0.9.1.2@sha256:49db3eb70fa93fb572f3a9233b542b59e7f766a2b95c92d01d95a596c7727473,3048 | |
| - boxes-0.1.5@sha256:fa1b39569777bc4c1ccb1b847808d0a637b5a118c26b8f63f54f348eda03eebe,1191 | |
| - constraints-0.12@sha256:71c7999d7fa01d8941f08d37d4c107c6b1bcbd0306e234157557b9b096b7f1be,2217 | |
| - data-default-0.7.1.1@sha256:2804e8d14f521a1edee88b68b66347448e7f3b685868290fdc55930e4471f5a9,645 | |
| - edit-distance-0.2.2.1@sha256:4d33a49cd383d50af090f1b888642d10116e43809f9da6023d9fc6f67d2656ee,2351 | |
| - fail-4.9.0.0@sha256:35d1ee29364447c1b7d616bb1ee31f162b73e85fea91d7ca6441cf901398f572,1051 | |
| - gitrev-1.3.1@sha256:1d0b2d34bee761865fc22bd022f32890e1b561dfac62a1f31a4fe6220a0d1e58,1186 | |
| - happy-1.20.0@sha256:f99e612b29d68d784d7e193943a13466f0923de69452a2585081491efed0436b,5709 | |
| - hashable-1.3.2.0@sha256:02bc544e3546713b1d76a3c5bfc836a5fd19a5b4348ef4a52bb973d0c35a4b89,3992 | |
| - hashtables-1.2.4.1@sha256:09267f75fed6375617cfa049e28f8812b776e5c4ad811794efe150db314dcb4f,9821 | |
| - hslogger-1.3.1.0@sha256:b88742d6b3e4c056d5787fc537a676b852431a410ccf658b034089ccd750ad12,2899 | |
| - ieee754-0.8.0@sha256:ecabc40b844b76e95ca844cba42a9c335516b82971047e90f0e8cf95763d436a,1103 | |
| - lens-5.0.1@sha256:c97fbe43ae6fe21d73f1a023d776bb05cd492f0afd1b3c3ff43e246af91f6852,15544 | |
| - murmur-hash-0.1.0.9@sha256:06913f704dc7da0e81da28d1d4f92b31bbd8e08e8f026fef98a9d7fbd8bdda17,971 | |
| - network-3.1.2.2@sha256:218e2968e03d99c40f32a2ef7cc41a848969096ba1c780ff2e57997a00246b06,4781 | |
| - network-simple-0.4.5@sha256:22ff42a4e6b25a0dba498c558ff82e04e2cdcac7932082b620fea406fa32de8d,1320 | |
| - network-uri-2.6.4.1@sha256:a4765164ed0a2d1668446eb2e03460ce98645fbf083598c690846af79b7de10d,2936 | |
| - random-1.2.0@sha256:195506fedaa7c31c1fa2a747e9b49b4a5d1f0b09dd8f1291f23a771656faeec3,6097 | |
| - regex-tdfa-1.3.1.1@sha256:ce85851b812355a252d8b1edc0fddab6c4634f1f294b7c748fe6673411653fde,6344 | |
| - rope-utf16-splay-0.3.2.0@sha256:ed28b55b4fe3788515e619d700b79983653426e97e146793374ea1f3d2af2393,2029 | |
| - scientific-0.3.7.0@sha256:0f188a7b92780d81a2e3cf1195a3a24cfe3e7c43d0e9e0f2101a465803d68076,4773 | |
| - some-1.0.1@sha256:26e5bab7276f48b25ea8660d3fd1166c0f20fd497dac879a40f408e23211f93e,2055 | |
| - sorted-list-0.2.1.0@sha256:a1b67c647ec22b81fff5e3a5c43c397cd4011d6d0c13562855d17c13c5962d62,2070 | |
| - split-0.2.3.4@sha256:048c75891d63a03828f97667214aaaf0e67b7dcbfec297753e39939ffda6f51a,2647 | |
| - strict-0.4.0.1@sha256:50187e750751a258efea12ef2979e16a014a953c15bf4c2fca2f1168a44a5a12,4156 | |
| - temporary-1.3@sha256:3a66c136f700dbf42f3c5000ca93e80b26dead51e54322c83272b236c1ec8ef1,1485 | |
| - th-extras-0.0.0.4@sha256:2f408c0f427530f36beb19c733a7a57f67b727713f9bb942b64f3b2e0e2932bf,1457 | |
| - transformers-compat-0.7@sha256:c4cc2d01c4e490ba680e9a0b607a1a790137856a6b3af12f8bdc7788a567bcf5,5572 | |
| - unliftio-core-0.2.0.1@sha256:f9abcdd3f3d28e4840563efb7b8760d2de9b5707bcd6f53a87f6a0d77bb5a9f7,1082 | |
| - unordered-containers-0.2.14.0@sha256:2fe789f78246b7c7ec10d7b85c72d898a9f72fdda5b60d581e839d21016bc628,4992 | |
| - uri-encode-1.5.0.7@sha256:e102329abf9066f2ec825a969c6f00f7676ac4dd6b27fae0e5c8bf865a7b559c,2341 | |
| - uuid-1.3.15@sha256:9444467f4104f5af6c0c29e5082f924750d1c4617a08461b0a4eaa490a1a28d2,2561 | |
| - zlib-0.6.2.3@sha256:28f4d460c260e074cab833625454564b9783a3389b7bb91fd54da2790b39592c,5180 | |
| Plan construction failed. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment