gnu: Add coq-semantics. * gnu/packages/coq.scm (coq-semantics): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
gnu: perl-tie-handle-offset: Fix typo. * gnu/packages/perl.scm (perl-tie-handle-offset)[description]: Fix "This module" typo.
gnu: perl-business-ismn: Fix typo. * gnu/packages/perl.scm (perl-business-ismn)[description]: Fix "This module" typo.
gnu: perl-business-issn: Fix typo. * gnu/packages/perl.scm (perl-business-issn)[description]: Fix "This module" typo.
gnu: perl-business-isbn: Fix typo. * gnu/packages/perl.scm (perl-business-isbn)[description]: Fix "This module" typo.
gnu: perl-test-dir: Fix typo. * gnu/packages/perl-check.scm (perl-test-dir)[description]: Fix "This module" typo.
gnu: python-sgmllib3k: Fix typo. * gnu/packages/python-xyz.scm (python-sgmllib3k)[description]: Fix "This package" typo.
gnu: rust-fever-api-0.2: Fix typo. * gnu/packages/crates-io.scm (rust-fever-api-0.2)[description]: Fix "This package" typo.
gnu: perl-test-nowarnings: Fix typo. * gnu/packages/perl-check.scm (perl-test-nowarnings)[description]: Fix "This module" typo.
gnu: foo2zjs: Use archived home page. * gnu/packages/cups.scm (foo2zjs)[home-page]: Link to the Web Archive'd URL.
gnu: sg3-utils: Omit static library. * gnu/packages/scsi.scm (sg3-utils)[arguments]: Add "--disable-static" to #:configure-flags.
gnu: sg3-utils: Update to 1.47. * gnu/packages/scsi.scm (sg3-utils): Update to 1.47.
gnu: ungoogled-chromium: Update to 96.0.4664.45-0. * gnu/packages/chromium.scm (%preserved-third-party-files): Adjust for M96. (%chromium-version): Set to 96.0.4664.45. (%ungoogled-origin, ungoogled-chromium): Update hashes.
gnu: libtorrent-rasterbar: Update to 1.2.14. * gnu/packages/bittorrent.scm (libtorrent-rasterbar): Update to 1.2.14. [source](uri): Adjust tag name. [build-system]: Change to CMAKE-BUILD-SYSTEM. [arguments]: Adjust accordingly. Override the check phase to fake the time for one test, and disable another. [native-inputs]: Add LIBFAKETIME.
gnu: Add rcs-blame. * gnu/packages/version-control.scm (rcs-blame): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: rcs: Install rcsfreeze. * gnu/packages/version-control.scm (rcs): Install rcsfreeze. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: system: Improve location of some configuration warnings. * gnu/bootloader.scm (%warn-target-field-deprecation): Remove it. * gnu/bootloader.scm (warn-target-field-deprecation): Use define-with-syntax-properties. * gnu/system.scm (ensure-setuid-program-list): Ditto. Also rename the 'location' variable to 'properties'. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
diagnostics: Add syntax to capture arguments' syntax-properties. * guix/diagnostics.scm (define-with-syntax-properties): Add it. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
doc: Improve wording for param spec of `./configure`. * doc/contributing.texi (Running Guix Before It Is Installed): Writing "Do <this>. But it won't work unless ..." is a bad practice. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
gnu: tidy-html: Update to 5.8.0. * gnu/packages/web.scm (tidy-html): Update to 5.8.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org>