Back to Search
agda-stdlib
Version 2.1-1 from extra (x86_64)
Description
Agda standard libraries
Homepage
https://github.com/agda/agda-stdlib
License(s)
MIT
Build Date
Packager
Felix Yan <felixonmars@archlinux.org>
Package Size
134.91 MB
Installed Size
173.4 MB
Download Mirror
https://cdn77.cachyos.org/repo/x86_64/extra/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