haskell-what4
Paket-Details
| Name | haskell-what4 |
|---|---|
| Version | 1.6-96 |
| Beschreibung | Solver-agnostic symbolic values support for issuing queries |
| URL | https://github.com/GaloisInc/what4 |
| Lizenzen | BSD-3-Clause |
| Repositorium | extra |
| Architektur | x86_64 |
| Packer | Felix Yan |
| Erstellt am | 08.04.2026 |
| Quelltext | Quelldateien, Änderungshistorie |
| Bugs | Issue-Tracker |
| Paket | haskell-what4-1.6-96-x86_64.pkg.tar.zst |
| PGP-Signatur | haskell-what4-1.6-96-x86_64.pkg.tar.zst.sig |
| Paket-Größe | 2.8 MiB |
| Installations-Größe | 18.4 MiB |
| Beliebtheit |
Abhängigkeiten
Benötigt
ghc-libshaskell-asynchaskell-attoparsechaskell-bifunctorshaskell-bimaphaskell-boundedchanhaskell-bv-sizedhaskell-concurrent-extrahaskell-config-valuehaskell-deriving-compathaskell-fingertreehaskell-hashablehaskell-hashtableshaskell-io-streamshaskell-lenshaskell-libbfhaskell-megaparsechaskell-ordered-containershaskell-panichaskell-parameterized-utilshaskell-prettyprinterhaskell-s-cargothaskell-scientifichaskell-temporaryhaskell-th-lifthaskell-th-lift-instanceshaskell-unliftiohaskell-unordered-containershaskell-utf8-stringhaskell-vectorhaskell-versionshaskell-zenc
Optional
Build-Abhängigkeiten
ghchaskell-contravarianthaskell-hedgehoghaskell-lumberjackhaskell-quickcheckhaskell-tastyhaskell-tasty-checklisthaskell-tasty-expected-failurehaskell-tasty-hedgehoghaskell-tasty-hunithaskell-tasty-quickcheckhaskell-tasty-sugaruusi