summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2026-04-07Patched Package CI script.rocq-wipDan Rostovtsev
* package-ci.bash: Passing the -p argument to patch-checklist.bash Change-Id: I4a410c7b31bab36cf9e46068bfac28f9a049f817
2026-04-07Runtime profiles fixed. Package definitions cleaned up.Dan Rostovtsev
* RocqExample.v: An example Rocq file to test the REPL. * gnu/packages/rocq.scm: Reflected Rocq opam package defintitions in Guix definitions. Used propogated-inputs and native-search-paths. Led to several simplifications. Added clearer synopses. * test-rocq.bash: Exercises the build and simple usage of rocq. Change-Id: Ia9fb52b54219de666fff27511c71f642c18ff845 Signed-off-by: Dan Rostovtsev <dan@rostovtsev.org>
2026-04-07Added notes about Guix profiles and Rocq packaging.Dan Rostovtsev
Change-Id: Iebd4ec69d1d48bad9d7369a8512b289a5f53569f
2026-04-07"rocq-core" now builds. Runtime profiles need fixing.Dan Rostovtsev
Change-Id: Ifee7d63dd88c1c5e5fa85933d53853ba3654b84e
2026-04-07Added all project target from rocq. rocq-core does not build.Dan Rostovtsev
Change-Id: Ic287abe3b1bddc0dd01acc7402f4f576322cfb94
2026-04-07Added build-flags and test-flags for serial build and check phases.Dan Rostovtsev
Change-Id: I171f0ab64e431567749341472ce27ddce5297aa6
2026-04-07Removed unnecessary configure step from rocq build.Dan Rostovtsev
Change-Id: I81ff77d22ab261343b0c2154824e9b36c042735b
2026-04-07First working version with dune-build-system + #:package pattern.Dan Rostovtsev
Change-Id: Ib29d62fee710fc81ec742c506de3558e325b4af5 Signed-off-by: Dan Rostovtsev <dan@rostovtsev.org>
2026-04-07Added package integration tests script.Dan Rostovtsev
Change-Id: I73c9d302632661da6066393a5cec56629181a011 Signed-off-by: Dan Rostovtsev <dan@rostovtsev.org>
2026-04-07Added build to start of patch checklist.Dan Rostovtsev
Change-Id: I4e3ad9f361ef44a205e8207b112cf938398e35d1
2026-04-07Rocq build is now reproducible.Dan Rostovtsev
* gnu/packages/rocq.scm: Tests /and/ build need to be run in serial. Rocq check phase builds artifacts with race conditions that get included in the installation. Change-Id: I169de90d3d9b03b96c889ce5e82e10b51d082ddd
2026-04-07Looking into indeterminacy issue with rocq/ocaml.Dan Rostovtsev
Left notes about race condition. Switching to one thread does not solve problem. Still may be readdir issue. ... or something else. Change-Id: I23633f4b013763221e6f3c4171e7b0a7e28c960f
2026-04-07Zeroing in on rocq diff:Dan Rostovtsev
* reproduce.bash: using guix build / gc to get two isolated build results * build-and-diff.scm: removed. Change-Id: I4de1ee1bdd769bf2030b173ff454be0179ca82d7
2026-04-07Added build-and-diff.scm to debug the determinism of builds.Dan Rostovtsev
Change-Id: Ia280c5517df7a1226f473001351c5fd2e754128e
2026-04-07First contribution: up to checking non-determinism in build.Dan Rostovtsev
* doc/contributing.texi: Notes on a dev env with manifest.scm. * gnu/packages/rocq.scm: Styling and linting. * manifest.scm: Adding fontconfig for build in dev env. * patch-checklist.bash: Script to run checks in contribution guidelines. Change-Id: I29366066947bc30040f591b9f4fdc21fdf277adc
2026-04-07Added rocq, rocqide, and rocqide-server.Dan Rostovtsev
Change-Id: I2fae850aba2587a1c3394ad55b77f8098903a69b
2026-04-07gnu: python-vulture: Update to 2.16.HEADmasterjgart
* 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-07services: redis: Add prefix `redis-`.Ashvith Shetty
* 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-07gnu: Add go-github-com-cli-shurcool-graphql.Roman Scherer
* 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-07gnu: Add go-github-com-cli-oauth.Roman Scherer
* 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-07gnu: go-github-com-charmbracelet-huh: Use git-fetch/lfs.Roman Scherer
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>
2026-04-07gnu: go-github-com-charmbracelet-x-xpty: Use git-fetch/lfs.Roman Scherer
The charmbracelet/x repository uses Git LFS for binary files (*.png, *.jpg, *.ttf). 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-x-xpty): Use git-fetch/lfs method. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: I3377e2830dd9e5a3cec645550624f65ed3f1f0a6 Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: go-github-com-charmbracelet-x-conpty: Use git-fetch/lfs.Roman Scherer
The charmbracelet/x repository uses Git LFS for binary files (*.png, *.jpg, *.ttf). 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-x-conpty): Use git-fetch/lfs method. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: I7e927ab22b0b10b5b8324895f0406c8fc4217656 Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: go-github-com-charmbracelet-x-termios: Use git-fetch/lfs.Roman Scherer
The charmbracelet/x repository uses Git LFS for binary files (*.png, *.jpg, *.ttf). 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-x-termios): Use git-fetch/lfs method. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: Ib9492cfba7fe779ba2bb27918333d480c1b3b7ff Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: go-github-com-charmbracelet-x-exp-strings: Use git-fetch/lfs.Roman Scherer
The charmbracelet/x repository uses Git LFS for binary files (*.png, *.jpg, *.ttf). 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-x-exp-strings): Use git-fetch/lfs method. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: Ia3d2e0fbf113bd7d1c73e4b6459fe96cd9a475f0 Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: go-github-com-charmbracelet-x-exp-slice: Use git-fetch/lfs.Roman Scherer
The charmbracelet/x repository uses Git LFS for binary files (*.png, *.jpg, *.ttf). 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-x-exp-slice): Use git-fetch/lfs method. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: Icb48340561aa40a1d653d3e8adb178a90e78e849 Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: go-github-com-charmbracelet-glamour: Use git-fetch/lfs.Roman Scherer
The charmbracelet/glamour repository uses Git LFS for binary files (*.png). 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-glamour): Use git-fetch/lfs method. [source]: Fix hash. Relates-to: https://codeberg.org/guix/guix/pulls/5190 Change-Id: I7e6251cd2dc09ac48bcde2e2b9b142387eca0a9c Reviewed-by: Johannes Christ <jc@jchri.st> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: gunicorn: Update to 25.3.0.jgart
* gnu/packages/python-web.scm (gunicorn): Update to 25.3.0. [properties]: Resolve CVE-2024-1135. [arguments]: Remove build-doc phase. [native-inputs]: Removed python-aiohttp, python-sphinx, and texinfo. Added python-eventlet, python-h2, python-httpx, python-pytest-asyncio, python-setuptools, and python-uvloop. Change-Id: Ib272649687cda475b3dacf103b3c98b9e6be581d
2026-04-08gnu: iwd: Update to 3.12Ashish SHUKLA
* gnu/packages/networking.scm (iwd): Update to 3.12. Change-Id: I6ec1619f0d78f1c69c9de87726792f16c5144c94 Signed-off-by: Nguyễn Gia Phong <cnx@loang.net>
2026-04-08gnu: ell: Update to 0.83Ashish SHUKLA
* gnu/packages/linux.scm (ell): Update to 0.83. Change-Id: I483da3056ad8df666fbe58e952f88d21d4dc840f Signed-off-by: Nguyễn Gia Phong <cnx@loang.net>
2026-04-07tests: miniflux: Use the default PostgreSQL version.Nguyễn Gia Phong
* gnu/tests/web.scm (miniflux-base-system)[postgresql-service-type]: Replace postgresql-13 with postgresql. Change-Id: Iee411b6045ced64592937ed3dfda39c900ec52e7
2026-04-07tests: timescaledb: Fix postgresql package in profile.Nguyễn Gia Phong
* gnu/tests/databases.scm (%timescaledb-os)[services]<postgresql>: Use the postgresql package from timescaledb's inputs. (run-timescaledb-test): Use the psql binary installed in the profile. Change-Id: Ib9a0efd3534f2f0731e3d58ac4f8f59301fc8592
2026-04-07gnu: timescaledb: Update to 2.26.1.Nguyễn Gia Phong
* gnu/packages/databases.scm (timescaledb): Update to 2.26.1. [source]<snippet>: Update the list of proprietary files to remove. [inputs]: Replace postgresql with postgresql-17. Change-Id: I4556c8f7706a1b00fbd13084e7a2cbe0517367a8
2026-04-07gnu: ruby-pg: Update to 1.6.2.Nicolas Graves
* gnu/packages/patches/ruby-pg-connect-timeout.patch: Delete upstreamed patch. * gnu/packages/ruby-xyz.scm (ruby-pg)[source]: Update to 1.6.2. Drop patch. * gnu/local.mk (dist_patch_DATA): Unregister patch. Change-Id: I5b6cfaf96199216d6f80c727d8e10b7f4c51577a Signed-off-by: Nguyễn Gia Phong <cnx@loang.net>
2026-04-07gnu: unixodbc: Update to 2.3.14.Nguyễn Gia Phong
* gnu/packages/databases.scm (unixodbc): Update to 2.3.14. Change-Id: I79a3d21aace805886a61c443fc25f10a845808bd Signed-off-by: Andreas Enge <andreas@enge.fr>
2026-04-07gnu: shadow: Update to 4.19.0.Ashish SHUKLA
* gnu/packages/admin.scm (shadow): Update to 4.19.0. Add native-inputs. [arguments]<#:configure-flags>: Add flags. <#:phases>: Remove "remove-groups" phase. Merges: https://codeberg.org/guix/guix/pulls/5296 Change-Id: I750fadef67742423801d9f3c6e3c2b21d636025e Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: apr: Update to 1.7.6.Hartmut Goebel
* gnu/packages/apr.scm (apr): Update to 1.7.6. Merges: https://codeberg.org/guix/guix/pulls/5764 Change-Id: Ieb93b897e68dbe0d0b05da5c0ee7d82633be43c7 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: inetutils: Update to 2.7.Ashish SHUKLA
* gnu/packages/admin.scm (inetutils): Update to 2.7. Merges: https://codeberg.org/guix/guix/pulls/4845 Change-Id: Ibb1e53c894686fd2a9e70a39c0125cfc1cbf571a Reviewed-by: Nguyễn Gia Phong <cnx@loang.net> Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: Add postgresql-17.Nicolas Graves
* gnu/packages/databases.scm (postgresql-17): New variable. (postgresql-16): Redefine with postgresql-17 inheritance (same derivation as in previous commit). Change-Id: I1a14dc6835a043138fae2163efd07d068a2c2783 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: postgresql-15: Don't inherit source.Nicolas Graves
* gnu/packages/databases.scm (postgresql-15)[source]: Avoid inheritance where it's not useful. Change-Id: I6651a9ae6908e6c6a32f9194d4a5bd9400fe8462 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: postgresql-16: Update to 16.11.Nicolas Graves
* gnu/packages/databases.scm (postgresql-16): Update to 16.11. Change-Id: I3056f21680e59e6c5cb52eac25c4799bf5ea2a25 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: postgresql-15: Update to 15.15.Nicolas Graves
* gnu/packages/databases.scm (postgresql-15): Update to 15.15. Change-Id: I7d42272498be52aacd699c18f8d9d9e2ba1814ae Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: postgresql-14: Update to 14.20.Nicolas Graves
* gnu/packages/databases.scm (postgresql-14): Update to 14.20. Change-Id: Ife4298e278573d76e7a38f0f538954d401271835 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: postgresql-13: Deprecate package.Nicolas Graves
* gnu/packages/databases.scm (postgresql-13): Deprecate package. Change-Id: If0ba28857fa48d407c8e5318443fc2d9bf7883b6 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: postgresql-13: Update to 13.23.Nicolas Graves
* gnu/packages/databases.scm (postgresql-13): Update to 13.23. Change-Id: I1bd2251a4285197da0f70281c8a7acd86b1be1c3 Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
2026-04-07gnu: python-eventlet: Update to 0.40.4.jgart
* gnu/packages/python-web.scm (python-eventlet): Update to 0.40.4. [native-inputs]: Remove python-pypa-build. Change-Id: I312a183fd87ea2531068d5168e7f96112ded951e
2026-04-07gnu: trealla: Update to 2.92.17.jgart
* gnu/packages/prolog.scm (trealla): Update to 2.92.17. Change-Id: Ia4514eb64228797f89d32d5b997264a23bed8bde
2026-04-07gnu: openmpi-5: Drop calls to PACKAGE?.Romain GARBAGE
See https://codeberg.org/guix/guix/pulls/7609#issuecomment-12558714. * gnu/packages/mpi.scm (openmpi-5): Drop calls to PACKAGE?. Change-Id: I19254aea9e71773cbbdf9719a129f33a0c153e87 Signed-off-by: Ludovic Courtès <ludo@gnu.org> Merges: #7609
2026-04-07gnu: openmpi-5: Explicitly activate PSM2 when present.Romain GARBAGE
* gnu/packages/mpi.scm (openmpi-5): Explicitly activate PSM2 when present. Change-Id: I4516553ddc88c68459ae028488927d37ef8c29af Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2026-04-07services: nginx: Fix ‘stop’ in cases where a custom config file is passed.Ludovic Courtès
Previously, when the ‘file’ field of ‘nginx-configuration’ was true, the PID file would be unknown; thus, the ‘start’ method would return #t and the ‘stop’ method would eventually fail with a type error because it would receive #t instead of a process. This fixes it by changing ‘stop’ to invoke “nginx -s stop” when the service’s value is not a process. * gnu/services/web.scm (nginx-shepherd-service): In ‘stop’, change to invoke “nginx -s stop” when ‘value’ is not a process. Fixes: guix/guix#7061 Reported-by: Dan Littlewood Change-Id: I20ff065ecd2c64e5fc98f59c25d91b300bc7b4cd Signed-off-by: Ludovic Courtès <ludo@gnu.org> Merges: #7543
generated by cgit v1.3 (git 2.53.0) at 2026-05-27 13:08:00 +0000