notbugAs an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photosAll times are UTC
Ukraine
Port details
coq Theorem prover based on lambda-C
8.19_4,3 math on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 8.19_3,3Version of this port present on the latest quarterly branch.
Maintainer: hrs@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2004-10-16 01:04:52
Last Update: 2024-07-04 21:31:24
Commit Hash: b946d41
People watching this port, also watch:: ocaml-lwt, osslsigncode
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb

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:
  • coq>0:math/coq
Conflicts:
CONFLICTS_INSTALL:
  • coq
  • coq-emacs_*
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
  • wayland: coq-emacs_wayland
  • devel_full: coq-emacs_devel
  • devel_nox: coq-emacs_devel_nox
distinfo:
TIMESTAMP = 1707224242 SHA256 (coq-coq-V8.19.0_GH0.tar.gz) = 17e5c10fadcd3cda7509d822099a892fcd003485272b56a45abd30390f6a426f SIZE (coq-coq-V8.19.0_GH0.tar.gz) = 7674352

Packages (timestamps in pop-ups are UTC):
coq
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest8.19_4,38.19_4,3--8.19_4,3---
FreeBSD:13:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:14:latest8.19_3,38.19_4,3--8.19_4,3---
FreeBSD:14:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:15:latest8.19_4,38.19_4,3n/a-n/a-8.6_20,3-
 

coq-emacs_canna
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest8.19_4,38.19_4,3--8.19_4,3---
FreeBSD:13:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:14:latest8.19_3,38.19_4,3--8.19_4,3---
FreeBSD:14:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:15:latest8.19_4,38.19_4,3n/a-n/a-8.6_20,3-
 

coq-emacs_devel
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest8.19_4,38.19_4,3--8.19_4,3---
FreeBSD:13:quarterly8.19_1,38.19_3,3--8.19_3,3---
FreeBSD:14:latest8.19_3,38.19_4,3--8.19_4,3---
FreeBSD:14:quarterly8.19_1,38.19_3,3--8.19_3,3---
FreeBSD:15:latest8.19_4,38.19_4,3n/a-n/a-8.6_20,3-
 

coq-emacs_devel_nox
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest8.19_4,38.19_4,3--8.19_4,3---
FreeBSD:13:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:14:latest8.19_3,38.19_4,3--8.19_4,3---
FreeBSD:14:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:15:latest8.19_4,38.19_4,3n/a-n/a-8.6_20,3-
 

coq-emacs_nox
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest8.19_4,38.19_4,3--8.19_4,3---
FreeBSD:13:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:14:latest8.19_3,38.19_4,3--8.19_4,3--8.6_17,3
FreeBSD:14:quarterly8.19_1,38.19_3,3--8.19_3,3-8.6_19,38.6_19,3
FreeBSD:15:latest8.19_4,38.19_4,3n/a-n/a-8.6_20,3-
 

coq-emacs_wayland
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latest8.19_4,38.19_4,3--8.19_4,3---
FreeBSD:13:quarterly-8.19_3,3--8.19_3,3---
FreeBSD:14:latest8.19_3,38.19_4,3--8.19_4,3---
FreeBSD:14:quarterly-8.19_3,3--8.19_3,3---
FreeBSD:15:latest8.19_4,38.19_4,3n/a-n/a---
 

Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. META : math/ocaml-num
  2. META : math/ocaml-zarith
  3. bash : shells/bash
  4. camlp5 : devel/ocaml-camlp5
  5. META : x11-toolkits/ocaml-lablgtk3
  6. ocamlc : lang/ocaml
  7. camlp4 : devel/ocaml-camlp4
  8. emacs-29.4 : editors/emacs@full
  9. gettext-runtime>=0.22_1 : devel/gettext-runtime
  10. gmake>=4.4.1 : devel/gmake
  11. ocaml-dune>=3.7.1_2 : devel/ocaml-dune
Runtime dependencies:
  1. META : math/ocaml-num
  2. META : math/ocaml-zarith
  3. META : x11-toolkits/ocaml-lablgtk3
  4. ocamlc : lang/ocaml
  5. emacs-29.4 : editors/emacs@full
Library dependencies:
  1. libfontconfig.so : x11-fonts/fontconfig
  2. libfreetype.so : print/freetype2
  3. libgmp.so : math/gmp
  4. libharfbuzz.so : print/harfbuzz
  5. libintl.so : devel/gettext-runtime
  6. libatk-1.0.so : accessibility/at-spi2-core
  7. libcairo.so : graphics/cairo
  8. libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
  9. libglib-2.0.so : devel/glib20
  10. libintl.so : devel/gettext-runtime
  11. libgtk-3.so : x11-toolkits/gtk30
  12. libgtksourceview-3.0.so : x11-toolkits/gtksourceview3
  13. libxml2.so : textproc/libxml2
  14. libharfbuzz.so : print/harfbuzz
  15. libpango-1.0.so : x11-toolkits/pango
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
There are no ports dependent upon this port

