haskell-refinery 0.4.0.0-223
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-refinery |
| 説明: | Toolkit for building proof automation systems |
| 上流 URL: | https://github.com/totbwf/refinery#readme |
| ライセンス: | BSD |
| パッケージ容量: | 93.7 KB |
| インストール容量: | 621.5 KB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-17 08:04:50 JST |
依存パッケージ (6)
- ghc-libs
- haskell-mmorph
- ghc (ビルド)
- haskell-quickcheck (ビルド)
- haskell-checkers (ビルド)
- haskell-hspec (ビルド)