Kali Linux Package Tracker

News for package agda

From: Kali Repository <[email protected]>
Subject: agda 2.6.3-1 removed from kali-rolling
Date: Thu, 29 Aug 2024 18:10:14 +0000 (UTC)
To: Kali Package Tracker <[email protected]>

The package agda 2.6.3-1 has been removed from kali-rolling.
-- 
More information about agda: https://pkg.kali.org/pkg/agda