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 v3.20
Repository community
Architecture x86_64
Size 216.4MiB
Installed size 578.6MiB
Origin coq
Maintainer Celeste
Build time 2024-04-30 03:53:00
Commit de66f1dc395e5bae5cbdb5a3d8c7dfd7b67ca5a3
Merge request 65036
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (99)
Required by (0)
Sub Packages (1)
Provides (1059)
Install if (0)