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-04-07
gnu: trealla: Update to 2.92.17.
jgart
2026-04-06
gnu: trealla: Update to 2.92.16.
jgart
2026-04-03
gnu: trealla: Update to 2.92.15.
jgart
2026-04-02
gnu: trealla: Update to 2.92.12.
jgart
2026-04-01
gnu: trealla: Update to 2.92.11.
jgart
2026-03-29
gnu: trealla: Update to 2.92.7.
jgart
2026-03-28
gnu: trealla: Update to 2.92.6.
jgart
2026-03-27
gnu: trealla: Update to 2.92.3.
jgart
2026-03-26
gnu: trealla: Update to 2.92.2.
jgart
2026-03-23
gnu: trealla: Update to 2.92.1.
jgart
2026-03-18
gnu: trealla: Update to 2.91.7.
jgart
2026-03-13
gnu: trealla: Update to 2.91.5.
jgart
2026-03-11
gnu: trealla: Update to 2.91.4.
jgart
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
[next]