agda-stdlib
Version 2.1-1 from extra (x86_64)
- Description
- Agda standard libraries
- Source Files
- View Source Files
- License(s)
- MIT
- Build Date
- 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
- Optional Deps
- N/A
- Provides
- N/A
- Conflicts With
- N/A
- Replaces
- N/A
- Package Files
- View package files on Arch Linux website