agda-stdlib 1.7.3-4
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | agda-stdlib |
| 説明: | Adga 標準ライブラリ |
| 上流 URL: | https://github.com/agda/agda-stdlib |
| ライセンス: | MIT |
| パッケージ容量: | 119.0 MB |
| インストール容量: | 152.4 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-11 20:10:07 JST |
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | agda-stdlib |
| 説明: | Adga 標準ライブラリ |
| 上流 URL: | https://github.com/agda/agda-stdlib |
| ライセンス: | MIT |
| パッケージ容量: | 119.0 MB |
| インストール容量: | 152.4 MB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-11 20:10:07 JST |