Package details
Package coq
Version 8.19.1-r3
Description Formal proof management system
Project https://coq.inria.fr
License LGPL-2.1-or-later
Branch edge
Repository testing
Architecture ppc64le
Size 220.58 MB
Installed size 605.55 MB
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 (5)
Required by (0)
Sub Packages (1)