Package details
Package coq-doc
Version 8.19.1-r3
Description Formal proof management system (documentation)
Project https://coq.inria.fr
License LGPL-2.1-or-later
Branch edge
Repository testing
Architecture x86_64
Size 41.04 kB
Installed size 184 kB
Origin coq
Maintainer Celeste
Build time 2024-03-23 19:56:11
Commit 3f819218ce771f147177f494fe9c5e01493c279f
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (0)
Required by (0)
Sub Packages (1)