summaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
2026-04-28gnu: kissat: Check generate proofs via drat-trim in 'check.Sören Tempel
2026-04-28gnu: Add drat-trim.Sören Tempel
2026-04-28gnu: bitwuzla: Update to 0.9.0.Sören Tempel
2026-04-28gnu: cvc5: Restore compatibility with packaged symfpu.Sören Tempel
2026-04-28gnu: symfpu: Update to 0.0-2.aeaa3faSören Tempel
2026-04-28gnu: trealla: Update to 2.94.5.jgart
2026-04-28gnu: guile-knots: Update to 0.1-35.49996c4.Christopher Baines
2026-04-28gnu: guix-data-service: Update to 0.0.1-76.58744bb.Christopher Baines
2026-04-28gnu: bffe: Update to 0-18.d6c90f2.Christopher Baines
2026-04-28gnu: r-mscoreutils: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-flowcore: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-shortread: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-h5mread: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-rsamtools: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-sparsearray: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-snpstats: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-htmltools: Propagate r-markdown.John Dawson
2026-04-28gnu: r-biostrings: Patch for compatibility with R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-s4vectors: Patch for R 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-mlr3misc: Skip one test.Ricardo Wurmus
2026-04-28gnu: r-mlr3mbo: Update to 1.1.1.Ricardo Wurmus
2026-04-28gnu: r-harmony: Update to 2.0.2.Ricardo Wurmus
2026-04-28gnu: r-rush: Update to 1.1.0.Ricardo Wurmus
2026-04-28gnu: r-officer: Update to 0.7.4.Ricardo Wurmus
2026-04-28gnu: r-rcpp: Update to 1.1.1-1.1.Ricardo Wurmus
2026-04-28gnu: r-with-tests, r-minimal: Update to 4.6.0.Ricardo Wurmus
2026-04-28gnu: r-mlr3filters: Update to 0.9.1.Ricardo Wurmus
2026-04-28gnu: r-directlabels: Update to 2026.4.23.Ricardo Wurmus
2026-04-28gnu: r-irace: Update to 4.4.3.Ricardo Wurmus
2026-04-28gnu: r-statsexpressions: Update to 2.0.0.Ricardo Wurmus
2026-04-28gnu: r-ggstatsplot: Update to 1.0.0.Ricardo Wurmus
2026-04-28gnu: r-tidymodels: Update to 1.5.0.Ricardo Wurmus
2026-04-28gnu: r-nanotime: Update to 0.3.14.Ricardo Wurmus
2026-04-28gnu: r-rferns: Update to 6.0.0.Ricardo Wurmus
2026-04-28gnu: r-extradistr: Update to 1.10.0.3.Ricardo Wurmus
2026-04-28gnu: r-s7: Update to 0.2.2.Ricardo Wurmus
2026-04-28gnu: r-processx: Update to 3.9.0.Ricardo Wurmus
2026-04-28gnu: r-rmpi: Update to 0.7-3.4.Ricardo Wurmus
2026-04-28gnu: r-ggtangle: Update to 0.1.2.Ricardo Wurmus
2026-04-28gnu: r-fastdummies: Update to 1.7.6.Ricardo Wurmus
2026-04-28gnu: r-bit64: Update to 4.8.0.Ricardo Wurmus
2026-04-28gnu: Add r-ddpcr.Spencer King
2026-04-28gnu: r-qs2: Update to 0.2.0.Ricardo Wurmus
2026-04-28gnu: r-seurat: Update to 5.5.0.Ricardo Wurmus
2026-04-28gnu: r-igraph: Update to 2.3.0.Ricardo Wurmus
2026-04-28gnu: r-tweedie: Update to 3.0.19.Ricardo Wurmus
2026-04-28gnu: r-pkgload: Update to 1.5.2.Ricardo Wurmus
2026-04-28gnu: r-curl: Update to 7.1.0.Ricardo Wurmus
2026-04-28gnu: r-jose: Update to 2.0.0.Ricardo Wurmus
2026-04-28gnu: r-ggplot2: Update to 4.0.3.Ricardo Wurmus
generated by cgit v1.3 (git 2.53.0) at 2026-07-07 09:08:53 +0000