Kali Linux Package Tracker

News for package agda

From: Kali Repository <[email protected]>
To: Kali Package Tracker <[email protected]>
Subject: agda 2.4.2.2-4 removed from kali-dev
Date: Mon, 21 Dec 2015 12:01:34 +0000 (UTC)

The package agda 2.4.2.2-4 has been removed from kali-dev.
-- 
More information about agda: http://pkg.kali.org/pkg/agda