haskell-simple-smt
Paket-Details
| Name | haskell-simple-smt |
|---|---|
| Version | 0.9.8-2 |
| Beschreibung | A simple way to interact with an SMT solver process |
| URL | https://github.com/yav/simple-smt |
| Lizenzen | BSD-3-Clause |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 13.10.2025 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | haskell-simple-smt-0.9.8-2-x86_64.pkg.tar.zst |
| PGP-Signatur | haskell-simple-smt-0.9.8-2-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 85.7 KiB |
| Installations-Größe | 387.5 KiB |
| Beliebtheit |