Package filter
Package Version Project License Branch Repository Architecture Maintainer Build date
yices2-dev 2.6.5-r0 URL GPL-3.0-or-later edge testing x86_64 Patrycja Rosa 2025-03-02 23:00:01