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

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 8.20.1, Package name: coq-8.20.1, 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)


   2025-03-03 10:29:21 by Thomas Klausner | Files touched by this commit (1)
Log message:
coq: remove REPLACE_* with no effect
   2025-02-24 04:41:03 by David A. Holland | Files touched by this commit (7) | Package updated
Log message:
lang/coq: update to 8.20.1

pkgsrc changes: g/c obsolete patches; update build mechanism.

 *** Note:
 ***
 *** Because of upstream build changes, the stdlib files have moved:
 ***    ${PREFIX}/lib/coq/theories
 ***  ==>
 ***    ${PREFIX}/lib/ocaml/site-lib/coq/theories
 ***
 *** This package includes a symlink in the old location; future
 *** versions might not.

Upstream changes since 8.15.2:
...way too many to paste here since it's been way too long since the
last update.

See https://coq.inria.fr/doc/v8.20/refman/changes.html.
   2025-02-23 17:59:26 by Thomas Klausner | Files touched by this commit (79)
Log message:
*: py-sphinx 8.2 drops support for Python 3.10
   2024-12-27 09:21:09 by Thomas Klausner | Files touched by this commit (1055)
Log message:
*: recursive bump for pango requiring fontconfig 2.15
   2024-11-17 08:17:06 by Thomas Klausner | Files touched by this commit (944)
Log message:
*: recursive bump for default-on option of at-spi2-core
   2024-11-14 23:22:33 by Thomas Klausner | Files touched by this commit (2429)
Log message:
*: recursive bump for icu 76 shlib major version bump
   2024-11-01 13:55:19 by Thomas Klausner | Files touched by this commit (2426)
Log message:
*: revbump for icu downgrade
   2024-11-01 01:54:33 by Thomas Klausner | Files touched by this commit (2427)
Log message:
*: recursive bump for icu 76.1 shlib bump