Kali Linux Package Tracker

From: Kali Repository <[email protected]>
Subject: coq-math-classes 8.19.0-1 removed from kali-rolling
Date: Mon, 19 Aug 2024 17:47:12 +0000 (UTC)
To: Kali Package Tracker <[email protected]>

The package coq-math-classes 8.19.0-1 has been removed from kali-rolling.
-- 
More information about coq-math-classes: https://pkg.kali.org/pkg/coq-math-classes

News for package coq-math-classes