Architecture: | armv7h |
---|---|
Repository: | extra |
Base Package: | coq |
Description: | HTML and PDF documentation for the Coq proof assistant |
Upstream URL: | https://coq.inria.fr/ |
License(s): | GPL |
Groups: | coq |
Installed Size: | 101MiB |
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.