Configuration Options:
===> The following configuration options are available for coq-8.19_4,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 ocaml:dune python:env shebangfix tex
FreshPorts was unable to extract/find any pkg message
Master Sites:
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/coq/coq/tar.gz/V8.19.0?dummy=/
Collapse this list.

Number of commits found: 100

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
8.19_4,3
04 Jul 2024 21:31:24
commit hash: b946d410cc2a13459d4e39d80244e2fa18c3b514commit hash: b946d410cc2a13459d4e39d80244e2fa18c3b514commit hash: b946d410cc2a13459d4e39d80244e2fa18c3b514commit hash: b946d410cc2a13459d4e39d80244e2fa18c3b514 files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
Chase major version update of editors/emacs-devel

Bump PORTREVISION of most USES=emacs ports after editors/emacs-devel
major version increased from 30 to 31.

Sponsored by:	The FreeBSD Foundation
8.19_3,3
23 Jun 2024 22:10:50
commit hash: 3213a3f54a2975e0fe88154165e3aa3780ad2a1ccommit hash: 3213a3f54a2975e0fe88154165e3aa3780ad2a1ccommit hash: 3213a3f54a2975e0fe88154165e3aa3780ad2a1ccommit hash: 3213a3f54a2975e0fe88154165e3aa3780ad2a1c files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
Chase editors/emacs update to 29.4

- 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, yasu
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D45705
8.19_2,3
22 May 2024 17:16:28
commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533commit hash: bb2bea65dbac365184f0efd68e9b79201fe5c533 files touched by this commit
Guido Falsi (madpilot) search for other commits by this committer
Author: Benjamin Jacobs
ocaml: Updates to ocaml compiler and several ocaml ports

- Update devel/ocaml to 4.14.2 [1]
- Specify runtime dependency on GNU AS as full path, this fixes
  build on armv6 - armv7 [1] [2]
- converters/ocaml-base64: Update to 3.5.1, add LICENSE, other
  improvements
- converters/ocaml-jsonm: Strip shared objects [3]
- databases/ocaml-dbm: Update to 1.3, move to gitlub, other
  improvements
- devel/menhir: Update to 20231231
- devel/ocaml-base: Unbreak non-x86 [2]
- devel/ocaml-camlp-streams: Silence patch and strip commands
- devel/ocaml-ipaddr: Update to 5.5.0
- devel/ocaml-lwt: Update to 5.7.0 [4]
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.19_1,3
26 Mar 2024 22:51:47
commit hash: 26421ac37c3c013c7809400976c866a8f70db436commit hash: 26421ac37c3c013c7809400976c866a8f70db436commit hash: 26421ac37c3c013c7809400976c866a8f70db436commit hash: 26421ac37c3c013c7809400976c866a8f70db436 files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
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
8.19,3
11 Mar 2024 21:50:58
commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3commit hash: 8025aa10ceb960b62c9a826fb56eb1ac68ea1ce3 files touched by this commit
Guido Falsi (madpilot) search for other commits by this committer
Author: Benjamin Jacobs
lang/ocaml: Update to 4.14.1

The 'force-safe-string; setting is NOT enabled, as opposed to the
new upstream default. OCaml users are encouraged to migrate to safe
strings as soon as possible.

- The X11 library isn't part of lang/ocaml anymore, users should
install x11-toolkits/ocaml-graphics.
- Add new 'ocaml' USES
- Bump PORTREVISION on dependent ports, due to ABI Change.

The update includes the following updates to existing ports (needed
to keep them working):

