haskell-sbv

Paket-Details

Name haskell-sbv
Version 7.13-1
Beschreibung SMT Based Verification: Symbolic Haskell theorem prover using SMT solving
URL http://leventerkok.github.com/sbv
Lizenzen BSD
Repositorium community
Architektur x86_64
Gruppen
Packer Felix Yan
Erstellt am 17.12.2018 05:37
Veröffentlicht am 17.12.2018 06:03
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-sbv-7.13-1-x86_64.pkg.tar.xz
PGP-Signatur haskell-sbv-7.13-1-x86_64.pkg.tar.xz .sig
Paket-Größe 2,38 MByte
Installations-Größe 18,92 MByte

Dateien