Kali Linux Package Tracker

From: Kali Repository <[email protected]>
Subject: coq-ext-lib 0.11.7-2 imported into kali-rolling
Date: Tue, 31 Jan 2023 12:10:42 +0000 (UTC)
To: Kali Package Tracker <[email protected]>

The package coq-ext-lib 0.11.7-2 has been added to kali-rolling.
It has been imported from Debian: https://tracker.debian.org/pkg/coq-ext-lib
-- 
More information about coq-ext-lib: http://pkg.kali.org/pkg/coq-ext-lib

News for package coq-ext-lib