Back to Search
Description
Homepage
Source Files
Split Packages
Base Package
License(s)
Build Date
Packager
Package Size
Installed Size
Download Mirror
SHA256 Sum
Dependencies
Optional Deps
Provides
Conflicts With
Replaces
Package Files
CachyOS | agda - extra (x86_64)
Back to Search
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