agda-stdlib 2.0-2
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | agda-stdlib |
| 説明: | Adga 標準ライブラリ |
| 上流 URL: | https://github.com/agda/agda-stdlib |
| ライセンス: | MIT |
| パッケージ容量: | 138.6 MB |
| インストール容量: | 178.1 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-08-01 15:06:02 JST |
依存パッケージ (4)
- agda=2.6.4.3
- git (ビルド)
- ghc (ビルド)
- haskell-filemanip (ビルド)
agda-stdlib を必要とするパッケージ (1)
- agda (任意)