Package details
Package coq-doc
Version 8.20.0-r0
Description Formal proof management system (documentation)
Project https://coq.inria.fr/
License LGPL-2.1-or-later
Branch edge
Repository community
Architecture x86_64
Size 40.8KiB
Installed size 180.0KiB
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 (0)
Required by (0)
Sub Packages (1)
Provides (0)
Install if (2)