Kali Linux Package Tracker

News for package why3

From: Kali Repository <[email protected]>
To: Kali Package Tracker <[email protected]>
Subject: why3 1.3.3-3 removed from kali-dev
Date: Sat, 27 Nov 2021 06:12:40 +0000 (UTC)

The package why3 1.3.3-3 has been removed from kali-dev.
-- 
More information about why3: http://pkg.kali.org/pkg/why3