CachyOS | agda - extra (x86_64)

agda

Version 2.6.4.3-112 from extra (x86_64)

Description: A dependently typed functional programming language and proof assistant
Homepage: https://wiki.portal.chalmers.se/agda/
Source Files: View Source Files
License(s): custom
Build Date: 30/11/2025, 20:58:39
Packager: Felix Yan <felixonmars@archlinux.org>
Package Size: 23.84 MB
Installed Size: 230.34 MB
Download Mirror: https://archlinux.cachyos.org/repo/extra/os/x86_64/agda-2.6.4.3-112-x86_64.pkg.tar.zst
SHA256 Sum: 07c188ae28b1efb8da92e14b9401ef75da649edf83cc1b8f00434491a4d7eb21
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: View package files on Arch Linux website