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-stdlib - extra (x86_64)
Back to Search
agda-stdlib
Version 2.1-1 from extra (x86_64)
Description
Agda standard libraries
Homepage
https://github.com/agda/agda-stdlib
Source Files
View Source Files
License(s)
MIT
Build Date
1/9/2025, 18:43:36
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
134.91 MB
Installed Size
173.4 MB
Download Mirror
https://archlinux.cachyos.org/repo/extra/os/x86_64/agda-stdlib-2.1-1-x86_64.pkg.tar.zst
SHA256 Sum
47cc0d4cd70a37fc978f9296d74e89fb1606d259db5ba214b9f6271f5c92a30e
Dependencies
agda=2.6.4.3
Optional Deps
N/A
Provides
N/A
Conflicts With
N/A
Replaces
N/A
Package Files
View package files on Arch Linux website