Package details
Package coq
Version 8.20.0-r0
Description Formal proof management system
Project https://coq.inria.fr/
License LGPL-2.1-or-later
Branch edge
Repository community
Architecture x86_64
Size 206.1MiB
Installed size 540.9MiB
Origin coq
Maintainer Celeste
Build time 2024-09-05 03:17:03
Commit 972dd4d2f8e81e0c85488e6327bacbd0544cdb51
Merge request 71456
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (126)
Required by (0)
Sub Packages (1)
Provides (1112)
Install if (0)