haskell-sbv

Paket-Details

Name haskell-sbv
Version 8.3-31
Beschreibung SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
URL https://leventerkok.github.com/sbv
Lizenzen BSD
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 19.10.2019 00:26
Veröffentlicht am 19.10.2019 09:29
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-sbv-8.3-31-x86_64.pkg.tar.xz
PGP-Signatur haskell-sbv-8.3-31-x86_64.pkg.tar.xz.sig
Paket-Größe 3,17 MByte
Installations-Größe 25,92 MByte

Dateien