Kali Linux Package Tracker

News for package coq-serapi

From: Kali Repository <[email protected]>
Subject: coq-serapi 8.20.0+0.20.0-1 removed from kali-dev
Date: Tue, 26 Aug 2025 00:01:00 +0000 (UTC)
To: Kali Package Tracker <[email protected]>

The package coq-serapi 8.20.0+0.20.0-1 has been removed from kali-dev.
-- 
More information about coq-serapi: https://pkg.kali.org/pkg/coq-serapi