summaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
2017-01-04gnu: Add ocaml-rresult.Julien Lepiller
2017-01-04gnu: Add ocaml-topkg.Julien Lepiller
2017-01-04gnu: Add ocaml-result.Julien Lepiller
2017-01-04gnu: Add ocaml-bitstring.Julien Lepiller
2017-01-04gnu: Add ocaml-bisect.Julien Lepiller
2017-01-04gnu: Add ocaml-stringext.Julien Lepiller
2017-01-04gnu: Add ocaml-qtest.Julien Lepiller
2017-01-04gnu: Add ocaml-frontc.Julien Lepiller
2017-01-04gnu: Add Guile-Bash.Ludovic Courtès
2017-01-04gnu: Add ocaml-zarith.Julien Lepiller
2017-01-04gnu: Add ocamlmod.Julien Lepiller
2017-01-04gnu: Add camlzip.Julien Lepiller
2017-01-04gnu: Add ocaml-ounit.Julien Lepiller
2017-01-04gnu: camlp4: Install camlp4 META file.Julien Lepiller
2017-01-04gnu: ocaml: Use a helper function to download from ocaml-forge.Julien Lepiller
2017-01-04gnu: Add ocaml-build-system.Julien Lepiller
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-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