gnu: r-ensembldb: Update to 2.18.2.
* gnu/packages/bioconductor.scm (r-ensembldb): Update to 2.18.2.
gnu: r-chipseeker: Update to 1.30.2.
* gnu/packages/bioconductor.scm (r-chipseeker): Update to 1.30.2.
gnu: r-annotationdbi: Update to 1.56.2.
* gnu/packages/bioconductor.scm (r-annotationdbi): Update to 1.56.2.
tests: Replace texlive importer tests.
* tests/texlive.scm (xml, sxml): Remove variables.
("fetch-sxml: returns SXML for valid XML", "sxml->package"): Remove tests.
("texlive->guix-package"): Add new test.
import: texlive: Take different package database as optional argument.
* guix/import/texlive.scm (tlpdb->package): Expect PACKAGE-DATABASE as
argument.
(texlive->guix-package): Accept PACKAGE-DATABASE keyword.
import: texlive: Print inputs with labels and guixified names.
* guix/import/texlive.scm (tlpdb->package): Improve handling of propagated-inputs.
gnu: wireshark: Update to 3.4.10.
* gnu/packages/networking.scm (wireshark): Update to 3.4.10.
gnu: emacs-elfeed-score: Update to 1.2.0.
* gnu/packages/emacs-xyz.scm (emacs-elfeed-score): Update to 1.2.0.
gnu: coq-stdpp: Adjust '#:make-flags'.
* gnu/packages/coq.scm (coq-stdpp)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
gnu: coq-equations: Adjust '#:make-flags'.
* gnu/packages/coq.scm (coq-equations)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
gnu: coq-autosubst: Adjust '#:make-flags'.
* gnu/packages/coq.scm (coq-autosubst)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
gnu: coq-mathcomp: Adjust '#:make-flags'.
* gnu/packages/coq.scm (coq-mathcomp)[arguments]<#:make-flags>: Set install
destination.
<#:phases>: Remove replace 'install.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
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.