[all reports]
Package |
agda-language-server-0.2.0 |
Install |
InstallOk |
Docs |
Ok |
Tests |
Ok |
Time submitted |
2021-10-22 11:30:41.795539201 UTC
|
Compiler |
ghc-8.10.2 |
OS |
linux |
Arch |
x86_64 |
Dependencies |
Agda-2.6.2, aeson-1.5.6.0, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, lsp-1.2.0.1, mtl-2.2.2, network-3.1.2.5, network-simple-0.4.5, process-1.6.9.0, stm-2.5.0.0, strict-0.4.0.1, text-1.2.3.2, Agda-2.6.2, aeson-1.5.6.0, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, lsp-1.2.0.1, mtl-2.2.2, network-3.1.2.5, network-simple-0.4.5, process-1.6.9.0, stm-2.5.0.0, strict-0.4.0.1, text-1.2.3.2 |
Flags |
none
|
Code Coverage
expressions | 100% (0/0) |
boolean | guards | 100% (0/0) |
conditions | 100% (0/0) |
qualifiers | 100% (0/0) |
alternatives | 100% (0/0) |
local declarations | 100% (0/0) |
top-level declarations | 100% (0/0) |
Build log
[view raw]
Resolving dependencies...
Starting Diff-0.4.0
Starting StateVar-1.2.2
Downloading STMonadTrans-0.4.6
Starting base-compat-0.12.0
Downloaded STMonadTrans-0.4.6
Starting STMonadTrans-0.4.6
Building Diff-0.4.0
Building StateVar-1.2.2
Building base-compat-0.12.0
Building STMonadTrans-0.4.6
Completed StateVar-1.2.2
Starting base-orphans-0.8.5
Building base-orphans-0.8.5
Completed Diff-0.4.0
Starting basement-0.0.12
Building basement-0.0.12
Completed STMonadTrans-0.4.6
Starting blaze-builder-0.4.2.2
Building blaze-builder-0.4.2.2
Completed base-compat-0.12.0
Starting call-stack-0.4.0
Building call-stack-0.4.0
Completed blaze-builder-0.4.2.2
Starting cereal-0.5.8.1
Completed base-orphans-0.8.5
Starting cryptohash-md5-0.11.101.0
Building cereal-0.5.8.1
Completed call-stack-0.4.0
Starting cryptohash-sha1-0.11.100.1
Building cryptohash-md5-0.11.101.0
Building cryptohash-sha1-0.11.100.1
Completed cryptohash-sha1-0.11.100.1
Starting data-default-class-0.1.2.0
Completed cryptohash-md5-0.11.101.0
Starting data-hash-0.2.0.1
Building data-default-class-0.1.2.0
Building data-hash-0.2.0.1
Completed data-default-class-0.1.2.0
Starting dlist-1.0
Building dlist-1.0
Completed data-hash-0.2.0.1
Starting entropy-0.4.1.6
Completed cereal-0.5.8.1
Starting fail-4.9.0.0
Building fail-4.9.0.0
Completed fail-4.9.0.0
Starting hashable-1.3.4.1
Building hashable-1.3.4.1
Building entropy-0.4.1.6
Completed dlist-1.0
Starting indexed-traversable-0.1.1
Building indexed-traversable-0.1.1
Completed hashable-1.3.4.1
Starting integer-logarithms-1.0.3.1
Building integer-logarithms-1.0.3.1
Completed entropy-0.4.1.6
Starting murmur-hash-0.1.0.9
Completed indexed-traversable-0.1.1
Starting network-3.1.2.5
Building murmur-hash-0.1.0.9
Completed integer-logarithms-1.0.3.1
Starting network-info-0.2.0.10
Building network-info-0.2.0.10
Completed murmur-hash-0.1.0.9
Starting old-locale-1.0.0.7
Building old-locale-1.0.0.7
Completed network-info-0.2.0.10
Starting parallel-3.2.2.0
Building network-3.1.2.5
Building parallel-3.2.2.0
Completed old-locale-1.0.0.7
Starting primitive-0.7.2.0
Building primitive-0.7.2.0
Completed parallel-3.2.2.0
Starting reflection-2.1.6
Building reflection-2.1.6
Completed reflection-2.1.6
Starting regex-base-0.94.0.1
Building regex-base-0.94.0.1
Completed network-3.1.2.5
Starting rope-utf16-splay-0.3.2.0
Building rope-utf16-splay-0.3.2.0
Completed regex-base-0.94.0.1
Starting safe-exceptions-0.1.7.2
Building safe-exceptions-0.1.7.2
Completed rope-utf16-splay-0.3.2.0
Starting semigroups-0.19.2
Completed primitive-0.7.2.0
Starting some-1.0.2
Building semigroups-0.19.2
Building some-1.0.2
Completed safe-exceptions-0.1.7.2
Starting sorted-list-0.2.1.0
Building sorted-list-0.2.1.0
Completed semigroups-0.19.2
Starting split-0.2.3.4
Building split-0.2.3.4
Completed sorted-list-0.2.1.0
Starting splitmix-0.1.0.3
Completed some-1.0.2
Starting syb-0.7.2.1
Building splitmix-0.1.0.3
Completed basement-0.0.12
Starting tagged-0.8.6.1
Building syb-0.7.2.1
Completed split-0.2.3.4
Starting th-abstraction-0.4.3.0
Building tagged-0.8.6.1
Building th-abstraction-0.4.3.0
Completed splitmix-0.1.0.3
Starting th-compat-0.1.3
Building th-compat-0.1.3
Completed tagged-0.8.6.1
Starting transformers-compat-0.7
Completed syb-0.7.2.1
Starting type-equality-1
Building transformers-compat-0.7
Building type-equality-1
Completed th-compat-0.1.3
Starting unliftio-core-0.2.0.1
Completed type-equality-1
Starting utf8-string-1.0.2
Building unliftio-core-0.2.0.1
Completed th-abstraction-0.4.3.0
Starting void-0.7.3
Building utf8-string-1.0.2
Building void-0.7.3
Completed unliftio-core-0.2.0.1
Starting zlib-0.6.2.3
Completed void-0.7.3
Starting contravariant-1.5.5
Building zlib-0.6.2.3
Completed transformers-compat-0.7
Starting gitrev-1.3.1
Building contravariant-1.5.5
Building gitrev-1.3.1
Completed gitrev-1.3.1
Starting base-compat-batteries-0.12.0
Completed utf8-string-1.0.2
Starting blaze-markup-0.8.2.8
Building base-compat-batteries-0.12.0
Building blaze-markup-0.8.2.8
Completed contravariant-1.5.5
Starting data-default-instances-containers-0.0.1
Building data-default-instances-containers-0.0.1
Completed zlib-0.6.2.3
Starting data-default-instances-dlist-0.0.1
Completed data-default-instances-containers-0.0.1
Starting unordered-containers-0.2.14.0
Building data-default-instances-dlist-0.0.1
Building unordered-containers-0.2.14.0
Completed data-default-instances-dlist-0.0.1
Starting time-compat-1.9.6.1
Completed blaze-markup-0.8.2.8
Starting data-fix-0.3.2
Building time-compat-1.9.6.1
Building data-fix-0.3.2
Completed base-compat-batteries-0.12.0
Starting case-insensitive-1.2.1.0
Building case-insensitive-1.2.1.0
Completed data-fix-0.3.2
Starting async-2.2.4
Building async-2.2.4
Completed case-insensitive-1.2.1.0
Starting data-default-instances-old-locale-0.0.1
Completed time-compat-1.9.6.1
Starting network-bsd-2.8.1.0
Building data-default-instances-old-locale-0.0.1
Building network-bsd-2.8.1.0
Completed data-default-instances-old-locale-0.0.1
Starting regex-tdfa-1.3.1.1
Completed async-2.2.4
Starting vector-0.12.3.1
Building regex-tdfa-1.3.1.1
Building vector-0.12.3.1
Completed network-bsd-2.8.1.0
Starting scientific-0.3.7.0
Building scientific-0.3.7.0
Completed unordered-containers-0.2.14.0
Starting socks-0.6.1
Building socks-0.6.1
Completed scientific-0.3.7.0
Starting boxes-0.1.5
Building boxes-0.1.5
Completed socks-0.6.1
Starting random-1.2.1
Building random-1.2.1
Completed boxes-0.1.5
Starting distributive-0.6.2.1
Building distributive-0.6.2.1
Completed distributive-0.6.2.1
Starting th-extras-0.0.0.4
Building th-extras-0.0.0.4
Completed th-extras-0.0.0.4
Starting network-uri-2.6.4.1
Building network-uri-2.6.4.1
Completed regex-tdfa-1.3.1.1
Starting transformers-base-0.4.6
Building transformers-base-0.4.6
Completed random-1.2.1
Starting equivalence-0.3.5
Completed transformers-base-0.4.6
Starting constraints-0.13
Building equivalence-0.3.5
Building constraints-0.13
Completed network-uri-2.6.4.1
Starting blaze-html-0.9.1.2
Building blaze-html-0.9.1.2
Completed equivalence-0.3.5
Starting data-default-0.7.1.1
Building data-default-0.7.1.1
Completed data-default-0.7.1.1
Starting hslogger-1.3.1.0
Building hslogger-1.3.1.0
Completed constraints-0.13
Starting attoparsec-0.14.1
Building attoparsec-0.14.1
Completed hslogger-1.3.1.0
Starting network-simple-0.4.5
Building network-simple-0.4.5
Completed network-simple-0.4.5
Starting comonad-5.0.8
Building comonad-5.0.8
Completed attoparsec-0.14.1
Starting uuid-types-1.0.5
Completed comonad-5.0.8
Starting temporary-1.3
Building uuid-types-1.0.5
Building temporary-1.3
Completed vector-0.12.3.1
Starting edit-distance-0.2.2.1
Completed blaze-html-0.9.1.2
Starting monad-control-1.0.3.1
Building edit-distance-0.2.2.1
Building monad-control-1.0.3.1
Completed temporary-1.3
Starting uri-encode-1.5.0.7
Building uri-encode-1.5.0.7
Completed uuid-types-1.0.5
Starting bifunctors-5.5.11
Completed monad-control-1.0.3.1
Starting indexed-traversable-instances-0.1
Building bifunctors-5.5.11
Completed uri-encode-1.5.0.7
Starting hashtables-1.2.4.1
Completed edit-distance-0.2.2.1
Starting uuid-1.3.15
Building indexed-traversable-instances-0.1
Building hashtables-1.2.4.1
Building uuid-1.3.15
Completed indexed-traversable-instances-0.1
Completed uuid-1.3.15
Completed hashtables-1.2.4.1
Completed bifunctors-5.5.11
Starting assoc-1.0.2
Starting profunctors-5.6.2
Starting semigroupoids-5.3.6
Building assoc-1.0.2
Building profunctors-5.6.2
Building semigroupoids-5.3.6
Completed assoc-1.0.2
Starting these-1.1.1.1
Building these-1.1.1.1
Completed these-1.1.1.1
Starting strict-0.4.0.1
Building strict-0.4.0.1
Completed profunctors-5.6.2
Starting invariant-0.5.4
Building invariant-0.5.4
Completed strict-0.4.0.1
Starting aeson-1.5.6.0
Completed semigroupoids-5.3.6
Starting free-5.1.7
Building aeson-1.5.6.0
Building free-5.1.7
Completed invariant-0.5.4
Completed free-5.1.7
Starting adjunctions-4.4
Building adjunctions-4.4
Completed adjunctions-4.4
Starting kan-extensions-5.2.3
Building kan-extensions-5.2.3
Completed kan-extensions-5.2.3
Starting lens-5.0.1
Building lens-5.0.1
Completed aeson-1.5.6.0
Starting constraints-extras-0.3.1.0
Starting Agda-2.6.2
Building constraints-extras-0.3.1.0
Building Agda-2.6.2
Completed constraints-extras-0.3.1.0
Starting dependent-sum-0.7.1.0
Building dependent-sum-0.7.1.0
Completed dependent-sum-0.7.1.0
Starting dependent-sum-template-0.1.0.3
Starting dependent-map-0.4.0.0
Building dependent-map-0.4.0.0
Building dependent-sum-template-0.1.0.3
Completed dependent-sum-template-0.1.0.3
Completed dependent-map-0.4.0.0
Completed lens-5.0.1
Starting lsp-types-1.3.0.1
Building lsp-types-1.3.0.1
Completed lsp-types-1.3.0.1
Starting lsp-1.2.0.1
Building lsp-1.2.0.1
Completed lsp-1.2.0.1
Completed Agda-2.6.2
Downloading agda-language-server-0.2.0
Downloaded agda-language-server-0.2.0
Starting agda-language-server-0.2.0
Building agda-language-server-0.2.0
Completed agda-language-server-0.2.0
Test log
No test log was submitted for this report.