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
/
prolog.scm
Age
Commit message (
Expand
)
Author
2026-03-08
gnu: trealla: Update to 2.91.3.
jgart
2026-03-03
gnu: trealla: Update to 2.91.1.
jgart
2026-03-02
gnu: trealla: Update to 2.91.0.
jgart
2026-03-01
gnu: trealla: Update to 2.90.41.
jgart
2026-02-27
gnu: trealla: Update to 2.90.40.
jgart
2026-02-25
gnu: trealla: Update to 2.90.39.
jgart
2026-02-23
gnu: trealla: Update to 2.90.37.
jgart
2026-02-22
gnu: trealla: Update to 2.90.36.
jgart
2026-02-21
gnu: trealla: Update to 2.90.35.
jgart
2026-02-20
gnu: trealla: Update to 2.90.33.
jgart
2026-02-19
gnu: trealla: Update to 2.90.31.
jgart
2026-02-18
gnu: trealla: Update to 2.90.29.
jgart
2026-02-17
gnu: trealla: Update to 2.90.24.
jgart
2026-02-16
gnu: trealla: Update to 2.90.22.
jgart
2026-02-13
gnu: trealla: Update to 2.90.21.
jgart
2026-02-12
gnu: trealla: Update to 2.90.18.
jgart
2026-02-12
gnu: Add scryer-prolog.
jgart
2026-02-12
gnu: trealla: Update to 2.90.16.
jgart
2026-02-11
gnu: trealla: Update to 2.90.11.
jgart
2026-02-09
gnu: trealla: Update to 2.90.9.
jgart
2026-02-09
gnu: trealla: Update to 2.90.8.
jgart
2026-02-08
gnu: trealla: Update to 2.90.2.
jgart
2026-02-07
gnu: trealla: Update to 2.90.0.
jgart
2026-01-30
gnu: trealla: Update to 2.89.13.
jgart
2026-01-29
gnu: trealla: Update to 2.89.12.
jgart
2026-01-25
gnu: trealla: Update to 2.89.11.
jgart
2026-01-24
gnu: trealla: Update to 2.89.10.
jgart
2026-01-23
gnu: trealla: Switch to running the standard tests.
jgart
2026-01-22
gnu: trealla: Update to 2.89.7.
jgart
2026-01-21
gnu: trealla: Update to 2.89.1.
jgart
2026-01-20
gnu: trealla: Update to 2.88.4.
jgart
2025-12-25
gnu: trealla: Update to 2.88.3.
jgart
2025-12-23
gnu: trealla: Update to 2.88.2.
jgart
2025-12-22
gnu: trealla: Update to 2.88.1.
jgart
2025-12-17
gnu: trealla: Update to 2.87.5.
jgart
2025-12-16
gnu: trealla: Update to 2.87.3.
jgart
2025-12-13
gnu: trealla: Update to 2.87.0.
jgart
2025-12-12
gnu: trealla: Update to 2.86.12.
jgart
2025-12-05
gnu: trealla: Update to 2.86.10.
jgart
2025-12-02
gnu: trealla: Update to 2.86.7.
jgart
2025-11-28
gnu: trealla: Update to 2.86.5.
jgart
2025-11-25
gnu: trealla: Update to 2.85.18.
jgart
2025-11-24
gnu: trealla: Update to 2.85.13.
jgart
2025-11-21
gnu: trealla: Update to 2.85.9.
jgart
2025-11-20
gnu: trealla: Update to 2.85.5.
jgart
2025-11-18
gnu: trealla: Update to 2.85.4.
jgart
2025-11-17
gnu: trealla: Update to 2.85.0.
jgart
2025-11-16
gnu: trealla: Update to 2.84.29.
jgart
2025-11-14
gnu: trealla: Update to 2.84.26.
jgart
2025-11-14
gnu: trealla: Update to 2.84.25.
jgart
[next]