Agda: agda compile hello-world-dep.agda
(GHC backend) won’t find installed standard-library Failed to find source of module Data.Nat in any of the following
module hello-world-dep where
open import Data.Nat using (ℕ; zero; suc)
data Vec (A : Set) : ℕ → Set where
[] : Vec A zero
_::_ : ∀ {n} (x : A) (xs : Vec A n) → Vec A (suc n)
infixr 5 _::_
REFERENCE: A Taste of Agda — Agda 2.7.0.1 documentation
OBSERVED BEHAVIOR
I have agda.wikiPackages installed with home-manager
home-manager.users.starlit = {
home.packages = [
(pkgs.agdaPackages.agda.withPackages (ps: [
ps.standard-library
ps.agda-categories
]))
];
};
which agda | tree $'(dirname (dirname $"(readlink --canonicalize ...$in.path)"))'
/nix/store/zc1i63a0b3kq2v03fbccvp21midpvnkv-agdaWithPackages-2.7.0.1
└── bin
├── agda
└── agda-mode -> /nix/store/vc3cd3kqx6ha065pgv6w8rz106w1b92s-Agda-2.7.0.1-bin/bin/agda-mode
BUT when I try to
agda --compile /home/starlit/dev/agda/taste/hello-world-dep.agda
Checking hello-world-dep (/home/starlit/dev/agda/taste/hello-world-dep.agda).
/home/starlit/dev/agda/taste/hello-world-dep.agda:9,1-42
Failed to find source of module Data.Nat in any of the following
locations:
/home/starlit/dev/agda/taste/Data/Nat.agda
/home/starlit/dev/agda/taste/Data/Nat.lagda
/nix/store/p3pgifmn30jbgfviadrlcrrg8qz1jivd-Agda-2.7.0.1-data/share/ghc-9.6.6/x86_64-linux-ghc-9.6.6/Agda-2.7.0.1/lib/prim/Data/Nat.agda
/nix/store/p3pgifmn30jbgfviadrlcrrg8qz1jivd-Agda-2.7.0.1-data/share/ghc-9.6.6/x86_64-linux-ghc-9.6.6/Agda-2.7.0.1/lib/prim/Data/Nat.lagda
when scope checking the declaration
open import Data.Nat using (ℕ; zero; suc)
/nix/store/HASH-Agda-2.7.0.1-data/share/ghc-9.6.6/x86_64-linux-ghc-9.6.6/Agda-2.7.0.1/lib/prim
DOESN’T have Agda standard-library, only Agda built-in.
tree /nix/store/p3pgifmn30jbgfviadrlcrrg8qz1jivd-Agda-2.7.0.1-data/share/ghc-9.6.6/x86_64-linux-ghc-9.6.6/Agda-2.7.0.1/lib/prim
/nix/store/p3pgifmn30jbgfviadrlcrrg8qz1jivd-Agda-2.7.0.1-data/share/ghc-9.6.6/x86_64-linux-ghc-9.6.6/Agda-2.7.0.1/lib/prim
├── Agda
│ ├── Builtin
│ │ ├── Bool.agda
│ │ ├── Char
│ │ │ └── Properties.agda
│ │ ├── Char.agda
│ │ ├── Coinduction.agda
│ │ ├── Cubical
│ │ │ ├── Equiv.agda
│ │ │ ├── Glue.agda
│ │ │ ├── HCompU.agda
│ │ │ ├── Id.agda
│ │ │ ├── Path.agda
│ │ │ └── Sub.agda
│ │ ├── Equality
│ │ │ ├── Erase.agda
│ │ │ └── Rewrite.agda
│ │ ├── Equality.agda
│ │ ├── Float
│ │ │ └── Properties.agda
│ │ ├── Float.agda
│ │ ├── FromNat.agda
│ │ ├── FromNeg.agda
│ │ ├── FromString.agda
│ │ ├── Int.agda
│ │ ├── IO.agda
│ │ ├── List.agda
│ │ ├── Maybe.agda
│ │ ├── Nat.agda
│ │ ├── Reflection
│ │ │ ├── External.agda
│ │ │ └── Properties.agda
│ │ ├── Reflection.agda
│ │ ├── Sigma.agda
│ │ ├── Size.agda
│ │ ├── Strict.agda
│ │ ├── String
│ │ │ └── Properties.agda
│ │ ├── String.agda
│ │ ├── TrustMe.agda
│ │ ├── Unit.agda
│ │ ├── Word
│ │ │ └── Properties.agda
│ │ └── Word.agda
│ ├── Primitive
│ │ └── Cubical.agda
│ └── Primitive.agda
├── agda-builtins.agda-lib
└── _build
└── 2.7.0.1
└── agda
└── Agda
├── Builtin
│ ├── Bool.agdai
│ ├── Char
│ │ └── Properties.agdai
│ ├── Char.agdai
│ ├── Coinduction.agdai
│ ├── Cubical
│ │ ├── Equiv.agdai
│ │ ├── Glue.agdai
│ │ ├── HCompU.agdai
│ │ ├── Id.agdai
│ │ ├── Path.agdai
│ │ └── Sub.agdai
│ ├── Equality
│ │ ├── Erase.agdai
│ │ └── Rewrite.agdai
│ ├── Equality.agdai
│ ├── Float
│ │ └── Properties.agdai
│ ├── Float.agdai
│ ├── FromNat.agdai
│ ├── FromNeg.agdai
│ ├── FromString.agdai
│ ├── Int.agdai
│ ├── IO.agdai
│ ├── List.agdai
│ ├── Maybe.agdai
│ ├── Nat.agdai
│ ├── Reflection
│ │ ├── External.agdai
│ │ └── Properties.agdai
│ ├── Reflection.agdai
│ ├── Sigma.agdai
│ ├── Size.agdai
│ ├── Strict.agdai
│ ├── String
│ │ └── Properties.agdai
│ ├── String.agdai
│ ├── TrustMe.agdai
│ ├── Unit.agdai
│ ├── Word
│ │ └── Properties.agdai
│ └── Word.agdai
├── Primitive
│ └── Cubical.agdai
└── Primitive.agdai
EXPECTED BEHAVIOR
Agda finds standard-library with its modules such as Data on /nix/store/zc1i63a0b3kq2v03fbccvp21midpvnkv-agdaWithPackages-2.7.0.1
, see below.
BUT I have standard-library with Data, etc
nix-store --query --tree /nix/store/zc1i63a0b3kq2v03fbccvp21midpvnkv-agdaWithPackages-2.7.0.1
/nix/store/zc1i63a0b3kq2v03fbccvp21midpvnkv-agdaWithPackages-2.7.0.1
...
├───/nix/store/q7sqq18llwqsm7sqk6xpj377q440lyzj-libraries
│ ├───/nix/store/ixbhr7shi2l3k4bh20c43w1vmx2gvdgv-agda-categories-0.2.0
│ └───/nix/store/zdl2bawyiwwx964z7ybm10p955yb4dcz-standard-library-2.1.1
...
ls -1 /nix/store/zdl2bawyiwwx964z7ybm10p955yb4dcz-standard-library-2.1.1/src/Data/
AVL
AVL.agda
Bool
Bool.agda
Bytestring
Char
Char.agda
Container
Container.agda
Default.agda
DifferenceList.agda
DifferenceNat.agda
DifferenceVec.agda
Digit
Digit.agda
Empty
Empty.agda
Erased.agda
Fin
Fin.agda
Float
Float.agda
Graph
Integer
Integer.agda
Irrelevant.agda
List
List.agda
Maybe
Maybe.agda
Nat
Nat.agda
Parity
Parity.agda
Product
Product.agda
Rational
Rational.agda
Record.agda
Refinement
Refinement.agda
Sign
Sign.agda
Star
String
String.agda
Sum
Sum.agda
These
These.agda
Tree
Trie
Trie.agda
Unit
Unit.agda
Universe
Universe.agda
Vec
Vec.agda
W
W.agda
Word
Word64
Word64.agda
Word8
Word.agda
Wrap.agda
ls -1 /nix/store/zdl2bawyiwwx964z7ybm10p955yb4dcz-standard-library-2.1.1/_build/2.7.0.1/agda/src/Data/
AVL
AVL.agdai
Bool
Bool.agdai
Bytestring
Char
Char.agdai
Container
Container.agdai
Default.agdai
DifferenceList.agdai
DifferenceNat.agdai
DifferenceVec.agdai
Digit
Digit.agdai
Empty
Empty.agdai
Erased.agdai
Fin
Fin.agdai
Float
Float.agdai
Graph
Integer
Integer.agdai
Irrelevant.agdai
List
List.agdai
Maybe
Maybe.agdai
Nat
Nat.agdai
Parity
Parity.agdai
Product
Product.agdai
Rational
Rational.agdai
Record.agdai
Refinement
Refinement.agdai
Sign
Sign.agdai
Star
String
String.agdai
Sum
Sum.agdai
These
These.agdai
Tree
Trie
Trie.agdai
Unit
Unit.agdai
Universe
Universe.agdai
Vec
Vec.agdai
W
W.agdai
Word
Word64
Word64.agdai
Word8
Word.agdai
Wrap.agdai
FULL output
nix-store --query --tree /nix/store/zc1i63a0b3kq2v03fbccvp21midpvnkv-agdaWithPackages-2.7.0.1
/nix/store/zc1i63a0b3kq2v03fbccvp21midpvnkv-agdaWithPackages-2.7.0.1
├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37
│ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36
│ │ ├───/nix/store/2d5spnl8j5r4n1s4bj1zmra7mwx0f1n8-xgcc-13.3.0-libgcc
│ │ ├───/nix/store/qwjjm4j652ck9izaid7bz63s4hd5bnha-libidn2-2.3.7
│ │ │ ├───/nix/store/6pqgj71r0850b0cd95yxx0d52zax016i-libunistring-1.2
│ │ │ │ └───/nix/store/6pqgj71r0850b0cd95yxx0d52zax016i-libunistring-1.2 [...]
│ │ │ └───/nix/store/qwjjm4j652ck9izaid7bz63s4hd5bnha-libidn2-2.3.7 [...]
│ │ └───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ └───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
├───/nix/store/lw4ayqc5g7sagm4pl3bybh3viby29vsr-ghc-9.6.6-with-packages
│ ├───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ └───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6 [...]
│ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib
│ │ ├───/nix/store/nhdjqagplar2fdrqnrxlab8vg9i36b3d-gcc-13.3.0-libgcc
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ └───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ └───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ ├───/nix/store/2hkazldwalm0k3hf2wh1knw1s66wlrvp-gmp-with-cxx-6.3.0-dev
│ │ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ │ └───/nix/store/2hkazldwalm0k3hf2wh1knw1s66wlrvp-gmp-with-cxx-6.3.0-dev [...]
│ ├───/nix/store/7vs39d9phfvq4a95ydmq3zkpf518wlmb-libffi-3.4.6-dev
│ │ ├───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6 [...]
│ │ └───/nix/store/7vs39d9phfvq4a95ydmq3zkpf518wlmb-libffi-3.4.6-dev [...]
│ ├───/nix/store/8s7f5jgn8bbvj552hb5glsgwfx881kfy-ncurses-6.4.20221231
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ └───/nix/store/8s7f5jgn8bbvj552hb5glsgwfx881kfy-ncurses-6.4.20221231 [...]
│ ├───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ ├───/nix/store/6avf0gmd2sl573bv6qhsqybgvf86wdq5-zstd-1.5.6
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ └───/nix/store/6avf0gmd2sl573bv6qhsqybgvf86wdq5-zstd-1.5.6 [...]
│ │ ├───/nix/store/g242a6wyvc429wlwp59iqyhpnjfcrkw3-bzip2-1.0.8
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ └───/nix/store/g242a6wyvc429wlwp59iqyhpnjfcrkw3-bzip2-1.0.8 [...]
│ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1
│ │ │ └───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ ├───/nix/store/lz8snrzdzwkcbdjccqxd2r4f792cnwsg-curl-8.11.0
│ │ │ ├───/nix/store/qwjjm4j652ck9izaid7bz63s4hd5bnha-libidn2-2.3.7 [...]
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/5dlhinba4wbr5ijy0vcmyzh4i678z94w-openssl-3.3.2
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ └───/nix/store/5dlhinba4wbr5ijy0vcmyzh4i678z94w-openssl-3.3.2 [...]
│ │ │ ├───/nix/store/6avf0gmd2sl573bv6qhsqybgvf86wdq5-zstd-1.5.6 [...]
│ │ │ ├───/nix/store/78ndygrdpr8ghk256wm2g89v10gkk1ar-brotli-1.1.0-lib
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ └───/nix/store/78ndygrdpr8ghk256wm2g89v10gkk1ar-brotli-1.1.0-lib [...]
│ │ │ ├───/nix/store/ihn8kbc2bgqk780i3n74x98plsnfzfd6-libpsl-0.21.5
│ │ │ │ ├───/nix/store/6pqgj71r0850b0cd95yxx0d52zax016i-libunistring-1.2 [...]
│ │ │ │ ├───/nix/store/jcgrdvv9cc1b3r72zp4cq3vb3pka8wx4-publicsuffix-list-0-unstable-2024-10-25
│ │ │ │ ├───/nix/store/qwjjm4j652ck9izaid7bz63s4hd5bnha-libidn2-2.3.7 [...]
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ └───/nix/store/ihn8kbc2bgqk780i3n74x98plsnfzfd6-libpsl-0.21.5 [...]
│ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ ├───/nix/store/j391qgmh574rdjh89jl0bi5aw9nxglia-libssh2-1.11.1
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/5dlhinba4wbr5ijy0vcmyzh4i678z94w-openssl-3.3.2 [...]
│ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ └───/nix/store/j391qgmh574rdjh89jl0bi5aw9nxglia-libssh2-1.11.1 [...]
│ │ │ ├───/nix/store/pgkfyjsy4g3jm6sxp7m0ivfpnv59j7p6-nghttp2-1.64.0-lib
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ └───/nix/store/pgkfyjsy4g3jm6sxp7m0ivfpnv59j7p6-nghttp2-1.64.0-lib [...]
│ │ │ ├───/nix/store/xghyamhbjj0rfavxj76l52mv7zr7dfiw-krb5-1.21.3-lib
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ │ │ │ ├───/nix/store/5dlhinba4wbr5ijy0vcmyzh4i678z94w-openssl-3.3.2 [...]
│ │ │ │ ├───/nix/store/rlmyizjw96rfpi544511lqbsdqdjsrcb-keyutils-1.6.3-lib
│ │ │ │ │ └───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ └───/nix/store/xghyamhbjj0rfavxj76l52mv7zr7dfiw-krb5-1.21.3-lib [...]
│ │ │ └───/nix/store/lz8snrzdzwkcbdjccqxd2r4f792cnwsg-curl-8.11.0 [...]
│ │ ├───/nix/store/mmbcivd56qqijk877x2i5ra55sbbcmrl-xz-5.6.3
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ └───/nix/store/mmbcivd56qqijk877x2i5ra55sbbcmrl-xz-5.6.3 [...]
│ │ └───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191 [...]
│ ├───/nix/store/c3mgiawvdsf0vp336z7qybx04i6hx8dh-elfutils-0.191-dev
│ │ ├───/nix/store/i73yxhp1mq2f7a2rm792l0spmm0wsmqb-setup-debug-info-dirs-hook
│ │ ├───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191 [...]
│ │ ├───/nix/store/kahv64cppdy0jskvpvzvhv1pffma3pkr-elfutils-0.191-bin
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ ├───/nix/store/ck3rjhfyxwbi84cwzm0ckqjc37sxijq8-libmicrohttpd-1.0.1
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/jc4hlry02rgfqms75hf8kzqnf6hp3nz1-gnutls-3.8.6
│ │ │ │ │ ├───/nix/store/6pqgj71r0850b0cd95yxx0d52zax016i-libunistring-1.2 [...]
│ │ │ │ │ ├───/nix/store/qwjjm4j652ck9izaid7bz63s4hd5bnha-libidn2-2.3.7 [...]
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ │ │ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ │ │ │ │ ├───/nix/store/h7qbizpkwfv1vb4r0hzm3b74jrfmgfqf-nettle-3.10
│ │ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ │ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ │ │ │ │ │ └───/nix/store/h7qbizpkwfv1vb4r0hzm3b74jrfmgfqf-nettle-3.10 [...]
│ │ │ │ │ ├───/nix/store/ixip8d2kh46q5rpjkzlxj7sqq9amjv6k-dns-root-data-2024-06-20
│ │ │ │ │ ├───/nix/store/lszlcr0lhi7p784c8wrh7iabfixyjcdn-unbound-1.21.1-lib
│ │ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ │ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ │ │ │ │ │ ├───/nix/store/h7qbizpkwfv1vb4r0hzm3b74jrfmgfqf-nettle-3.10 [...]
│ │ │ │ │ │ ├───/nix/store/jmwibaq22mdf1maarn008qrrjnbi2sgr-libevent-2.1.12
│ │ │ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ │ │ └───/nix/store/jmwibaq22mdf1maarn008qrrjnbi2sgr-libevent-2.1.12 [...]
│ │ │ │ │ │ └───/nix/store/lszlcr0lhi7p784c8wrh7iabfixyjcdn-unbound-1.21.1-lib [...]
│ │ │ │ │ ├───/nix/store/xa0j95gv6a29g62cichnby52d79az6cv-libtasn1-4.19.0
│ │ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ │ └───/nix/store/xa0j95gv6a29g62cichnby52d79az6cv-libtasn1-4.19.0 [...]
│ │ │ │ │ ├───/nix/store/r6n7prsa8khgfj2g54406w2wcp5gdx6y-p11-kit-0.25.5
│ │ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ │ ├───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6 [...]
│ │ │ │ │ │ ├───/nix/store/xa0j95gv6a29g62cichnby52d79az6cv-libtasn1-4.19.0 [...]
│ │ │ │ │ │ └───/nix/store/r6n7prsa8khgfj2g54406w2wcp5gdx6y-p11-kit-0.25.5 [...]
│ │ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ │ └───/nix/store/jc4hlry02rgfqms75hf8kzqnf6hp3nz1-gnutls-3.8.6 [...]
│ │ │ │ └───/nix/store/ck3rjhfyxwbi84cwzm0ckqjc37sxijq8-libmicrohttpd-1.0.1 [...]
│ │ │ ├───/nix/store/fnjlamc0x1hx245px1s3rbazxfngffi0-libarchive-3.7.7-lib
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/067800yh33y5m156i6rhmzhsn8wxbbnh-libxml2-2.13.4
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ └───/nix/store/067800yh33y5m156i6rhmzhsn8wxbbnh-libxml2-2.13.4 [...]
│ │ │ │ ├───/nix/store/5dlhinba4wbr5ijy0vcmyzh4i678z94w-openssl-3.3.2 [...]
│ │ │ │ ├───/nix/store/5z4ghjjxyg0r33w0hfr4crhlz6fqfzd2-acl-2.3.2
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/vzh3vvwcj1pma09dgial605zkb0qh7gl-attr-2.5.2
│ │ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ │ └───/nix/store/vzh3vvwcj1pma09dgial605zkb0qh7gl-attr-2.5.2 [...]
│ │ │ │ │ └───/nix/store/5z4ghjjxyg0r33w0hfr4crhlz6fqfzd2-acl-2.3.2 [...]
│ │ │ │ ├───/nix/store/6avf0gmd2sl573bv6qhsqybgvf86wdq5-zstd-1.5.6 [...]
│ │ │ │ ├───/nix/store/g242a6wyvc429wlwp59iqyhpnjfcrkw3-bzip2-1.0.8 [...]
│ │ │ │ ├───/nix/store/mmbcivd56qqijk877x2i5ra55sbbcmrl-xz-5.6.3 [...]
│ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ └───/nix/store/fnjlamc0x1hx245px1s3rbazxfngffi0-libarchive-3.7.7-lib [...]
│ │ │ ├───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191 [...]
│ │ │ ├───/nix/store/yjm4j9n85bcp42v5nkz2xifrp4a9s63k-sqlite-3.46.1
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ └───/nix/store/yjm4j9n85bcp42v5nkz2xifrp4a9s63k-sqlite-3.46.1 [...]
│ │ │ └───/nix/store/kahv64cppdy0jskvpvzvhv1pffma3pkr-elfutils-0.191-bin [...]
│ │ └───/nix/store/c3mgiawvdsf0vp336z7qybx04i6hx8dh-elfutils-0.191-dev [...]
│ ├───/nix/store/hh783czjqlddq96zxhzijcqv92rb132r-ghc-9.6.6-doc
│ │ └───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ ├───/nix/store/inpspwqhgpld2zdk89hra7xjh3nxll2x-ncurses-6.4.20221231-dev
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ │ ├───/nix/store/8s7f5jgn8bbvj552hb5glsgwfx881kfy-ncurses-6.4.20221231 [...]
│ │ ├───/nix/store/cnpph76j4bim61hddgqjv485rwxfn39g-ncurses-6.4.20221231-man
│ │ └───/nix/store/inpspwqhgpld2zdk89hra7xjh3nxll2x-ncurses-6.4.20221231-dev [...]
│ ├───/nix/store/4b0ycfpi0fi7za3nhd407dgv6pnk0q3j-ghc-9.6.6
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ ├───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6 [...]
│ │ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ │ ├───/nix/store/2hkazldwalm0k3hf2wh1knw1s66wlrvp-gmp-with-cxx-6.3.0-dev [...]
│ │ ├───/nix/store/aax0hx68i2ikhpf27hdm6a2a209d4s6p-glibc-2.40-36-dev
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/26dy2y29fhissya64ygahwpidpvs3bm3-glibc-2.40-36-bin
│ │ │ │ ├───/nix/store/2d5spnl8j5r4n1s4bj1zmra7mwx0f1n8-xgcc-13.3.0-libgcc [...]
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ └───/nix/store/26dy2y29fhissya64ygahwpidpvs3bm3-glibc-2.40-36-bin [...]
│ │ │ └───/nix/store/dvsai0ym9czjl5mcsarcdwccb70615n4-linux-headers-6.10
│ │ ├───/nix/store/9bacph866qhmr2zfib1h49jixq5hhd01-binutils-wrapper-2.43.1
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ │ │ ├───/nix/store/26dy2y29fhissya64ygahwpidpvs3bm3-glibc-2.40-36-bin [...]
│ │ │ ├───/nix/store/aax0hx68i2ikhpf27hdm6a2a209d4s6p-glibc-2.40-36-dev [...]
│ │ │ ├───/nix/store/k48bha2fjqzarg52picsdfwlqx75aqbb-coreutils-9.5
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/vzh3vvwcj1pma09dgial605zkb0qh7gl-attr-2.5.2 [...]
│ │ │ │ ├───/nix/store/5z4ghjjxyg0r33w0hfr4crhlz6fqfzd2-acl-2.3.2 [...]
│ │ │ │ ├───/nix/store/d6wqw30y25ib5dkbbdp16frb1la6125w-gmp-with-cxx-6.3.0
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ │ │ └───/nix/store/d6wqw30y25ib5dkbbdp16frb1la6125w-gmp-with-cxx-6.3.0 [...]
│ │ │ │ └───/nix/store/k48bha2fjqzarg52picsdfwlqx75aqbb-coreutils-9.5 [...]
│ │ │ ├───/nix/store/swvs52wx5a5j9mv91mingbak5pn4h1i0-expand-response-params
│ │ │ │ └───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/va7kw1i822h95im4jacci19v0cqajfyf-binutils-2.43.1
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ ├───/nix/store/mkgxzw8bdg0974njrhq29kgwmgk35wid-binutils-2.43.1-lib
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ │ └───/nix/store/mkgxzw8bdg0974njrhq29kgwmgk35wid-binutils-2.43.1-lib [...]
│ │ │ │ └───/nix/store/va7kw1i822h95im4jacci19v0cqajfyf-binutils-2.43.1 [...]
│ │ │ └───/nix/store/9bacph866qhmr2zfib1h49jixq5hhd01-binutils-wrapper-2.43.1 [...]
│ │ ├───/nix/store/3ix5h74n7ar9950vwzp4dxmil70pmx0k-gcc-wrapper-13.3.0
│ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ ├───/nix/store/0irlcqx2n3qm6b1pc9rsd2i8qpvcccaj-bash-5.2p37 [...]
│ │ │ ├───/nix/store/14aswfz6pm8zvyyy927xzmi8x4rnvlc8-gnugrep-3.11
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/xs9jwc3if4dp77ga0q9cjcspwp7r9yvf-pcre2-10.44
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ └───/nix/store/xs9jwc3if4dp77ga0q9cjcspwp7r9yvf-pcre2-10.44 [...]
│ │ │ │ └───/nix/store/14aswfz6pm8zvyyy927xzmi8x4rnvlc8-gnugrep-3.11 [...]
│ │ │ ├───/nix/store/26dy2y29fhissya64ygahwpidpvs3bm3-glibc-2.40-36-bin [...]
│ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ ├───/nix/store/aax0hx68i2ikhpf27hdm6a2a209d4s6p-glibc-2.40-36-dev [...]
│ │ │ ├───/nix/store/k48bha2fjqzarg52picsdfwlqx75aqbb-coreutils-9.5 [...]
│ │ │ ├───/nix/store/swvs52wx5a5j9mv91mingbak5pn4h1i0-expand-response-params [...]
│ │ │ ├───/nix/store/9bacph866qhmr2zfib1h49jixq5hhd01-binutils-wrapper-2.43.1 [...]
│ │ │ ├───/nix/store/xzfmarrq8x8s4ivpya24rrndqsq2ndiz-gcc-13.3.0
│ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ ├───/nix/store/617chz8a4p5kz09ij8s9ns05iafzbpcc-gmp-6.3.0
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ └───/nix/store/617chz8a4p5kz09ij8s9ns05iafzbpcc-gmp-6.3.0 [...]
│ │ │ │ ├───/nix/store/93ph6f74wihfir4vyz2sj88d2vn2vq7y-mpfr-4.2.1
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/617chz8a4p5kz09ij8s9ns05iafzbpcc-gmp-6.3.0 [...]
│ │ │ │ │ └───/nix/store/93ph6f74wihfir4vyz2sj88d2vn2vq7y-mpfr-4.2.1 [...]
│ │ │ │ ├───/nix/store/97f3gw9vpyxvwjv2i673isvg92q65mwn-gcc-13.3.0-lib [...]
│ │ │ │ ├───/nix/store/aax0hx68i2ikhpf27hdm6a2a209d4s6p-glibc-2.40-36-dev [...]
│ │ │ │ ├───/nix/store/h82a48wb6i6g42fbpxl7z7s40pw93g0n-libmpc-1.3.1
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/617chz8a4p5kz09ij8s9ns05iafzbpcc-gmp-6.3.0 [...]
│ │ │ │ │ ├───/nix/store/93ph6f74wihfir4vyz2sj88d2vn2vq7y-mpfr-4.2.1 [...]
│ │ │ │ │ └───/nix/store/h82a48wb6i6g42fbpxl7z7s40pw93g0n-libmpc-1.3.1 [...]
│ │ │ │ ├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
│ │ │ │ ├───/nix/store/zj93rq650fz6v25qw39sm025ya4k8plp-isl-0.20
│ │ │ │ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ │ │ │ ├───/nix/store/617chz8a4p5kz09ij8s9ns05iafzbpcc-gmp-6.3.0 [...]
│ │ │ │ │ └───/nix/store/zj93rq650fz6v25qw39sm025ya4k8plp-isl-0.20 [...]
│ │ │ │ └───/nix/store/xzfmarrq8x8s4ivpya24rrndqsq2ndiz-gcc-13.3.0 [...]
│ │ │ └───/nix/store/3ix5h74n7ar9950vwzp4dxmil70pmx0k-gcc-wrapper-13.3.0 [...]
│ │ ├───/nix/store/7vs39d9phfvq4a95ydmq3zkpf518wlmb-libffi-3.4.6-dev [...]
│ │ ├───/nix/store/8s7f5jgn8bbvj552hb5glsgwfx881kfy-ncurses-6.4.20221231 [...]
│ │ ├───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191 [...]
│ │ ├───/nix/store/c3mgiawvdsf0vp336z7qybx04i6hx8dh-elfutils-0.191-dev [...]
│ │ ├───/nix/store/hh783czjqlddq96zxhzijcqv92rb132r-ghc-9.6.6-doc [...]
│ │ ├───/nix/store/inpspwqhgpld2zdk89hra7xjh3nxll2x-ncurses-6.4.20221231-dev [...]
│ │ └───/nix/store/4b0ycfpi0fi7za3nhd407dgv6pnk0q3j-ghc-9.6.6 [...]
│ ├───/nix/store/gc4i9g6yjb85x6r895xzs45v7b5a4vn3-ieee754-0.8.0-doc
│ │ └───/nix/store/hh783czjqlddq96zxhzijcqv92rb132r-ghc-9.6.6-doc [...]
│ ├───/nix/store/0qryjgyp44ylnlhpvrfhdadsbqlwnvvl-ieee754-0.8.0
│ │ ├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
│ │ ├───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6 [...]
│ │ ├───/nix/store/8s7f5jgn8bbvj552hb5glsgwfx881kfy-ncurses-6.4.20221231 [...]
│ │ ├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
│ │ ├───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191 [...]
│ │ ├───/nix/store/4b0ycfpi0fi7za3nhd407dgv6pnk0q3j-ghc-9.6.6 [...]
│ │ ├───/nix/store/gc4i9g6yjb85x6r895xzs45v7b5a4vn3-ieee754-0.8.0-doc [...]
│ │ └───/nix/store/0qryjgyp44ylnlhpvrfhdadsbqlwnvvl-ieee754-0.8.0 [...]
│ └───/nix/store/lw4ayqc5g7sagm4pl3bybh3viby29vsr-ghc-9.6.6-with-packages [...]
├───/nix/store/q7sqq18llwqsm7sqk6xpj377q440lyzj-libraries
│ ├───/nix/store/ixbhr7shi2l3k4bh20c43w1vmx2gvdgv-agda-categories-0.2.0
│ └───/nix/store/zdl2bawyiwwx964z7ybm10p955yb4dcz-standard-library-2.1.1
└───/nix/store/vc3cd3kqx6ha065pgv6w8rz106w1b92s-Agda-2.7.0.1-bin
├───/nix/store/pacbfvpzqz2mksby36awvbcn051zcji3-glibc-2.40-36 [...]
├───/nix/store/0d4h5nnbliwpqa5hcmq0lad6r2xfbpii-libffi-3.4.6 [...]
├───/nix/store/8s7f5jgn8bbvj552hb5glsgwfx881kfy-ncurses-6.4.20221231 [...]
├───/nix/store/l4wqc044x1c7anj11m5zcmd6wf2mjpn3-gmp-with-cxx-6.3.0 [...]
├───/nix/store/y6bcc1vzg315zzzpir608zkhnmvp49kc-zlib-1.3.1 [...]
├───/nix/store/mns770di6nbh52gq0nx07mmc422gm8fc-elfutils-0.191 [...]
└───/nix/store/p3pgifmn30jbgfviadrlcrrg8qz1jivd-Agda-2.7.0.1-data
SYSTEM INFORMATION
- OS: NixOS
- Nixpkgs:
nixpkgs = {
type = "github";
owner = "nixos";
repo = "nixpkgs";
rev = "23e89b7da85c3640bbc2173fe04f4bd114342367";
};
- agda: version 2.7.0.1 | Built with flags (cabal -f) | optimise-heavily: extra optimisations | debug: enable debug printing (‘-v’ verbosity flags)
- agda: standard-library-2.1.1
MORE
https://wiki.portal.chalmers.se/agda/Libraries/StandardLibrary