summary refs log tree commit diff
AgeCommit message (Expand)Author
2017-01-04gnu: ocaml: Fix indentation.David Craven
2017-01-04gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.Julien Lepiller
2017-01-04gnu: ocaml: Add a .file directive to generated .s files.Julien Lepiller
2017-01-04gnu: Reorder imports in (gnu packages ocaml).David Craven
2017-01-04gnu: Use 'license:' prefix in (gnu packages ocaml).David Craven
2017-01-04gnu: Add idris-lens.David Craven
2017-01-04gnu: Add idris-bifunctors.David Craven
2017-01-04gnu: Add idris-wl-pprint.David Craven
2017-01-04gnu: Add idris-lightyear.David Craven
2017-01-04gnu: idris: Move to (gnu packages idris).David Craven
2017-01-04gnu: idris: Update to 0.99.David Craven
2017-01-04gnu: Order module imports in (gnu packages haskell) alphabetically.David Craven
2017-01-04git-download: Add some helpers.David Craven
2017-01-04doc: Change wording for "--with-graft".Ricardo Wurmus
2017-01-04gnu: ghc-language-c: Fix up.Ricardo Wurmus
2017-01-04build-system: cargo: Use correct cargo.David Craven
2017-01-04gnu: Add cargo.David Craven
2017-01-04gnu: Add ghc-language-c.Danny Milosavljevic
2017-01-04gnu: mcrypt: Fix patches for CVE-2012-{4409,4527}.Leo Famulari
2017-01-04gnu: calibre: Update to 2.76.0.Alex Griffin
2017-01-03gnu: feh: Update to 2.18.Alex Griffin
2017-01-03gnu: bs1770gain: Update to 0.4.12.Alex Griffin
2017-01-03gnu: dwm: Update to 6.1.Alex Griffin
2017-01-03gnu: dmenu: Update to 4.6.Alex Griffin
2017-01-03gnu: slock: Update to 1.4.Alex Griffin
2017-01-03gnu: trash-cli: Update to 0.17.1.1.Alex Griffin
2017-01-04gnu: Add wimlib.Tobias Geerinckx-Rice
2017-01-04gnu: parallel: Update to 20161222.Tobias Geerinckx-Rice
2017-01-04gnu: global: Update to 6.5.6.Tobias Geerinckx-Rice
2017-01-04gnu: nano: Update to 2.7.3.Tobias Geerinckx-Rice
2017-01-04gnu: Use HTTPS for all sourceforge.net home pages.Tobias Geerinckx-Rice
2017-01-03gnu: Add emacs-git-gutterChristopher Baines
2017-01-03gnu: supertux: Update to 0.5.1.Kei Kebreau
2017-01-03gnu: assword: Update to 0.10.Leo Famulari
2017-01-03gnu: Add python-xdo.Leo Famulari
2017-01-03gnu: python2-xdo: Update to 0.3.Leo Famulari
2017-01-03gnu: Add python-gpg.Leo Famulari
2017-01-03gnu: gpgme: Update to 1.8.0.Leo Famulari
2017-01-03system: grub: Load relevant EFI modules on EFI systems.Ludovic Courtès
2017-01-03gnu: Add Zile-on-Guile.Ludovic Courtès
2017-01-03gnu: pcsc-lite: Update to 1.8.20 [fixes CVE-2016-10109].Marius Bakke
2017-01-03guix: build: make-bootstrap: Copy libpthread_nonshared.a to the new system.Manolis Ragkousis
2017-01-03gnu: glibc-hurd: Disable werror.Manolis Ragkousis
2017-01-03gnu: Use hurd-triplet? to check if GNU/Hurd.Manolis Ragkousis
2017-01-03gnu: chicken: Fix CVE-2016-{6830,6831}.Kei Kebreau
2017-01-03gnu: chicken: Update to 4.11.1.Kei Kebreau
2017-01-03services: nginx: Make service extensible.Julien Lepiller
2017-01-03services: nginx: Fix multiple index and server name.Julien Lepiller
2017-01-03services: nginx: Rename "vhost" to "server".Julien Lepiller
2017-01-03gnu: r-plotrix: Update to 3.6-4.Roel Janssen