index
:
guix
linode-image-docs
master
rocq-codeberg-pr-v1
rocq-codeberg-pr-v2
rocq-codeberg-pr-v3
rocq-wip
GNU transactional package management, distribution, deployment, and more!
Daniel Rostovtsev
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
Age
Commit message (
Expand
)
Author
2017-10-22
gnu: Add r-rgraphviz.
Ricardo Wurmus
2017-10-22
gnu: Add r-pdist.
Ricardo Wurmus
2017-10-22
gnu: Update coq-interval to 3.3.0.
Julien Lepiller
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
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
2017-10-19
gnu: emacs: Fix Man default C header file search path.
Oleg Pykhalov
[next]