./lang/coq, Theorem prover which extracts programs from proofs

[ Image CVSweb ] [ Image Homepage ] [ Image RSS ] [ Image Required by ]

Branch: CURRENT, Version: 8.20.1nb9, Package name: coq-8.20.1nb9, Maintainer: dholland

From http://coq.inria.fr/doc/tutorial.html:

Coq is a Proof Assistant for a Logical Framework known as the
Calculus of Inductive Constructions. It allows the interactive
construction of formal proofs, and also the manipulation of
functional programs consistently with their specifications.


Required to run:
[lang/ocaml] [x11/gtk3] [graphics/adwaita-icon-theme] [math/ocaml-num] [lang/python37] [x11/ocaml-lablgtk3]

Required to build:
[pkgtools/x11-links] [x11/xcb-proto] [x11/fixesproto4] [pkgtools/cwrappers] [x11/xorgproto]

Package options: coqide

Master sites:

Filesize: 7659.109 KB

Version history: (Expand)

CVS history: (Expand)


   2026-06-11 09:18:01 by Thomas Klausner | Files touched by this commit (788) 
Log message:
gtk3: bump PKGREVISION for wayland option default change

Recursive bump to hopefully fix bulk build fallout due to the
unversioned change.
   2026-03-01 13:38:42 by Greg Troxel | Files touched by this commit (218) | Package updated
Log message:
*: revbump for lang/ocaml micro (security) update
   2026-02-17 14:39:16 by Thomas Klausner | Files touched by this commit (200) 
Log message:
*: recursive bump for ocaml-dune becoming a build dependency
   2026-01-27 09:41:10 by Thomas Klausner | Files touched by this commit (1344) 
Log message:
*: recursive bump for removal of cairo's xcb option
   2026-01-07 09:49:50 by Thomas Klausner | Files touched by this commit (2525) 
Log message:
*: recursive bump for icu 78.1
   2026-01-06 12:18:47 by Thomas Klausner | Files touched by this commit (48) 
Log message:
*: forbid some more Python 3.11 for sphinx users

List from grep
   2025-10-23 22:40:24 by Thomas Klausner | Files touched by this commit (2999) 
Log message:
*: recursive bump for pcre2

Running an old binary against the new pcre doesn't work:
/usr/pkg/lib/libpcre2-8.so.0: version PCRE2_10.47 required by \ 
/usr/pkg/lib/libglib-2.0.so.0 not defined
   2025-10-09 09:58:14 by Thomas Klausner | Files touched by this commit (442) 
Log message:
*: remove reference to (removed) Python 3.9