Kali Linux Package Tracker

News for package agda-stdlib

From: Kali Repository <[email protected]>
Subject: agda-stdlib 1.3-2 removed from kali-dev
Date: Tue, 09 Aug 2022 18:09:20 +0000 (UTC)
To: Kali Package Tracker <[email protected]>

The package agda-stdlib 1.3-2 has been removed from kali-dev.
-- 
More information about agda-stdlib: http://pkg.kali.org/pkg/agda-stdlib