Kali Linux Package Tracker

News for package agda-stdlib

From: Kali Repository <[email protected]>
To: Kali Package Tracker <[email protected]>
Subject: agda-stdlib 0.9-1 removed from kali-rolling
Date: Mon, 21 Dec 2015 12:06:42 +0000 (UTC)

The package agda-stdlib 0.9-1 has been removed from kali-rolling.
-- 
More information about agda-stdlib: http://pkg.kali.org/pkg/agda-stdlib