Packages of Kali Linux / kali-last-snapshot

Component

Architecture

Package name

Version

Source package

Component	Architecture	Package	Version	Priority	Size	Description	Integrity	Actions
main	i386	libghc-agda-doc	2.8.0-2	optional	185.2 kB	dependently typed functional programming language; documentation
main	i386	libghc-agda-doc	2.6.4.3-1	optional	181.3 kB	dependently typed functional programming language; documentation

Showing 1–2 of 2 packages

Page 1 of 1