haskell-sbv

Paket-Details

Name haskell-sbv
Version 7.13-16
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 16.02.2019 21:47
Veröffentlicht am 16.02.2019 23:29
Quelltext Quelldateien, Änderungshistorie
Bugs Bug-Tracker
Paket haskell-sbv-7.13-16-x86_64.pkg.tar.xz
PGP-Signatur haskell-sbv-7.13-16-x86_64.pkg.tar.xz .sig
Paket-Größe 2,39 MByte
Installations-Größe 18,91 MByte

Dateien