- devel/ocaml-camlp4: Updated to 4.14+1
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_20,3
27 Jan 2024 22:33:05
commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48commit hash: ab463bdca9c29ec22be0c7e6d7aa27bb2a980b48 files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
*/*: 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
8.6_19,3
20 Aug 2023 00:53:11
commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2commit hash: ba4eb3a50e909d902a6e031e4c3477ed369799d2 files touched by this commit
Yasuhiro Kimura (yasu) search for other commits by this committer
editors/emacs: Update to 29.1

* Update Canna patch to the one for Emacs 29.
* Add new options PGTK, SQLITE3, TREESITTER and WEBP. SQLITE3 and
  TREESITTER are ON by default. PGTK and WEBP options are excluded
  from nox flavor.
* CARGO option doesn't imply XFT but prevents it. It is caused as a
  result of adding pure GTK support (PGTK option).
* OTK options doesn't imply XTF any more. It is also caused as a
  result of adding pure GTK support.
* Update NATIVECOMP option so it specifies ahead-of-time compilation
  via the configure argument.
* Remove "experimental" from NATIVECOMP_DESC.
* Add print/freetype2 and x11-fonts/fontconfig to CAIRO_LIB_DEPENDS
  and GTK3_LIB_DEPENDS. Necessary to link emacs binary with shared
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_18,3
05 Jul 2023 09:55:16
commit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2ccommit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2ccommit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2ccommit hash: 2b40e4609399858e2bfbddcf961bd7c947f6ed2c files touched by this commit
Guido Falsi (madpilot) search for other commits by this committer
lang/ocaml: Update to 4.08.1

This update allows (and for some requires) to also update dependencies
to newer versions. Where possible I updated to the latest version.

The ocaml port now is MAKE_JOBS safe.

Changes to dependent ports included in this commit:

- devel/ocaml-sexplib: Rename to devel/ocaml-sexplib0 adapting to
  upstream. Update to 0.16.0
- devel/coccinelle: Update to 1.1.1, moved to github
- devel/ocaml-camlp4: Update to 4.08+1
- devel/ocaml-camomile: Use dune for build, adapt port
- devel/ocaml-cppo: Fix lib files installation [1]
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_17,3
23 Apr 2023 09:09:58
commit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5bcommit hash: 8d3e020ed032a8db00208994d0db646de7dc6f5b files touched by this commit
Gerald Pfeifer (gerald) search for other commits by this committer
*: Bump PORTREVISIONs for math/mpc update to 1.3.1
8.6_15,3
11 Apr 2023 15:43:18
commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5commit hash: 24e24a19568e8038e3926d7050e1a6052a8b0df5 files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
*/tex*: Update version 20210325=>20230313

- devel/tex-kpathsea: Update version 6.3.3=>6.3.5
- print/texlive-tlmgr: Update version 20210325=>20230313
  * Add LICENSE GPLv2
- devel/tex-libtexlua: Update distinfo from 20230313 dists
- devel/tex-libtexluajit: Update distinfo from 20230313 dists
- print/tex-ptexenc: Update version 1.3.9=>1.4.3
  * Pet portclippy
- devel/tex-web2c: Update version 20210325=>20230313
- devel/tex-synctex: Update distinfo from 20230313 dists
- print/tex-basic-engines: Update version 20210325=>20230313
- print/texlive-base: Update version 20210325=>20230313
- print/texlive-docs: Update version 20210325=>20230313
- print/texlive-full: Update version 20210325=>20230313
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_14,3
02 Mar 2023 05:23:10
commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8commit hash: fa81a4f5f8ed2bc2104eca4ebbb1b69731bae2e8 files touched by this commit
Tobias C. Berner (tcberner) search for other commits by this committer
accessibility/at-spi2-core: update to 2.46.0

What's new in at-spi2-core 2.46.0:
* Fix GetInterfaces documentation on org.a11y.atspi.Accessible
  interface.

What's new in at-spi2-core 2.45.91:
* Send device event controller events using the same signature as other
  events.
