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 x86_64 Celeste 2024-04-30 03:53:00