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