index
:
gds/gnu-guix
guix-for-govuk-mini-environment-admin
release
release_2
spike-end-to-end-test-system
spike-local-development-system-container
wip-postgresql-ssl
This repository contains snapshots of GNU Guix, to be used by the govuk-guix project.
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
/
packages
Commit message (
Expand
)
Author
Age
*
gnu: Add coq-bignums.
Julien Lepiller
2017-10-22
*
gnu: Update coq-coquelicot to 3.0.1.
Julien Lepiller
2017-10-22
*
gnu: Update coq-mathcomp to 1.6.2.
Julien Lepiller
2017-10-22
*
gnu: Update coq-flocq to 2.6.0.
Julien Lepiller
2017-10-22
*
gnu: Update coq to 8.7.0.
Julien Lepiller
2017-10-22
*
gnu: camlp5: install META file.
Julien Lepiller
2017-10-22
*
gnu: lame: Update to 3.100.
Marius Bakke
2017-10-22
*
gnu: python-pyqt: Update to 5.9.
Marius Bakke
2017-10-21
*
gnu: python-sip: Update to 4.19.3.
Marius Bakke
2017-10-21
*
gnu: rest: Update to 0.8.1.
Tobias Geerinckx-Rice
2017-10-21
*
gnu: gnome-disk-utility: Update to 3.26.1.
Tobias Geerinckx-Rice
2017-10-21
*
gnu: perl-geo-ip: Update to 1.51.
Tobias Geerinckx-Rice
2017-10-21
*
Use HTTPS for bioconductor.org.
Tobias Geerinckx-Rice
2017-10-21
*
gnu: schismtracker: Update to 20170910.
Kei Kebreau
2017-10-21
*
gnu: Fix the hashes of mutated GitHub archives.
Maxim Cournoyer
2017-10-20
*
gnu: libvirt: Fix CVE-2017-1000256.
Leo Famulari
2017-10-20
*
gnu: mysql: Update to 5.7.20.
Leo Famulari
2017-10-20
*
gnu: webkitgtk: Update to 2.18.1.
Leo Famulari
2017-10-20
*
gnu: youtube-dl: Update to 2017.10.20.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: dovecot: Update to 2.2.33.2.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: ola: Build with protobuf@2.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: font-hack: Update to 3.000.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: Add aegisub.
Julien Lepiller
2017-10-20
*
gnu: Add ffms2.
Julien Lepiller
2017-10-20
*
gnu: speexdsp: Fix building on aarch64-linux.
Efraim Flashner
2017-10-20
*
gnu: Add emacs-json-snatcher.
Oleg Pykhalov
2017-10-20
*
gnu: shellcheck: Update to 0.4.6.
ng0
2017-10-20
*
gnu: dos2unix: Update to 7.4.0.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: cowsay: Swap ‘build’ and ‘install’ phases.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: cowsay: Update to 3.04.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: colordiff: Use HTTPS home page.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: unbound: Update to 1.6.7.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: neofetch: Update to 3.3.0.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: qtox: Update to 1.12.1.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: speedtest-cli: Update to 1.0.7.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: cppcheck: Update to 1.81.
Tobias Geerinckx-Rice
2017-10-20
*
gnu: python-sge-pygame: Update source URL.
Kei Kebreau
2017-10-19
*
gnu: musl: Update to 1.1.17.
Leo Famulari
2017-10-19
*
gnu: linux-libre: Update to 4.13.8.
Mark H Weaver
2017-10-19
*
gnu: linux-libre@4.9: Update to 4.9.57.
Mark H Weaver
2017-10-19
*
gnu: linux-libre@4.4: Update to 4.4.93.
Mark H Weaver
2017-10-19
*
gnu: linux-libre@4.1: Update to 4.1.45.
Mark H Weaver
2017-10-19
*
gnu: yadifa: Update to 2.2.6.
Marius Bakke
2017-10-19
*
gnu: Add zathura-pdf-mupdf.
Marius Bakke
2017-10-19
*
gnu: qemu: Build with libjpeg-turbo.
Marius Bakke
2017-10-19
*
gnu: emacs: Fix Man default C header file search path.
Oleg Pykhalov
2017-10-19
*
gnu: speex: Build and install 'speexdec' and 'speexenc'.
宋文武
2017-10-19
*
gnu: virt-manager: Fix default URI check.
Andy Patterson
2017-10-19
*
gnu: virt-manager: Enable statistics graphing support.
Andy Patterson
2017-10-19
*
gnu: qemu: Add OpenGL support.
Andy Patterson
2017-10-19
[next]