coq 8.16.1-1

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
Origin
Arch Linux
Package
Source Files
View Changes
Download

Dependencies

ocaml
ocaml-findlib
coin-or-csdp (optional) - for psatz plugin
coq-doc (optional) - offline documentation
coqide (optional) - graphical Coq IDE
python-argparse (optional) - needed by some coq tools (e.g. TimeFileMaker)

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.