Kali Linux Package Tracker

News for package agda

From: Kali Repository <[email protected]>
To: Kali Package Tracker <[email protected]>
Subject: agda 2.6.0.1-1 removed from kali-dev
Date: Sat, 1 Aug 2020 00:06:59 +0000 (UTC)

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