* Document the Accessible, Action, and Cache dbus interfaces.
* Fix license of atspi-gmain.c (#87).

What's new in at-spi2-core 2.45.90:
* xml: Add some documentation.
* xml: Fix event arguments.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_13,3
19 Dec 2022 14:44:58
commit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dccommit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dccommit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dccommit hash: 721e5776c957ada07a0d148f5fc3e782a251e6dc files touched by this commit
Muhammad Moinur Rahman (bofh) search for other commits by this committer
Mk/**tex.mk: Convert bsd.tex.mk to USES=tex

- Update all the consumers to use USES=tex
- USE_TEX=yes is the old way of writing USES=tex which has been removed
  and replaced in all ports
- Almost all of the USE_TEX features remains unchanged
- Some consumers had the same variables defined both in the mk
  infrastructure and also in the ports which have been removed from the
  ports as those are redundant.

In case any of the consumers are failing to build please make sure that
the nexessary USES=tex is there. Unlike previous USE_TEX=yes will no
longer load the required VARS for tex and related dependencies.

Reviewed by:	portmgr
Approved by:	portmgr (blanket)
8.6_13,3
30 Nov 2022 07:06:37
commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1commit hash: ea66012756af463a7153c6ecf84bf9fd31c75dd1 files touched by this commit
Yasuhiro Kimura (yasu) search for other commits by this committer
editors/emacs-devel: Update to 2022-11-28 snapshot

Bump PORTREVISION of consumers as EMACS_VER is changed to 30.0.50.

Changes:	https://github.com/emacs-mirror/emacs/compare/51589f81...7939184f
8.6_12,3
21 Sep 2022 07:48:19
commit hash: 164249e86734bd23f17182913f13a3a3f346a3cacommit hash: 164249e86734bd23f17182913f13a3a3f346a3cacommit hash: 164249e86734bd23f17182913f13a3a3f346a3cacommit hash: 164249e86734bd23f17182913f13a3a3f346a3ca files touched by this commit
Yasuhiro Kimura (yasu) search for other commits by this committer
editors/emacs: Update to 28.2

* Remove FCITXPATCH option as extra-patch-src_xfns.c can't be applied
  since 28.1.
* Tidy up Makefile with portfmt.
* Bump PORTREVISION of consumers.

ChangeLog:	https://www.gnu.org/software/emacs/news/NEWS.28.2

PR:		266454
Exp-run by:	antoine
Reviewed by:	ashish, jrm
Differential Revision:	https://reviews.freebsd.org/D36613
07 Sep 2022 21:58:51
commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4commit hash: fb16dfecae4a6efac9f3a78e0b759fb7a3c53de4 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)
8.6_11,3
07 Sep 2022 21:10:59
commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52commit hash: b7f05445c00f2625aa19b4154ebcbce5ed2daa52 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_11,3
09 May 2022 11:05:54
commit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546ccommit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546ccommit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546ccommit hash: 1da2c6c114ec1c5d279f42eb55287f3c60a5546c files touched by this commit
Alexey Dokuchaev (danfe) search for other commits by this committer
math/coq: add missing run-time dependency on `math/ocaml-num'

This was missed in commit 317aa0442c99 when Num library was split
off the core OCaml distribution.

PR:	263860
8.6_11,3
27 Apr 2022 13:22:38
commit hash: 0ecc15247433c78aaa70e1050991213742087a42commit hash: 0ecc15247433c78aaa70e1050991213742087a42commit hash: 0ecc15247433c78aaa70e1050991213742087a42commit hash: 0ecc15247433c78aaa70e1050991213742087a42 files touched by this commit
Piotr Kubaj (pkubaj) search for other commits by this committer
math/coq: enable on powerpc
8.6_11,3
16 Apr 2022 07:19:46
commit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568abcommit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568abcommit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568abcommit hash: 317aa0442c9942009c1f9c558f8fb6e49d4568ab files touched by this commit
Alexey Dokuchaev (danfe) search for other commits by this committer
OCaml: transient update of the stack to version 4.07.1

This is the first step in modernizing our OCaml ports infrastructure,
as we had accumulated substantial technical debt over the years when
many of its consumer ports had not received proper care and updates.

It is currently considered as the lowest supported version (baseline)
in majority of open-source OCaml projects, which would help to pull
up other ports, e.g. `devel/ocaml-dune' in smaller, manageable pieces.

For conservative hackers among us and for compatibility with RHEL 8
which is also on it, having 4.07 in the tree would allow users stick
to that package (pkg lock it) if needed.

PR:		250408, 262781
Exp-run by:	antoine
8.6_11,3
10 Apr 2022 19:11:41
commit hash: d63665f7cd9c99880704a3c5bc221829cb009744commit hash: d63665f7cd9c99880704a3c5bc221829cb009744commit hash: d63665f7cd9c99880704a3c5bc221829cb009744commit hash: d63665f7cd9c99880704a3c5bc221829cb009744 files touched by this commit
Charlie Li (vishwin) search for other commits by this committer
textproc/libxml2: bump all LIB_DEPENDS consumers

This is a separate commit to facilitate easier cherry-picking for
quarterly.

PR: 262853, 262940, 262877, 263126
Approved by: fluffy (mentor)
8.6_10,3
10 Apr 2022 18:27:14
commit hash: 4c90e1b3af44ccf4d88df788767754e27c80366bcommit hash: 4c90e1b3af44ccf4d88df788767754e27c80366bcommit hash: 4c90e1b3af44ccf4d88df788767754e27c80366bcommit hash: 4c90e1b3af44ccf4d88df788767754e27c80366b files touched by this commit
Alexey Dokuchaev (danfe) search for other commits by this committer
math/coq: force unsafe strings to unbreak against modern OCaml.
8.6_10,3
07 Apr 2022 22:12:44
commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8commit hash: d9dcd9c6879d10fa6b229f2af549a99a51a934f8 files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
Emacs ports: Bump PORTREVISION after Emacs 28.1

Reviewed by:	ashish
Sponsored by:	The FreeBSD Foundation
Differential Revision:	https://reviews.freebsd.org/D34781
8.6_9,3
26 Mar 2022 08:27:27
commit hash: 247c7db7513f1264922428278678da641c5a3f52commit hash: 247c7db7513f1264922428278678da641c5a3f52commit hash: 247c7db7513f1264922428278678da641c5a3f52commit hash: 247c7db7513f1264922428278678da641c5a3f52 files touched by this commit
Matthias Fechner (mfechner) search for other commits by this committer
textproc/libxml2: bump all dependencies

This should make sure that all dependent ports will pick
up the new version commited with a13ec21cd733f67a9fc0dc00ab45268bdc236246
8.6_8,3
10 Jan 2022 15:15:39
commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1commit hash: bcaf25a8c8046b094f6b5ab5bc258333bc326ee1 files touched by this commit
Stefan Eßer (se) search for other commits by this committer
Fix CONFLICTS entries of multiple ports

There have been lots of missing CONFLICTS_INSTALL entries, either
because conflicting ports were added without updating existing ports,
due to name changes of generated packages, due to mis-understanding
the format and semantics of the conflicts entries, or just due to
typoes in package names.

This patch is the result of a comparison of all files contained in
the official packages with each other. This comparison was based on
packages built with default options and may therefore have missed
further conflicts with optionally installed files.

Where possible, version numbers in conflicts entries have been
generalized, some times taking advantage of the fact that a port
(Only the first 15 lines of the commit message are shown above View all of this commit message)
8.6_8,3
15 Nov 2021 15:19:58
commit hash: 061afcca16999e2e4e791d4517a918d0d606d692commit hash: 061afcca16999e2e4e791d4517a918d0d606d692commit hash: 061afcca16999e2e4e791d4517a918d0d606d692commit hash: 061afcca16999e2e4e791d4517a918d0d606d692 files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
USES=emacs: Chase package name changes

PR:		259259
Differential Revision:	https://reviews.freebsd.org/D32613
8.6_7,3
01 Oct 2021 22:55:27
commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0commit hash: 126e3bb1f15157e4624a26aed1d01393603b03e0 files touched by this commit
Joseph Mingrone (jrm) search for other commits by this committer
*: Chase new major version (29) of editors/emacs-devel

Differential Revision:	https://reviews.freebsd.org/D32258
8.6_6,3
07 Apr 2021 08:09:01
commit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455ccommit hash: cf118ccf875508b9a1c570044c93cfcc82bd455c files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
One more small cleanup, forgotten yesterday.
Reported by:	lwhsu
8.6_6,3
06 Apr 2021 14:31:07
commit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344ebcommit hash: 305f148f482daf30dcf728039d03d019f88344eb files touched by this commit
Mathieu Arnold (mat) search for other commits by this committer
Remove # $FreeBSD$ from Makefiles.
8.6_6,3
26 Mar 2021 00:40:45
Revision:569232Original commit files touched by this commit
jrm search for other commits by this committer
editors/emacs: Update to 27.2

This is a bug-fix release with no new features.

https://www.gnu.org/software/emacs/news/NEWS.27.2

Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D27700
8.6_5,3
12 Aug 2020 18:30:07
Revision:544763Original commit files touched by this commit
jrm search for other commits by this committer
editors/emacs: Update to version 27.1

Please refer to the 20200811 UPDATING entry when upgrading
dependent (*-emacs26-*) ports.

Port changes:

- depend on math/gmp
- match upstream by turning CAIRO, HARFBUZZ, and JSON options and on and
  turning MAGICK off by default
- remove OPENMP check for graphics/ImageMagick as the openmp is now
  included in base
- update EMACS_VER in Mk/Uses/emacs.mk
- bump USES=emacs ports or remove BROKEN for net-im/jabber.el and
  deskutils/howm, which now build

Submitted by:	HIROSE Yuuji <yuuji@gentei.org> (canna patch)
Reviewed by:	ashish
Differential Revision:	https://reviews.freebsd.org/D23966
8.6_4,3
07 Jan 2020 04:55:40
Revision:522315Original commit files touched by this commit
jrm search for other commits by this committer
editors/emacs-devel: Update to latest master branch commit, 4f2b415

This update includes an Emacs major version change from 27.0.50 to 28.0.50.
Ports that may depend on editors/emacs-devel must chase this update
with a PORTREVISION bump.

Submitted by:	ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D23012
8.6_3,3
08 Nov 2019 14:11:46
Revision:517068Original commit files touched by this commit
tobik search for other commits by this committer
math: Add missing USES={gl,gnome,php,sdl,xorg}
8.6_3,3
31 May 2018 01:18:05
Revision:471191Original commit files touched by this commit
jrm search for other commits by this committer
USES=emacs ports: Bump PORTREVISION for editors/emacs 26.1 upgrade

Or, mark ports that fail to build as BROKEN.
https://lists.freebsd.org/pipermail/freebsd-ports/2018-May/113518.html
8.6_2,3
01 Feb 2018 18:03:10
Revision:460621Original commit files touched by this commit
jrm search for other commits by this committer
Flavorize and modernize Emacs ports

- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
  editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
  subshell
- Silence some portlint warnings

[1] By not depending on base texinfo

PR:		225404
Reviewed by:	antoine
Approved by:	portmgr (mat) ashish (maintainer)
Differential Revision:	https://reviews.freebsd.org/D13506
8.6_1,3
30 Nov 2017 06:13:35
Revision:455167Original commit files touched by this commit Sanity Test Failure
linimon search for other commits by this committer
For ports that are marked BROKEN on armv6, and also fail to build on
armv7, mark them so.

This is part two of a multipart commit to bring armv7 ports to parity
with armv6.

Approved by:	portmgr (tier-2 blanket)
Obtained from:	lonesome.com -exp run
8.6_1,3
12 Sep 2017 15:38:57
Revision:449697Original commit files touched by this commit
ashish search for other commits by this committer
Chase Emacs update
8.6,3
27 May 2017 00:20:19
Revision:441819Original commit files touched by this commit
linimon search for other commits by this committer
Mark some ports failing on armv6, for errors classified as "???",
part 2.

While here, pet portlint.

Approved by:	portmgr (tier-2 blanket)
8.6,3
31 Dec 2016 23:05:09
Revision:430173Original commit files touched by this commit
hrs search for other commits by this committer
Update to 8.6.  Fix PORTEPOCH accidentally removed in the previous commit.
8.5
31 Dec 2016 14:32:50
Revision:430124Original commit files touched by this commit
hrs search for other commits by this committer
Update to 8.5.
8.4.6,3
31 Dec 2016 09:00:20
Revision:430096Original commit files touched by this commit
hrs search for other commits by this committer
- Add missing dependencies.
- Strip installed binaries.
8.4.6,2
14 Dec 2016 21:48:10
Revision:428596Original commit files touched by this commit
johans search for other commits by this committer
Stepping down as maintainer for some ports.
8.4.6,2
19 Nov 2016 11:39:40
Revision:426358Original commit files touched by this commit
danfe search for other commits by this committer
- Move license information from port description into LICENSE knobs
- Convert $arch-conditional BROKEN statement into BROKEN_$arch one
8.4.6,2
23 May 2016 20:35:01
Revision:415742Original commit files touched by this commit
amdmi3 search for other commits by this committer
Remove NLS, DOCS, EXAMPLES and IPV6 from OPTIONS_DEFAULT, they are enabled by
default anyway and don't need to be listed

Approved by:	portmgr blanket
8.4.6,2
19 May 2016 10:44:12
Revision:415499Original commit files touched by this commit
amdmi3 search for other commits by this committer
- Fix trailing whitespace in pkg-descrs, categories [g-n]*

Approved by:	portmgr blanket
8.4.6,2
01 Apr 2016 14:16:20
Revision:412348Original commit files touched by this commit
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories m, n, o, and p.

With hat:	portmgr
Sponsored by:	Absolight
8.4.6,2
23 May 2015 10:06:54
Revision:387123Original commit files touched by this commit
johans search for other commits by this committer
Update Coq to 8.4pl6

PR:		200409
Submitted by:	yuri@rawbw.com
8.4.5,2
04 May 2015 15:46:52
Revision:385413Original commit files touched by this commit
madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
8.4.5,1
22 Dec 2014 10:45:20
Revision:375227Original commit files touched by this commit
johans search for other commits by this committer
Update to Coq 8.4pl5
8.4.3_1,1
13 Nov 2014 23:24:01
Revision:372546Original commit files touched by this commit
antoine search for other commits by this committer
Cleanup plist
8.4.3_1,1
10 Sep 2014 20:50:37
Revision:367888Original commit files touched by this commit
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
8.4.3,1
03 Sep 2014 16:54:55
Revision:367220Original commit files touched by this commit
antoine search for other commits by this committer
Fix packaging
8.4.3,1
23 Jul 2014 13:04:15
Revision:362673Original commit files touched by this commit
bapt search for other commits by this committer
Switch to texlive
8.4.3,1
01 Jul 2014 07:04:48
Revision:359963Original commit files touched by this commit
eadler search for other commits by this committer
multiple: avoid RUN_DEPENDS=${BUILD_DEPENDS} anti-pattern
	The ports infrastructure may insert additional content into the
	BUILD_DEPENDS variable which is not supposed to be a run depend.

Approved by:	portmgr (bapt)
8.4.3,1
11 Jan 2014 09:31:40
Revision:339411Original commit files touched by this commit
johans search for other commits by this committer
- Update coq to 8.4.3
- Enable stage support
- Simplify options handling
8.4.2,1
20 Sep 2013 20:55:06
Revision:327746Original commit files touched by this commit
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
math)
8.4.2,1
13 Jun 2013 10:57:23
Revision:320753Original commit files touched by this commit
johans search for other commits by this committer
- Add build dependency due to tex changes

PR:		ports/179372
Submitted by:	John Marino <draco@marino.st>
8.4.2,1
11 May 2013 17:58:56
Revision:317899Original commit files touched by this commit
hrs search for other commits by this committer
Rectify USE_TEX to support both of teTeX and TeXLive.

TEX_DEFAULT:
	A knob to choose teTeX or TeXLive.  One can specify in /etc/make.conf.

USE_TEX:
	A knob for port developers.  Valid keywords are listed in
	bsd.tex.mk.
8.4.2,1
06 May 2013 02:00:41
Revision:317455Original commit files touched by this commit
hrs search for other commits by this committer
Remove *_DEPENDS from ports which depend on teTeX and add USE_TEX=tetex
instead to make migration to TeXLive easier.
8.4.2,1
30 Apr 2013 14:50:27
Revision:316937Original commit files touched by this commit
johans search for other commits by this committer
Update coq to 8.4.2
8.4.1_1,1
19 Mar 2013 13:20:29
Revision:314642Original commit files touched by this commit
rm search for other commits by this committer
- remove empty files and directories
8.4.1_1,1
05 Mar 2013 20:22:03
Revision:313476Original commit files touched by this commit
bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
8.4.1,1
17 Feb 2013 10:43:22
Revision:312410Original commit files touched by this commit
johans search for other commits by this committer
- Update coq to 8.4 pl1 [1]
  http://coq.inria.fr/coq-84
- Remove local patch that is now included upstream
- Add ocaml-findlib as build dependency

PR:             ports/176056
Submitted by:   Jaap Boender <jaapb@kerguelen.org>
8.3.3_1,1
28 Jun 2012 16:12:22
Original commit files touched by this commit
johans search for other commits by this committer
Convert to new options framework
8.3.3_1,1
01 Jun 2012 05:26:28
Original commit files touched by this commit
dinoex search for other commits by this committer
- update png to 1.5.10
8.3.3,1
25 Mar 2012 09:21:05
Original commit files touched by this commit
johans search for other commits by this committer
- Update coq to 8.3.3
- Fix build with new camlp5 (patch from official repo)
- Remove BROKEN tag

Feature safe:   yes
8.3.2_1,1
14 Mar 2012 20:11:56
Original commit files touched by this commit
pav search for other commits by this committer
- Mark BROKEN: does not compile
  OCAMLC    pretyping/pretype_errors.mli
  OCAMLOPT  pretyping/pretype_errors.ml
  File "pretyping/pretype_errors.ml", line 48, characters 4-109:
  Error: Unbound constructor Stdpp.Exc_located
  gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2

Reported by:    pointyhat
Feature safe:   yes
8.3.2_1,1
11 Nov 2011 02:53:39
Original commit files touched by this commit
linimon search for other commits by this committer
Mark as broken on powerpc: fails to link.

Hat:            portmgr
Feature safe:   yes
8.3.2_1
02 May 2011 12:44:53
Original commit files touched by this commit
makc search for other commits by this committer
Bump PORTREVISION after open-mofit update
8.3.2,1
25 Apr 2011 17:48:54
Original commit files touched by this commit
johans search for other commits by this committer
Update coq to 8.3.2
8.3.1,1
18 Apr 2011 17:19:28
Original commit files touched by this commit
johans search for other commits by this committer
Correct PORTVERSION: pl (patch level) releases follow a main release

Reported by:            erwin
8.3.p1,1
12 Feb 2011 12:30:08
Original commit files touched by this commit
johans search for other commits by this committer
- Update coq to 8.3pl1
- Remove obsoleted patch (fixed in dist)
8.3,1
10 Dec 2010 17:23:11
Original commit files touched by this commit
johans search for other commits by this committer
Fix build with new ocaml preprocessor (patch from upstream)

Reported by:    pointyhat via pav
8.3,1
09 Nov 2010 07:09:26
Original commit files touched by this commit
johans search for other commits by this committer
- Update coq to 8.3
- Add a patch to fix threading issues

Submitted by:   AUGER Cedric <Cedric.Auger@lri.fr>
8.2.p1,1
25 Jun 2010 06:53:04
Original commit files touched by this commit
johans search for other commits by this committer
- Update to version 8.2pl1
- Bump EPOCH due to different versioning style
- Build and install documentation

PR:             ports/148034
Submitted by:   Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Feature safe:   yes
8.2.1_3
28 Mar 2010 06:47:48
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to 1.4.1
Reviewed by:    exp8 run on pointyhat
Supported by:   miwi
8.2.1_2
23 Feb 2010 18:06:02
Original commit files touched by this commit
johans search for other commits by this committer
Update my mail address to @FreeBSD.org

Feature safe:   yes
8.2.1_2
05 Feb 2010 11:46:55
Original commit files touched by this commit
dinoex search for other commits by this committer
- update to jpeg-8
8.2.1_1
31 Jul 2009 13:57:52
Original commit files touched by this commit
dinoex search for other commits by this committer
- bump all port that indirectly depends on libjpeg and have not yet been bumped
or updated
Requested by:   edwin
8.2.1
16 Mar 2009 09:42:38
Original commit files touched by this commit
johans search for other commits by this committer
Fix pkg-plist

Reported by:    QAT
8.2.1
16 Mar 2009 07:38:00
Original commit files touched by this commit
johans search for other commits by this committer
Update to 8.2.1
8.1.3_2
06 Jun 2008 13:44:06
Original commit files touched by this commit
edwin search for other commits by this committer
Bump portrevision due to upgrade of devel/gettext.

The affected ports are the ones with gettext as a run-dependency
according to ports/INDEX-7 (5007 of them) and the ones with USE_GETTEXT
in Makefile (29 of them).

PR:             ports/124340
Submitted by:   edwin@
Approved by:    portmgr (pav)
8.1.3_1
16 Apr 2008 22:10:53
Original commit files touched by this commit
johans search for other commits by this committer
- Due to depency updates, camlp5 (fresh port) is now required as well:
  Include this dependency and bump portrevision
8.1.3
06 Apr 2008 17:40:47
Original commit files touched by this commit
johans search for other commits by this committer
- Update to 8.1pl3
- Take advantage of USE_OCAML
- Update MASTER_SITES
8.1.1
30 Jul 2007 07:36:01
Original commit files touched by this commit
johans search for other commits by this committer
Update to 8.1.1  (bugfix release)
8.1_1
19 May 2007 20:32:57
Original commit files touched by this commit
flz search for other commits by this committer
- Welcome X.org 7.2 \o/.
- Set X11BASE to ${LOCALBASE} for recent ${OSVERSION}.
- Bump PORTREVISION for ports intalling files in ${X11BASE}.
8.1
25 Mar 2007 18:44:34
Original commit files touched by this commit
johans search for other commits by this committer
- Update to 8.1
- Grab maintainership
- Remove FreeBSD-specific workaround that shouldn't be needed anymore
8.0p3
16 Mar 2006 15:31:23
Original commit files touched by this commit
pav search for other commits by this committer
- Update to 8.0pl3

PR:             ports/93954
Submitted by:   Johan van Selst <johans@stack.nl>
8.0p2_1
06 Mar 2006 20:30:52
Original commit files touched by this commit
kris search for other commits by this committer
BROKEN: Does not build

Approved by:    portmgr (implicit)
8.0p2_1
22 Jan 2006 02:26:24
Original commit files touched by this commit
edwin search for other commits by this committer
Replace ugly "@unexec rmdir %D... 2>/dev/null || true" with @dirrmtry

Approved by:    krion@
PR:             ports/88711 (related)
8.0p2_1
07 Dec 2005 15:59:14
Original commit files touched by this commit
vs search for other commits by this committer
Unbreak: Add vendor-patch for ocaml 3.09
8.0p2_1
05 Dec 2005 09:49:23
Original commit files touched by this commit
vs search for other commits by this committer
Bump PORTREVISION to regenerate the package with the newly enabled IDE on the
cluster

Suggested by: kris
8.0p2
05 Dec 2005 09:16:08
Original commit files touched by this commit
vs search for other commits by this committer
Enable IDE by default.
8.0p2
25 Nov 2005 15:48:16
Original commit files touched by this commit
pav search for other commits by this committer
- Add SHA256
8.0p2
29 Oct 2005 20:14:47
Original commit files touched by this commit
mnag search for other commits by this committer
Drop MAINTAINER

PR:             88197
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
8.0p2
02 Feb 2005 11:34:42
Original commit files touched by this commit
vs search for other commits by this committer
Update to 8.0p2

PR:             ports/76977
Submitted by:   Rene Laden (maintainer)
8.0p1
18 Jan 2005 16:44:23
Original commit files touched by this commit
vs search for other commits by this committer
Fix packaging

PR:             ports/75787
Submitted by:   maintainer
8.0p1
20 Dec 2004 21:37:52
Original commit files touched by this commit
sem search for other commits by this committer
- Unbreak on amd64
  (Johan van Selst succesfully ran the test-suite
  on an amd64 running 6-CURRENT and ocaml-3.08.2)

PR:             ports/75334
Submitted by:   maintainer
8.0p1
29 Nov 2004 09:34:20
Original commit files touched by this commit
tobez search for other commits by this committer
Mark broken on ia64 and amd64.

PR:             74502
Submitted by:   maintainer
8.0p1
08 Nov 2004 21:57:29
Original commit files touched by this commit
pav search for other commits by this committer
- Add optional CoqIde support (depends on lablgtk2)
- Correct PORTVERSION to match actual source version
- Cosmetics

PR:             ports/73634
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl> (maintainer)
8.0
16 Oct 2004 00:55:33
Original commit files touched by this commit
pav search for other commits by this committer
Add coq, 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".

PR:             ports/72718
Submitted by:   Rene Ladan <r.c.ladan@student.tue.nl>

Number of commits found: 100