haskell-smtlib
Paket-Details
| Name | haskell-smtlib |
|---|---|
| Version | 1.1-17 |
| Beschreibung | A library for working with the SMTLIB format |
| URL | https://github.com/yav/smtLib |
| Lizenzen | BSD |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 13.10.2025 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | haskell-smtlib-1.1-17-x86_64.pkg.tar.zst |
| PGP-Signatur | haskell-smtlib-1.1-17-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 302.6 KiB |
| Installations-Größe | 1.7 MiB |
| Beliebtheit |