guix_mirror_bot pushed a change to branch master
in repository guix.
from 0bff26c3510 gnu: kdepim-addons: Fix build.
new 952ab5e4f37 gnu: nginx: Update to 1.31.5.
new db87c17bc8b gnu: nginx-documentation: Update to 1.31.5-0.0ce65d3.
new 60e4ce69ec5 gnu: Add vali.
new 17bf5765045 gnu: kanshi: Enable kanshictl
new 0c5108766ff publish: Use chunked encoding when size is unknown.
new a12f0f08202 system: Export ‘local-host-entries’.
new 8d4a79cb31c guix-install: Avoid broken ftpmirror.gnu.org mirrors.
new 106a020473e gnu: lean4: Add native search paths.
new a22fb2296a2 gnu: lean: Add helpers for lean packages.
new 9c9b0244ba3 gnu: Add lean4-batteries.
new 58134d974cc gnu: Add lean4-cli.
new f884394655c gnu: Add lean4-quote4.
new a6f504fccd4 gnu: Add lean4-search-client.
new 98f8e1d2751 gnu: Add lean4-import-graph.
new 43cd3757311 gnu: Add lean4-aesop.
new 5c643d20c3e gnu: Add lean4-plausible.
new 3db454d235a gnu: Add lean4-mathlib4.
The 17 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "add" were already present in the repository and have only
been added to this reference.
Summary of changes:
doc/guix.texi | 5 +
etc/guix-install.sh | 3 +-
gnu/packages/lean.scm | 384 +++++++++++++++++++++++++++++++++++++
gnu/packages/serialization.scm | 30 ++-
gnu/packages/web.scm | 10 +-
gnu/packages/window-management.scm | 2 +-
gnu/system.scm | 1 +
guix/scripts/publish.scm | 20 +-
tests/publish.scm | 12 +-
9 files changed, 448 insertions(+), 19 deletions(-)
