aboutsummaryrefslogtreecommitdiff
path: root/tests/zlib.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2018-05-31 12:34:21 +0200
committerRicardo Wurmus <rekado@elephly.net>2018-05-31 13:21:31 +0200
commit99b225f3ebe815ec95584ad64136d81b1e16ce96 (patch)
treea3a3712f48ff6d3441585a5aea00b958fb5501e0 /tests/zlib.scm
parent3c441be0f30246e37436ed194028d2c72adc5447 (diff)
downloadguix-99b225f3ebe815ec95584ad64136d81b1e16ce96.tar.gz
guix-99b225f3ebe815ec95584ad64136d81b1e16ce96.zip
gnu: r-bit: Update to 1.1-14.
* gnu/packages/statistics.scm (r-bit): Update to 1.1-14.
Diffstat (limited to 'tests/zlib.scm')
0 files changed, 0 insertions, 0 deletions
ed98f08e73b7cdb83ec7a272b'>gnu: proof-general: Update to latest commit....Julien Lepiller 2021-11-30gnu: coq-semantics: Update to 8.14.0....Julien Lepiller 2021-11-22gnu: proof-general: Adjust autoloads for Emacs....zimoun 2021-11-21gnu: coq-stdpp: Update to 1.6.0....Julien Lepiller 2021-11-21gnu: coq-interval: Update to 4.3.1....Julien Lepiller 2021-11-21gnu: coq-coquelicot: Update to 3.2.0....Julien Lepiller 2021-11-21gnu: coq-mathcomp: Update to 1.13.0....Julien Lepiller 2021-11-21gnu: coq-gappa: Update to 1.5.0....Julien Lepiller 2021-11-21gnu: coq-flocq: Update to 3.4.2....Julien Lepiller 2021-11-20gnu: coq-interval: Update home-page....Julien Lepiller 2021-11-20gnu: coq-gappa: Update home-page....Julien Lepiller 2021-11-20gnu: coq-flocq: Update home-page....Julien Lepiller 2021-11-18gnu: coq-stdpp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-equations: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-autosubst: Adjust '#:make-flags'....zimoun 2021-11-18gnu: coq-mathcomp: Adjust '#:make-flags'....zimoun 2021-11-18gnu: Add coq-semantics....zimoun 2021-10-08gnu: coq: Add upstream-name....Julien Lepiller 2021-07-31gnu: coq: Update to 8.13.2....Julien Lepiller 2021-07-31gnu: coq-stdpp: Update to 1.5.0....Julien Lepiller 2021-06-13gnu: proof-general: Update to 4.4-0.bc86736....Xinglu Chen