Kali Linux Package Tracker

News for package coq

From: Kali Repository <[email protected]>
To: Kali Package Tracker <[email protected]>
Subject: coq 8.12.0-3 removed from kali-rolling
Date: Mon, 29 Nov 2021 00:06:17 +0000 (UTC)

The package coq 8.12.0-3 has been removed from kali-rolling.
-- 
More information about coq: http://pkg.kali.org/pkg/coq