| Port details on branch 2024Q1 |
- coq Theorem prover based on lambda-C
- 8.6_20,3 math
 =0      8.6_20,3Version of this port present on the latest quarterly branch. - Maintainer: hrs@FreeBSD.org
- Port Added: 2024-03-27 00:00:05
- Last Update: 2024-04-07 03:01:41
- Commit Hash: f78a53f
- License: LGPL21
- WWW:
- https://coq.inria.fr/
- Description:
- Developed in the LogiCal project, the Coq tool is a formal proof
management system: a proof done with Coq is mechanically checked
by the machine.
In particular, Coq allows:
* the definition of functions or predicates,
* to state mathematical theorems and software specifications,
* to develop interactively formal proofs of these theorems,
* to check these proofs by a small certification "kernel".
Coq is based on a logical framework called "Calculus of Inductive
Constructions" extended by a modular development system for
theories.
CoqIde is installed if the x11-toolkits/ocaml-lablgtk2 port is installed.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- Dependency lines:
-
- Conflicts:
- CONFLICTS_INSTALL:
- To install the port:
- cd /usr/ports/math/coq/ && make install clean
- To add the package, run one of these commands:
- pkg install math/coq
- pkg install coq
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.- PKGNAME: coq
- Package flavors (<flavor>: <package>)
- full: coq
- canna: coq-emacs_canna
- nox: coq-emacs_nox
- devel_full: coq-emacs_devel
- devel_nox: coq-emacs_devel_nox
- distinfo:
- TIMESTAMP = 1483223265
SHA256 (coq-8.6.tar.gz) = 6e3c3cf5c8e2b0b760dc52738e2e849f3a8c630869659ecc0cf41413fcee81df
SIZE (coq-8.6.tar.gz) = 5538848
No package information for this port in our database- Sometimes this happens. Not all ports have packages. Perhaps there is a build error. Check the fallout link:
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- camlp5 : devel/ocaml-camlp5
- ocamlfind : devel/ocaml-findlib
- META : math/ocaml-num
- hevea : textproc/hevea
- lablgtk2 : x11-toolkits/ocaml-lablgtk2
- ocamlc : lang/ocaml
- emacs-29.3 : editors/emacs@full
- gettext-runtime>=0.22_1 : devel/gettext-runtime
- gmake>=4.3 : devel/gmake
- tex.fmt : print/tex-formats
- dvips : print/tex-dvipsk
- Runtime dependencies:
-
- dllnums.so : math/ocaml-num
- lablgtk2 : x11-toolkits/ocaml-lablgtk2
- ocamlc : lang/ocaml
- emacs-29.3 : editors/emacs@full
- Library dependencies:
-
- libfontconfig.so : x11-fonts/fontconfig
- libfreetype.so : print/freetype2
- libintl.so : devel/gettext-runtime
- libatk-1.0.so : accessibility/at-spi2-core
- libcairo.so : graphics/cairo
- libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
- libglib-2.0.so : devel/glib20
- libintl.so : devel/gettext-runtime
- libgtk-x11-2.0.so : x11-toolkits/gtk20
- libgtksourceview-2.0.so : x11-toolkits/gtksourceview2
- libxml2.so : textproc/libxml2
- libpango-1.0.so : x11-toolkits/pango
- Patch dependencies:
-
- ocamlc : lang/ocaml
-
- There are no ports dependent upon this port
Configuration Options:- ===> The following configuration options are available for coq-8.6_20,3:
DOCS=on: Build and/or install documentation
IDE=on: Include desktop environment (coqide)
===> Use 'make config' to modify these settings
- Options name:
- math_coq
- USES:
- emacs gettext-runtime gmake gnome tex
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
Number of commits found: 3
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
8.6_20,3
07 Apr 2024 03:01:41
 |
Joseph Mingrone (jrm) |
*: Fix merge resolution errors after chasing editors/emacs updates
None of these ports built after the merges to chase editors/emacs
because the distinfos were not updated. Revert the changes for these
ports and just bump PORTREVSION.
Reported by: jhale
Fixes: 082542e6 */*: Chase editors/emacs update
Fixes: bb5373b0 Chase editors/emacs update |
8.19_1,3
26 Mar 2024 23:51:49
|
Joseph Mingrone (jrm) |
Chase editors/emacs update
- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
paths
- Bump PORTREVISION of ports with USES=emacs. This is required for two
reasons. Emacs lisp files need to be byte compiled for the new Emacs
version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
need to be relocated.
Reviewed by: ashish
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D44492
(cherry picked from commit 26421ac37c3c013c7809400976c866a8f70db436) |
8.6_20,3
26 Mar 2024 23:41:02
|
Joseph Mingrone (jrm) |
*/*: Chase editors/emacs update
- Bump Emacs version in Mk/Uses/emacs.mk to update version-specific
paths
- Bump PORTREVISION of ports with USES=emacs. This is required for two
reasons. Emacs lisp files need to be byte compiled for the new Emacs
version, and files installed under, e.g., EMACS_VERSION_SITE_LISPDIR
need to be relocated.
Reviewed by: ashish
Sponsored by: The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D43615
(cherry picked from commit ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48) |
Number of commits found: 3
|
As an Amazon Associate I earn from qualifying purchases.