CachyOS | agda - extra (x86_64)

agda

Version 2.6.4.3-110 from extra (x86_64)

Description: A dependently typed functional programming language and proof assistant
Homepage: https://wiki.portal.chalmers.se/agda/
License(s): custom
Build Date: 15/10/2025, 23:42:08
Packager: Felix Yan <felixonmars@archlinux.org>
Package Size: 23.83 MB
Installed Size: 230.34 MB
Download Mirror: https://cdn77.cachyos.org/repo/x86_64/extra/agda-2.6.4.3-110-x86_64.pkg.tar.zst
SHA256 Sum: bd0a38fa0deb7931f3a3b56b9c83c3f6a6a0642fcef3b790f2658a68438ea5be
Dependencies: ghc-libs ghc haskell-stmonadtrans haskell-aeson haskell-ansi-terminal haskell-async haskell-blaze-html haskell-boxes haskell-case-insensitive haskell-cpphs haskell-data-hash haskell-dlist haskell-edit-distance haskell-equivalence haskell-gitrev haskell-hashable haskell-monad-control haskell-murmur-hash haskell-parallel haskell-peano haskell-regex-tdfa haskell-split haskell-strict haskell-time-compat haskell-unordered-containers haskell-uri-encode haskell-vector haskell-vector-hashtables haskell-zlib haskell-text-icu
Optional Deps: agda-stdlib: for standard library
Provides: N/A
Conflicts With: N/A
Replaces: N/A
Package Files