summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2026-04-07Patched Package CI script.rocq-wipDan Rostovtsev
2026-04-07Runtime profiles fixed. Package definitions cleaned up.Dan Rostovtsev
2026-04-07Added notes about Guix profiles and Rocq packaging.Dan Rostovtsev
2026-04-07"rocq-core" now builds. Runtime profiles need fixing.Dan Rostovtsev
2026-04-07Added all project target from rocq. rocq-core does not build.Dan Rostovtsev
2026-04-07Added build-flags and test-flags for serial build and check phases.Dan Rostovtsev
2026-04-07Removed unnecessary configure step from rocq build.Dan Rostovtsev
2026-04-07First working version with dune-build-system + #:package pattern.Dan Rostovtsev
2026-04-07Added package integration tests script.Dan Rostovtsev
2026-04-07Added build to start of patch checklist.Dan Rostovtsev
2026-04-07Rocq build is now reproducible.Dan Rostovtsev
2026-04-07Looking into indeterminacy issue with rocq/ocaml.Dan Rostovtsev
2026-04-07Zeroing in on rocq diff:Dan Rostovtsev
2026-04-07Added build-and-diff.scm to debug the determinism of builds.Dan Rostovtsev
2026-04-07First contribution: up to checking non-determinism in build.Dan Rostovtsev
2026-04-07Added rocq, rocqide, and rocqide-server.Dan Rostovtsev
2026-04-07gnu: python-vulture: Update to 2.16.HEADmasterjgart
2026-04-07services: redis: Add prefix `redis-`.Ashvith Shetty
2026-04-07gnu: Add go-github-com-cli-shurcool-graphql.Roman Scherer
2026-04-07gnu: Add go-github-com-cli-oauth.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-huh: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-x-xpty: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-x-conpty: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-x-termios: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-x-exp-strings: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-x-exp-slice: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: go-github-com-charmbracelet-glamour: Use git-fetch/lfs.Roman Scherer
2026-04-07gnu: gunicorn: Update to 25.3.0.jgart
2026-04-08gnu: iwd: Update to 3.12Ashish SHUKLA
2026-04-08gnu: ell: Update to 0.83Ashish SHUKLA
2026-04-07tests: miniflux: Use the default PostgreSQL version.Nguyễn Gia Phong
2026-04-07tests: timescaledb: Fix postgresql package in profile.Nguyễn Gia Phong
2026-04-07gnu: timescaledb: Update to 2.26.1.Nguyễn Gia Phong
2026-04-07gnu: ruby-pg: Update to 1.6.2.Nicolas Graves
2026-04-07gnu: unixodbc: Update to 2.3.14.Nguyễn Gia Phong
2026-04-07gnu: shadow: Update to 4.19.0.Ashish SHUKLA
2026-04-07gnu: apr: Update to 1.7.6.Hartmut Goebel
2026-04-07gnu: inetutils: Update to 2.7.Ashish SHUKLA
2026-04-07gnu: Add postgresql-17.Nicolas Graves
2026-04-07gnu: postgresql-15: Don't inherit source.Nicolas Graves
2026-04-07gnu: postgresql-16: Update to 16.11.Nicolas Graves
2026-04-07gnu: postgresql-15: Update to 15.15.Nicolas Graves
2026-04-07gnu: postgresql-14: Update to 14.20.Nicolas Graves
2026-04-07gnu: postgresql-13: Deprecate package.Nicolas Graves
2026-04-07gnu: postgresql-13: Update to 13.23.Nicolas Graves
2026-04-07gnu: python-eventlet: Update to 0.40.4.jgart
2026-04-07gnu: trealla: Update to 2.92.17.jgart
2026-04-07gnu: openmpi-5: Drop calls to PACKAGE?.Romain GARBAGE
2026-04-07gnu: openmpi-5: Explicitly activate PSM2 when present.Romain GARBAGE
2026-04-07services: nginx: Fix ‘stop’ in cases where a custom config file is passed.Ludovic Courtès
generated by cgit v1.3 (git 2.53.0) at 2026-05-27 12:57:23 +0000