haskell-simple-smt 0.9.8-1
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | haskell-simple-smt |
| 説明: | A simple way to interact with an SMT solver process |
| 上流 URL: | https://github.com/yav/simple-smt |
| ライセンス: | BSD-3-Clause |
| パッケージ容量: | 90.6 KB |
| インストール容量: | 415.6 KB |
| パッケージ作成者: | Felix Yan |
| 最終更新: | 2025-04-04 22:19:36 JST |