Kali Linux Package Tracker

From: Kali Repository <[email protected]>
Subject: coq-menhirlib 20231231+ds-3 removed from kali-dev
Date: Sat, 17 Aug 2024 00:00:57 +0000 (UTC)
To: Kali Package Tracker <[email protected]>

The package coq-menhirlib 20231231+ds-3 has been removed from kali-dev.
-- 
More information about coq-menhirlib: https://pkg.kali.org/pkg/coq-menhirlib

News for package coq-menhirlib