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
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
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
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
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
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
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
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
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
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
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.