index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
Age
Commit message (
Expand
)
Author
2026-04-07
Runtime profiles fixed. Package definitions cleaned up.
Dan Rostovtsev
2026-04-07
"rocq-core" now builds. Runtime profiles need fixing.
Dan Rostovtsev
2026-04-07
Added all project target from rocq. rocq-core does not build.
Dan Rostovtsev
2026-04-07
Added build-flags and test-flags for serial build and check phases.
Dan Rostovtsev
2026-04-07
Removed unnecessary configure step from rocq build.
Dan Rostovtsev
2026-04-07
First working version with dune-build-system + #:package pattern.
Dan Rostovtsev
2026-04-07
Rocq build is now reproducible.
Dan Rostovtsev
2026-04-07
Looking into indeterminacy issue with rocq/ocaml.
Dan Rostovtsev
2026-04-07
First contribution: up to checking non-determinism in build.
Dan Rostovtsev
2026-04-07
Added rocq, rocqide, and rocqide-server.
Dan Rostovtsev
2026-04-07
gnu: python-vulture: Update to 2.16.
HEAD
master
jgart
2026-04-07
gnu: Add go-github-com-cli-shurcool-graphql.
Roman Scherer
2026-04-07
gnu: Add go-github-com-cli-oauth.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-huh: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-x-xpty: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-x-conpty: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-x-termios: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-x-exp-strings: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-x-exp-slice: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: go-github-com-charmbracelet-glamour: Use git-fetch/lfs.
Roman Scherer
2026-04-07
gnu: gunicorn: Update to 25.3.0.
jgart
2026-04-08
gnu: iwd: Update to 3.12
Ashish SHUKLA
2026-04-08
gnu: ell: Update to 0.83
Ashish SHUKLA
2026-04-07
gnu: timescaledb: Update to 2.26.1.
Nguyễn Gia Phong
2026-04-07
gnu: ruby-pg: Update to 1.6.2.
Nicolas Graves
2026-04-07
gnu: unixodbc: Update to 2.3.14.
Nguyễn Gia Phong
2026-04-07
gnu: shadow: Update to 4.19.0.
Ashish SHUKLA
2026-04-07
gnu: apr: Update to 1.7.6.
Hartmut Goebel
2026-04-07
gnu: inetutils: Update to 2.7.
Ashish SHUKLA
2026-04-07
gnu: Add postgresql-17.
Nicolas Graves
2026-04-07
gnu: postgresql-15: Don't inherit source.
Nicolas Graves
2026-04-07
gnu: postgresql-16: Update to 16.11.
Nicolas Graves
2026-04-07
gnu: postgresql-15: Update to 15.15.
Nicolas Graves
2026-04-07
gnu: postgresql-14: Update to 14.20.
Nicolas Graves
2026-04-07
gnu: postgresql-13: Deprecate package.
Nicolas Graves
2026-04-07
gnu: postgresql-13: Update to 13.23.
Nicolas Graves
2026-04-07
gnu: python-eventlet: Update to 0.40.4.
jgart
2026-04-07
gnu: trealla: Update to 2.92.17.
jgart
2026-04-07
gnu: openmpi-5: Drop calls to PACKAGE?.
Romain GARBAGE
2026-04-07
gnu: openmpi-5: Explicitly activate PSM2 when present.
Romain GARBAGE
2026-04-07
gnu: apl: Update to 2.0.1.
Sergio Pastor Pérez
2026-04-07
gnu: guile-bytestructures: Update to 2.0.2.
Vagrant Cascadian
2026-04-07
gnu: cross-base: mingw: use compressed debug sections
fanquake
2026-04-07
gnu: ibus-skk: Fix build.
宋文武
2026-04-07
gnu: fcitx5-lua: Update to 5.0.16.
宋文武
2026-04-07
gnu: fcitx5-hangul: Update to 5.1.9.
宋文武
2026-04-07
gnu: fcitx5-rime: Update to 5.1.13.
宋文武
2026-04-07
gnu: fcitx5-configtool: Update to 5.1.13.
宋文武
2026-04-07
gnu: fcitx5-chinese-addons: Update to 5.1.12.
宋文武
2026-04-07
gnu: libime: Update to 1.1.14.
宋文武
[next]