aboutsummaryrefslogtreecommitdiff
path: root/gnu
Commit message (Expand)AuthorAge
* gnu: Add ocaml-frontc.Julien Lepiller2017-01-04
* gnu: Add Guile-Bash.Ludovic Courtès2017-01-04
* gnu: Add ocaml-zarith.Julien Lepiller2017-01-04
* gnu: Add ocamlmod.Julien Lepiller2017-01-04
* gnu: Add camlzip.Julien Lepiller2017-01-04
* gnu: Add ocaml-ounit.Julien Lepiller2017-01-04
* gnu: camlp4: Install camlp4 META file.Julien Lepiller2017-01-04
* gnu: ocaml: Use a helper function to download from ocaml-forge.Julien Lepiller2017-01-04
* gnu: Add ocaml-build-system.Julien Lepiller2017-01-04
* gnu: camlp4: Compile native version.Julien Lepiller2017-01-04
* gnu: ocaml: Fix indentation.David Craven2017-01-04
* gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.Julien Lepiller2017-01-04
* gnu: ocaml: Add a .file directive to generated .s files.Julien Lepiller2017-01-04
* gnu: Reorder imports in (gnu packages ocaml).David Craven2017-01-04
* gnu: Use 'license:' prefix in (gnu packages ocaml).David Craven2017-01-04
* gnu: Add idris-lens.David Craven2017-01-04
* gnu: Add idris-bifunctors.David Craven2017-01-04
* gnu: Add idris-wl-pprint.David Craven2017-01-04
* gnu: Add idris-lightyear.David Craven2017-01-04
* gnu: idris: Move to (gnu packages idris).David Craven2017-01-04
* gnu: idris: Update to 0.99.David Craven2017-01-04
* gnu: Order module imports in (gnu packages haskell) alphabetically.David Craven2017-01-04
* gnu: ghc-language-c: Fix up.Ricardo Wurmus2017-01-04
* build-system: cargo: Use correct cargo.David Craven2017-01-04
* gnu: Add cargo.David Craven2017-01-04
* gnu: Add ghc-language-c.Danny Milosavljevic2017-01-04
* gnu: mcrypt: Fix patches for CVE-2012-{4409,4527}.Leo Famulari2017-01-04
* gnu: calibre: Update to 2.76.0.Alex Griffin2017-01-04
* gnu: feh: Update to 2.18.Alex Griffin2017-01-03
* gnu: bs1770gain: Update to 0.4.12.Alex Griffin2017-01-03
* gnu: dwm: Update to 6.1.Alex Griffin2017-01-03
* gnu: dmenu: Update to 4.6.Alex Griffin2017-01-03
* gnu: slock: Update to 1.4.Alex Griffin2017-01-03
* gnu: trash-cli: Update to 0.17.1.1.Alex Griffin2017-01-03
* gnu: Add wimlib.Tobias Geerinckx-Rice2017-01-04
* gnu: parallel: Update to 20161222.Tobias Geerinckx-Rice2017-01-04
* gnu: global: Update to 6.5.6.Tobias Geerinckx-Rice2017-01-04
* gnu: nano: Update to 2.7.3.Tobias Geerinckx-Rice2017-01-04
* gnu: Use HTTPS for all sourceforge.net home pages.Tobias Geerinckx-Rice2017-01-04
* gnu: Add emacs-git-gutterChristopher Baines2017-01-03
* gnu: supertux: Update to 0.5.1.Kei Kebreau2017-01-03
* gnu: assword: Update to 0.10.Leo Famulari2017-01-03
* gnu: Add python-xdo.Leo Famulari2017-01-03
* gnu: python2-xdo: Update to 0.3.Leo Famulari2017-01-03
* gnu: Add python-gpg.Leo Famulari2017-01-03
* gnu: gpgme: Update to 1.8.0.Leo Famulari2017-01-03
* system: grub: Load relevant EFI modules on EFI systems.Ludovic Courtès2017-01-03
* gnu: Add Zile-on-Guile.Ludovic Courtès2017-01-03
* gnu: pcsc-lite: Update to 1.8.20 [fixes CVE-2016-10109].Marius Bakke2017-01-03
* gnu: glibc-hurd: Disable werror.Manolis Ragkousis2017-01-03