index
:
guix
koszko
koszko-scripts
Wojtek's customized Guix
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2017-10-22
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-21
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-20
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-19
gnu: python-sge-pygame: Update source URL.
...
Kei Kebreau
2017-10-19
gnu: musl: Update to 1.1.17.
...
Leo Famulari
2017-10-19
download: Download a nar when a VCS checkout fails.
...
Ludovic Courtès
2017-10-19
Add (guix progress).
...
Ludovic Courtès
2017-10-19
download: Make 'http-fetch' public.
...
Ludovic Courtès
2017-10-19
download: Remove old-Guile leftovers.
...
Ludovic Courtès
2017-10-19
vm: Always use GRUB/i386.
...
Ludovic Courtès
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
[next]