GNU transactional package management, distribution, deployment, and more! http://git.rostovtsev.org/guix/atom?h=rocq-codeberg-pr-v3 2026-04-10T14:25:17Z 2026-04-10T14:25:17Z Dan Rostovtsev dan@rostovtsev.org 2026-04-10T14:25:17Z urn:sha1:b919b0e45184c1e8642e7b0b8f93b7c01ddf4e18 * gnu/packages/rocq.scm (rocqide): Add 9.2.0. Change-Id: I5db4925c6a193c562a14be49d4edc17ed252f22a 2026-04-10T14:22:55Z Dan Rostovtsev dan@rostovtsev.org 2026-04-10T14:22:55Z urn:sha1:f734228a4547a580dda999318bc57fcd86a0cfe5 * gnu/packages/rocq.scm (rocqide-server): Add 9.2.0. Change-Id: I80eb516e5c624298832935a521561e89c278b225 2026-04-10T14:18:54Z Dan Rostovtsev dan@rostovtsev.org 2026-04-10T14:18:54Z urn:sha1:565a9f46e1c961b207b5db23bbeb88f1def59a93 * gnu/packages/rocq.scm (rocq-core): Add 9.2.0. Change-Id: Ic9017ca198d03397252c04b84fd3eda1e48908b3 2026-04-10T14:11:06Z Dan Rostovtsev dan@rostovtsev.org 2026-04-10T14:11:06Z urn:sha1:8cac08a4b7b44b6b6f9b01a8dab4aa61efb72e45 * gnu/packages/rocq.scm (rocq-runtime): Add 9.2.0. Change-Id: I7b743ed65ebedf056daba2e30f8e2c3f3e2339a0 2026-04-10T13:43:06Z Dan Rostovtsev dan@rostovtsev.org 2026-04-10T13:43:06Z urn:sha1:3bf88ef19b2c51162886321a8557449a96c4f1c4 Preparing the addition of packages for the renamed proof assistant. * gnu/packages/rocq.scm (rocq-arguments): A helper to specify shared dune build settings for the packages in the rocq repository. Change-Id: I666c909a1b1ce89bbc3bc324d5d05ece0cfbfc19 2026-04-07T21:39:05Z jgart jgart@dismail.de 2026-04-07T21:36:22Z urn:sha1:1bfc951376ebb55830d7e7daba483c77fe8bee0c * gnu/packages/python-check.scm (python-vulture): Update to 2.16. [native-inputs]: Remove python-wheel. Add python-pytest-cov. [propagated-inputs]: Remove python-toml. Add python-tomli Change-Id: I952a0bf1ffd1a9a6cd67af6ed9bdf48cb1466a5b 2026-04-07T20:41:58Z Ashvith Shetty ashvith@noreply.codeberg.org 2026-03-03T16:32:34Z urn:sha1:75ad22703e7b22a19de0a0733555d33f1010f6a4 * gnu/services/databases.scm (maybe-string): Add prefix. (serialize-field): Rename to `redis-serialize-field`, remove gexp. (redis-serialize-package): Add variable. (serialize-string): Rename to `redis-serialize-string`. (serialize-number): Rename to `redis-serialize-number`. (redis-configuration): Add prefix. * doc/guix.texi (Database Services) <redis>: Regenerate documentation. Merges: https://codeberg.org/guix/guix/pulls/6850 Change-Id: Iccbbb7108f8211b31769638ef885e485bab0ebc3 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> 2026-04-07T20:01:25Z Roman Scherer roman@burningswell.com 2026-01-11T10:36:30Z urn:sha1:2f2d3f9b6ab0400348eba2597f574fd7168ede73 * gnu/packages/golang-vcs.scm (go-github-com-cli-shurcool-graphql): New variable. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: I89d1852021fe5c3dcde76f98eaf81e966c484ce0 Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> 2026-04-07T20:01:25Z Roman Scherer roman@burningswell.com 2026-01-11T10:36:08Z urn:sha1:5096a943edc73427b9defd036c959d6f7af388e2 * gnu/packages/golang-web.scm (go-github-com-cli-oauth): New variable. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: I26f9242c4607902ca554fd05acbc29cab329d9ec Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com> 2026-04-07T19:59:05Z Roman Scherer roman@burningswell.com 2026-01-11T10:03:49Z urn:sha1:479d1ea923daffc0e10836be4f0f64f6e23966c9 The charmbracelet/huh repository uses Git LFS for binary files. Using git-fetch/lfs ensures proper checkout of these files, preventing hash mismatches across different architectures. * gnu/packages/golang-xyz.scm (go-github-com-charmbracelet-huh): Use git-fetch/lfs method. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: I8d296731ec61efec58bad207212b633f6356468c Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>