Age | Commit message (Collapse) | Author |
|
* gnu/services/mail.scm (protocol-configuration): Add a
‘managesieve-notify-capability’ field.
* doc/guix.texi (Mail Services): Document it.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
* gnu/services/mail.scm (protocol-configuration): Add an ‘imap-metadata?’
setting to enable IMAP METADATA support in the ‘imap’ protocol.
* doc/guix.texi (Mail Services): Document it.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
* gnu/services/mail.scm (dovecot-configuration): Define a
‘mail-attribute-dict’ directive for IMAP METADATA storage.
* doc/guix.texi (Mail Services): Document it.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
* gnu/packages/dns.scm (knot-resolver): Update to 5.3.2.
|
|
* gnu/packages/authentication.scm (oath-toolkit)[arguments]:
Add "--enable-pskc" and "--with-xmlsec-crypto-engine=openssl"
to #:configure-flags.
[native-inputs]: Add libltdl.
[inputs]: Add openssl and xmlsec-openssl.
[description]: Document the two new features.
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
* gnu/packages/linux.scm (rasdaemon)[description]: Use @acronym with
1 comma only (@comma is not yet supported).
Signed-off-by: Tobias Geerinckx-Rice <me@tobias.gr>
|
|
Normal error reporting was disrupted by the introduction of
Disarchive in commit fbc2a52a32ddc664db8ebab420c2e17b1432c744. In
particular, running 'guix download' would succeed with a partially
downloaded file.
* guix/build/download.scm (disarchive-fetch/any): Return '#f' when
Disarchive cannot be found, the specification cannot be found, or
Disarchive fails due to an error.
|
|
* gnu/packages/ftp.scm (filezilla): Update to 3.53.1.
|
|
* gnu/packages/ftp.scm (libfilezilla): Update to 0.28.0.
[native-inputs]: Add gcc-8.
|
|
* gnu/packages/mail.scm (mutt): Update to 2.0.7.
|
|
* gnu/packages/shells.scm (loksh): Update to 6.9.
[source]: Check out recursively.
[build-systems]: Switch to Meson.
[inputs]: Remove libbsd.
[arguments]: Remove the old build system's #:make-flags and #:phases
customisation.
|
|
* gnu/packages/mail.scm (msmtp)[arguments]: Fix comment typo.
|
|
* gnu/packages/django.scm (python-django)[arguments]: Delete 'wrap' phase.
[native-inputs]: Move PYTHON-JINJA2 ...
[propagated-inputs]: ... here. While at it, add a comment about which inputs
are optional and adjust order accordingly.
|
|
* gnu/packages/django.scm (python-django): Update to 3.2.1.
|
|
* gnu/packages/django.scm (python-django)[arguments]: Test for TESTS? in the
'check' phase.
|
|
* gnu/packages/django.scm (python-djangorestframework): Update to 3.12.4.
|
|
* gnu/packages/django.scm (python-django-picklefield)[native-inputs]: Change
from PYTHON-DJANGO to PYTHON-DJANGO-2.2.
|
|
* gnu/packages/django.scm (python-django-debug-toolbar): Update to 3.2.1.
|
|
* gnu/packages/databases.scm (python-sqlparse)[arguments]: Override 'wrap'
phase.
|
|
* gnu/packages/python-xyz.scm (python-cached-property): Update to 1.5.2.
|
|
* gnu/packages/python-xyz.scm (python-netaddr): Update to 0.8.0.
|
|
* gnu/packages/python-web.scm (python-asgiref): Update to 3.3.4.
|
|
* gnu/packages/python-crypto.scm (python-bcrypt): Update to 3.2.0.
|
|
* gnu/packages/django.scm (python-django-auth-ldap): Update to 2.4.0.
|
|
* gnu/packages/databases.scm (python-sqlparse): Update to 0.4.1.
|
|
* gnu/packages/browser-extensions.scm (uassets): Update to f52147302.
(ublock-origin): Update to 1.35.2.
|
|
Regression introduced in 58805da44dac6b180245edd8a6419343f64d221c.
* gnu/packages/linux.scm (rasdaemon)[description]: Avoid @acronym since
Guile's Texinfo module doesn't currently support @comma{}.
* doc/guix.texi (Linux Services): Use @comma{} within @acronym.
|
|
* gnu/packages/emacs-xyz.scm (emacs-vertico): Update to 0.8.
Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
|
|
* gnu/packages/emacs-xyz.scm (emacs-corfu): Update to 0.6.
Signed-off-by: Leo Prikler <leo.prikler@student.tugraz.at>
|
|
This reverts commit b9fb13b28437a254683273094f189396a6e1421d. Per discussions
simply updating OPENPGP-SIGNING-KEY-ID and OPENPGP-SIGNING-KEY-URL will be
enough.
|
|
This introduces tla2tools.jar, which contains the TLA+ model checker
and simulator (TLC); a TLA+ REPL; a semantic analyzer (SANY); the TLATeX
typesetting system; PlusCal translator; and more. I have added five
wrapper scripts for convenience, rather than invoking `java' manually.
The wrapper scripts are not comprehensive; users who are familiar with
tla2tools.jar, or have read the book Specifying Systems, may still
invoke the commands in the traditional way.
The minimum JDK version is 11. I chose to stick with that rather than
bumping it to 14 (which is the largest version currently in Guix)
because each OpenJDK version in Guix depends on the version before it,
and so it needlessly results in many 100s of MiB of unnecessary
dependencies.
Note that this is _not_ the TLA+ Toolbox, which is the GUI commonly used
with TLA+.
* gnu/packages/java.scm (tla2tools): New variable.
* gnu/packages/patches/tla2tools-build-xml.patch: New patch.
* gnu/local.mk (dist_patch_DATA): Add it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
This package is part of JLine 3.
* gnu/packages/java.scm (java-jline-reader): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
This is part of JLine 3.
I was able to get this working properly under Guix by providing ncurses'
infocmp, as well as ensuring the *.caps files were present in the JAR,
but similar methods didn't work for the tests; if you have Java
knowledge, I'd appreciate the help getting those tests enabled.
* gnu/packages/java.scm (java-jline-terminal): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
All of these packages are components of java-eclipse-lsp4j, packaged
independently. This contains only what was needed for tla2tools, and so
there are parts of java-eclipse-lsp4j that are not packaged.
Note that this does not package the latest version (0.12.0 at the time
of writing)---it depends on the Xtend language, which is a huge
packaging effort. 0.10.0 is the version expected by tla2tools, for
which this dependency was introduced.
* gnu/packages/java.scm (java-eclipse-lsp4j-common): New variable.
(java-eclipse-lsp4j-jsonrpc): New variable.
(java-eclipse-lsp4j-jsonrpc-debug): New variable.
(java-eclipse-lsp4j-generator): New variable.
(java-eclipse-lsp4j-debug): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
This package is a component of xtext-lib. The rest of xtext-lib was not
added.
* gnu/packages/java.scm (java-eclipse-xtext-xbase-lib): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
This introduces a new package rather than upgrading the exist java-gson
package because it is built using OpenJDK11; I didn't want to have to
propagate that JDK dependency to the other packages that use it.
OpenJDK 11 was chosen becuase this dependency was introduced for
tla2tools.
* gnu/packages/java.scm (java-gson-2.8.6): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/racket.scm (racket-minimal, racket)[source](uri): Lift
base urls into a new internal variable, '%installer-mirrors'.
Add mirrors at the University of Utah, Northwestern University,
the University of Waterloo, and Vrije Universiteit Brussel (Infogroep).
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
By design, the `racket` package is equivalent to 'racket-minimal'
plus 'raco pkg install -i main-distribution'.
This switch brings the Guix packages a small step closer to that goal.
* gnu/packages/racket.scm (racket-minimal, racket): Change
'racket-minimal' to be the base package and 'racket' to inherit
from it. Move 'version', 'patches', 'home-page', 'build-system',
'arguments', and 'license' to 'racket-minimal'.
* gnu/packages/racket.scm (racket)[inputs]: Rather than copy and
pasting, use '(package-inputs racket-minimal)'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/racket.scm (racket)[source](patches): Remove
"racket-store-checksum-override.patch", which is no longer needed since
we stopped injecting store paths into Racket files in commit 834aa48:
see <https://issues.guix.gnu.org/47180>.
* gnu/packages/patches/racket-store-checksum-override.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/scheme.scm (racket,racket-minimal): Move to ...
* gnu/packages/racket.scm: ... this new file.
* gnu/local.mk (GNU_SYSTEM_MODULES): Add it.
* gnu/packages/racket.scm (racket)[synopsis]: Tweak.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/kde.scm (labplot): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/maths.scm (libcerf): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/gpodder.scm (castget): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/xml.scm (xmlsec-openssl): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
Fixes <https://issues.guix.gnu.org/45236>.
* gnu/packages/games.scm (xboard): Set default engine to gnuchess.
[arguments]: Add phase 'patch-default-engine.
[inputs]: Add chess.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* guix/cvs-download.scm: Remove non-existent export cvs-reference-url,
add cvs-reference-root-directory and cvs-reference-module
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
|
|
* gnu/packages/engineering.scm (lepton-eda)[inputs]: Replace GUILE-2.2
with GUILE-3.0.
|
|
Guile <= 2.2.7 did not support #:verify-certificate? so work around it.
* guix/swh.scm (http-get*, http-post*) [! guile-3]: Add variant for
Guile 2.2.
|
|
* gnu/packages/bioinformatics.scm (python-pybedtools): Update to 0.8.2.
[arguments]: Remove outdated substitutions; simplify check phase.
|
|
This is intended to fix a non-deterministic build error when xelatex inspects
the fonts directory and finds a broken font from texlive-amsfonts before the
correct font in texlive-cm.
* gnu/packages/python-xyz.scm (python-nbconvert)[native-inputs]: Replace
texlive-amsfonts with texlive-amsfonts/patched.
|