Package filter
Package Version Project License Branch Repository Architecture Maintainer Build date
coq 8.20.0-r0 URL LGPL-2.1-or-later edge community x86_64 Celeste 2024-09-05 03:17:03