| Architecture: | aarch64 |
|---|---|
| Repository: | extra |
| Split Packages: | coq-doc, coqide |
| Description: | Formal proof management system |
| Upstream URL: | https://coq.inria.fr/ |
| License(s): | LGPL-2.1-or-later |
| Groups: | coq |
| Replaces: | coq-nox |
| Conflicts: | coq-nox |
| Installed Size: | 585MiB |
| Build Date: | Sun Feb 23 13:49:08 2025 UTC |
Copyright ©2009-2022 Arch Linux ARM
The registered trademark Linux® is used pursuant to a sublicense from LMI, the exclusive licensee of Linus Torvalds, owner of the mark on a world-wide basis.
The Arch Linux™ name and logo are used under permission of the Arch Linux Project Lead.