The NetBSD Project

CVS log for pkgsrc/lang/coq/options.mk

[BACK] Up to [cvs.NetBSD.org] / pkgsrc / lang / coq

Request diff between arbitrary revisions


Default branch: MAIN


Revision 1.10 / (download) - annotate - [select for diffs], Sun Mar 1 05:25:13 2020 UTC (3 months ago) by dholland
Branch: MAIN
CVS Tags: pkgsrc-2020Q1-base, pkgsrc-2020Q1, HEAD
Changes since 1.9: +2 -1 lines
Diff to previous 1.9 (colored)

lang/coq now needs adwaita-icon-theme.

(without it the new coqide is missing things, and it seems to
specifically refer to adwaita-icon-theme by name)

Bump PKGREVISION to 1, since coqide is a default-on option.

Revision 1.9 / (download) - annotate - [select for diffs], Fri Jan 24 15:54:48 2020 UTC (4 months, 1 week ago) by jaapb
Branch: MAIN
Changes since 1.8: +4 -3 lines
Diff to previous 1.8 (colored)

Updated lang/coq to version 8.10.2.

Changes include:
- native 63-bit machine integers;
- a new sort of definitionally proof-irrelevant propositons: SProp;
- private universes for opaque polymorphic constants;
- string notations and numeral notations;
- a new simplex-based proof engine for the tactics lia, nia, lra and nra;
- new introduction patterns for SSReflect;
- a tactic to rewrite under binders: under;
- easy input of non-ASCII symbols in CoqIDE, which now uses GTK3.

and many small improvements and bugfixes.

Revision 1.8 / (download) - annotate - [select for diffs], Sun Nov 3 19:03:57 2019 UTC (6 months, 4 weeks ago) by rillig
Branch: MAIN
CVS Tags: pkgsrc-2019Q4-base, pkgsrc-2019Q4
Changes since 1.7: +43 -43 lines
Diff to previous 1.7 (colored)

lang: align variable assignments

pkglint -Wall -F --only aligned --only indent -r

No manual corrections.

Revision 1.7 / (download) - annotate - [select for diffs], Mon Sep 2 13:33:23 2019 UTC (9 months ago) by adam
Branch: MAIN
CVS Tags: pkgsrc-2019Q3-base, pkgsrc-2019Q3
Changes since 1.6: +2 -2 lines
Diff to previous 1.6 (colored)

Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE

Revision 1.6 / (download) - annotate - [select for diffs], Fri Apr 26 12:44:43 2019 UTC (13 months, 1 week ago) by roy
Branch: MAIN
CVS Tags: pkgsrc-2019Q2-base, pkgsrc-2019Q2
Changes since 1.5: +2 -2 lines
Diff to previous 1.5 (colored)

More packages wave bye-bye to python34 and python35

Revision 1.5 / (download) - annotate - [select for diffs], Wed Mar 6 09:28:23 2019 UTC (14 months, 4 weeks ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2019Q1-base, pkgsrc-2019Q1
Changes since 1.4: +27 -23 lines
Diff to previous 1.4 (colored)

Updated lang/coq to version 8.9.0.

Many improvements and fixes, but none that appear to break compatibility.
For more details see the CHANGES file.

Revision 1.4 / (download) - annotate - [select for diffs], Thu Aug 2 12:57:03 2018 UTC (22 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2018Q4-base, pkgsrc-2018Q4, pkgsrc-2018Q3-base, pkgsrc-2018Q3
Changes since 1.3: +31 -23 lines
Diff to previous 1.3 (colored)

Updated package lang/coq to version 8.8.1.

The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.

The reference manual has been fully ported to Sphinx.

Revision 1.3 / (download) - annotate - [select for diffs], Wed Jan 10 16:26:53 2018 UTC (2 years, 4 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2018Q2-base, pkgsrc-2018Q2, pkgsrc-2018Q1-base, pkgsrc-2018Q1
Changes since 1.2: +6 -1 lines
Diff to previous 1.2 (colored)

Updated package lang/coq to version 8.7.1.

This is a compatibility release with OCaml 4.06.0. It also contains many
bugfixes, documentation improvements and user message improvements.

Revision 1.2 / (download) - annotate - [select for diffs], Fri Oct 10 08:39:08 2014 UTC (5 years, 7 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2017Q4-base, pkgsrc-2017Q4, pkgsrc-2017Q3-base, pkgsrc-2017Q3, pkgsrc-2017Q2-base, pkgsrc-2017Q2, pkgsrc-2017Q1-base, pkgsrc-2017Q1, pkgsrc-2016Q4-base, pkgsrc-2016Q4, pkgsrc-2016Q3-base, pkgsrc-2016Q3, pkgsrc-2016Q2-base, pkgsrc-2016Q2, pkgsrc-2016Q1-base, pkgsrc-2016Q1, pkgsrc-2015Q4-base, pkgsrc-2015Q4, pkgsrc-2015Q3-base, pkgsrc-2015Q3, pkgsrc-2015Q2-base, pkgsrc-2015Q2, pkgsrc-2015Q1-base, pkgsrc-2015Q1, pkgsrc-2014Q4-base, pkgsrc-2014Q4
Changes since 1.1: +2 -2 lines
Diff to previous 1.1 (colored)

Changed package dependencies to reflect lablgtk name change.

Revision 1.1 / (download) - annotate - [select for diffs], Fri Nov 16 14:44:22 2012 UTC (7 years, 6 months ago) by jaapb
Branch: MAIN
CVS Tags: pkgsrc-2014Q3-base, pkgsrc-2014Q3, pkgsrc-2014Q2-base, pkgsrc-2014Q2, pkgsrc-2014Q1-base, pkgsrc-2014Q1, pkgsrc-2013Q4-base, pkgsrc-2013Q4, pkgsrc-2013Q3-base, pkgsrc-2013Q3, pkgsrc-2013Q2-base, pkgsrc-2013Q2, pkgsrc-2013Q1-base, pkgsrc-2013Q1, pkgsrc-2012Q4-base, pkgsrc-2012Q4

Updated package to add 'doc' option and (if given) build documentation, as
requested in PR pkg/47152. Bumped PKGREVISION.

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.




CVSweb <webmaster@jp.NetBSD.org>