Package details
Package rocq
Version 9.1.1-r0
Description Formal proof management system
Project https://rocq-prover.org/
License LGPL-2.1-or-later
Branch edge
Repository community
Architecture ppc64le
Size 185.1MiB
Installed size 492.3MiB
Origin rocq
Maintainer Wen Heping
Build time 2026-03-25 08:05:48
Commit ae0d2a58d16d7c7755bfaa8eb23c3e736076a781
Merge request N/A
Git repository Git repository
Build log Build log
Issues Open packaging issues
Contents Contents of package
Flag
Depends (140)
Required by (2)
Sub Packages (2)
Provides (1162)
Install if (0)