haskell-dec 0.0.6-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-dec |
| 説明: | Decidable propositions |
| 上流 URL: | https://github.com/phadej/dec |
| ライセンス: | BSD |
| パッケージ容量: | 15.8 KB |
| インストール容量: | 48.9 KB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-11 17:18:27 JST |
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-dec |
| 説明: | Decidable propositions |
| 上流 URL: | https://github.com/phadej/dec |
| ライセンス: | BSD |
| パッケージ容量: | 15.8 KB |
| インストール容量: | 48.9 KB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-11 17:18:27 JST |