summaryrefslogtreecommitdiff
path: root/gnu
AgeCommit message (Expand)Author
2017-01-04gnu: camlp4: Compile native version....Julien Lepiller
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-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-gutter...Christopher 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-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
2017-01-03gnu: r-git2r: Update to 0.18.0....Roel Janssen
2017-01-03gnu: r-hmisc: Update to 4.0-2....Roel Janssen