haskell-sbv
Paket-Details
| Name | haskell-sbv |
|---|---|
| Version | 10.3-14 |
| Beschreibung | SMT Based Verification: Symbolic Haskell theorem prover using SMT solving |
| URL | https://leventerkok.github.io/sbv |
| Lizenzen | BSD |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 07.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | haskell-sbv-10.3-14-x86_64.pkg.tar.zst |
| PGP-Signatur | haskell-sbv-10.3-14-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 4.6 MiB |
| Installations-Größe | 32.8 MiB |
| Beliebtheit |