Architecture: | armv7h |
---|---|
Repository: | extra |
Split Packages: | coq-doc, coqide |
Description: | Formal proof management system |
Upstream URL: | https://coq.inria.fr/ |
License(s): | GPL |
Groups: | coq |
Replaces: | coq-nox |
Conflicts: | coq-nox |
Installed Size: | 686MiB |
Build Date: | Tue Dec 6 14:09:51 2022 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.