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
/
patches
/
cadical-add-shared-library.patch
Age
Commit message (
Expand
)
Author
2026-04-04
gnu: cadical: Update to 2.1.3.
Sören Tempel
2024-10-06
gnu: Add cadical.
Liliana Marie Prikler