Packages of Kali Linux / kali-last-snapshot

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description
main	i386	libghc-what4-dev	1.6.3-1+b2	optional	34.2 kB	Solver-agnostic symbolic values support for issuing queries
main	i386	libghc-what4-dev	1.6.3-1	optional	34.2 kB	Solver-agnostic symbolic values support for issuing queries
main	i386	libghc-what4-dev	1.5.1-4+b5	optional	56.7 kB	Solver-agnostic symbolic values support for issuing queries

Showing 1–3 of 3 packages

Page 1 of 1