Yirmibes / libghc-what4-doc

Solver-agnostic symbolic values support for issuing queries; documentation

•     Debian Haskell Group
•     pkg-haskell-maintainers@lists.alioth.debian.org
•     https://github.com/GaloisInc/what4
•     1.5.1-4
•     libghc-what4-doc_1.5.1-4_all.deb
•     1.5 MiB
•     doc
•     all
•      haskell-what4_1.5.1-4.debian.tar.xz
            haskell-what4_1.5.1-4.dsc
            haskell-what4_1.5.1.orig.tar.gz
•     Debian Versiyonu: 1.5.1-4
•     Solver-agnostic symbolic values support for issuing queries; documentation

Diğer Pardus sürümlerindeki versiyonlar