Package filter
Package Version Project Licence Branch Repository Architecture Maintainer Build date
coq 8.19.1-r3 URL LGPL-2.1-or-later edge testing aarch64 Celeste 2024-03-23 19:56:11
coq 8.19.1-r3 URL LGPL-2.1-or-later edge testing x86_64 Celeste 2024-03-23 19:56:11
coq 8.19.1-r3 URL LGPL-2.1-or-later edge testing ppc64le Celeste 2024-03-23 19:56:11