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