Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
coq 8.19.1-r3 URL LGPL-2.1-or-later edge community ppc64le Celeste 2024-04-30 03:53:00