2020-04-28 07:46:53 by Taylor R Campbell | Files touched by this commit (1) |
Log message:
lang/coq: needs bash as tool
Otherwise build fails with:
OCAMLOPT -o bin/coqide
CHECK revision
env: bash: No such file or directory
gmake[1]: *** [Makefile.dev:34: revision] Error 127
gmake[1]: Leaving directory '/tmp/pkgbuild/2020Q1/lang/coq/work/coq-8.10.2'
gmake: *** [Makefile:179: submake] Error 2
|
2020-03-10 23:11:24 by Thomas Klausner | Files touched by this commit (1681) |  |
Log message:
librsvg: update bl3.mk to remove libcroco in rust case
recursive bump for the dependency change
|
2020-03-08 17:51:54 by Thomas Klausner | Files touched by this commit (2833) |
Log message:
*: recursive bump for libffi
|
2020-03-01 06:25:14 by David A. Holland | Files touched by this commit (2) |
Log message:
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.
|
2020-01-24 16:54:49 by Jaap Boender | Files touched by this commit (6) |
Log message:
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.
|
2020-01-18 22:51:16 by Jonathan Perkin | Files touched by this commit (1836) |
Log message:
*: Recursive revision bump for openssl 1.1.1.
|
2019-11-03 20:04:09 by Roland Illig | Files touched by this commit (159) |
Log message:
lang: align variable assignments
pkglint -Wall -F --only aligned --only indent -r
No manual corrections.
|
2019-09-02 15:33:23 by Adam Ciarcinski | Files touched by this commit (6) |
Log message:
Rewrite PYTHON_VERSIONS_ACCEPTED to PYTHON_VERSIONS_INCOMPATIBLE
|
2019-09-01 02:51:47 by Mark Davies | Files touched by this commit (3) |
Log message:
coq: patch to build with ocaml 4.08
|
2019-07-22 00:26:08 by Thomas Klausner | Files touched by this commit (1256) |
Log message:
*: recursive bump for gdk-pixbuf2-2.38.1
|