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