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

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

Branch: CURRENT, Version: 8.15.2nb19, Package name: coq-8.15.2nb19, 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: 7053.51 KB

Version history: (Expand)

CVS history: (Expand)


   2024-04-07 09:35:33 by Thomas Klausner | Files touched by this commit (1138) 
Log message:
*: bump for cairo buildlink3.mk change

lzo was made an option
   2024-04-06 10:07:18 by Thomas Klausner | Files touched by this commit (1490) 
Log message:
* recursive bump for libxkbcommon 1.7.0

Marc Baudoin reported problems with using old binary packages
with the new libkxbcommon, so force everything to 1.7.0
   2023-11-14 15:03:25 by Thomas Klausner | Files touched by this commit (1145) 
Log message:
*: recursive bump for cairo dependency changes
   2023-11-12 14:24:43 by Thomas Klausner | Files touched by this commit (2570) 
Log message:
*: revebump for new brotli option for freetype2

Addresses PR 57693
   2023-11-08 14:21:43 by Thomas Klausner | Files touched by this commit (2377) 
Log message:
*: recursive bump for icu 74.1
   2023-11-07 23:38:10 by Thomas Klausner | Files touched by this commit (112) 
Log message:
*: latest py-sphinx only support Python 3.9+
   2023-10-21 19:11:59 by Greg Troxel | Files touched by this commit (1345) | Package updated
Log message:
recursive revbump for tiff update
   2023-08-14 07:25:36 by Thomas Klausner | Files touched by this commit (1247) 
Log message:
*: recursive bump for Python 3.11 as new default