aboutsummaryrefslogtreecommitdiff
path: root/srfi
diff options
context:
space:
mode:
Diffstat (limited to 'srfi')
0 files changed, 0 insertions, 0 deletions
on. Julien Lepiller 2022-02-11gnu: coq-interval: Update to 4.4.0....* gnu/packages/coq.scm (coq-interval): Update to 4.4.0. Julien Lepiller 2022-02-11gnu: coq-bignums: Update to 8.15.0....* gnu/packages/coq.scm (coq-bignums): Update to 8.15.0. Julien Lepiller 2022-02-11gnu: coq-gappa: Update to 1.5.1....* gnu/packages/coq.scm (coq-gappa): Update to 1.5.1. Julien Lepiller 2022-02-11gnu: coq-flocq: Update to 4.0.0....* gnu/packages/coq.scm (coq-flocq): Update to 4.0.0. Julien Lepiller