Next | Query returned 150 messages, browsing 1 to 10 | Previous

History of commit frequency

CVS Commit History:


   2020-08-17 22:20:41 by Leonardo Taccari | Files touched by this commit (2202)
Log message:
*: revbump after fontconfig bl3 changes (libuuid removal)
   2020-06-02 10:25:05 by Adam Ciarcinski | Files touched by this commit (1689)
Log message:
Revbump for icu
   2020-05-24 01:45:45 by Makoto Fujiwara | Files touched by this commit (1)
Log message:
(lang/coq) Fix build: Remove no effective SUBST block
   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) | Package updated
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) | Package updated
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) | Package updated
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.

Next | Query returned 150 messages, browsing 1 to 10 | Previous