aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/ld-wrapper.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/ld-wrapper.scm')
0 files changed, 0 insertions, 0 deletions
td> 2022-09-22gnu: coq-gappa: Update to 1.5.2.Julien Lepiller 2022-09-22gnu: coq-flocq: Update to 4.1.0.Julien Lepiller 2022-09-22gnu: lablgtk3: Update to 3.1.2.Julien Lepiller 2022-08-13gnu: dune: Update to 4.4.1.Julien Lepiller 2022-06-18gnu: coq: Update to 8.15.2.Julien Lepiller 2022-05-01gnu: coq: Update to 8.15.1.Julien Lepiller 2022-02-11gnu: coq-stdpp: Update to 1.7.0.Julien Lepiller 2022-02-11gnu: coq-mathcomp: Update to 1.14.0.Julien Lepiller 2022-02-11gnu: coq: Update to 8.15.0.Julien Lepiller 2022-02-11gnu: coq-interval: Update to 4.4.0.Julien Lepiller 2022-02-11gnu: coq-bignums: Update to 8.15.0.Julien Lepiller 2022-02-11gnu: coq-gappa: Update to 1.5.1.Julien Lepiller 2022-02-11gnu: coq-flocq: Update to 4.0.0.Julien Lepiller