aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages
AgeCommit message (Expand)Author
2017-01-04gnu: Add ocaml-cmdliner....Julien Lepiller
2017-01-04gnu: Add ocaml-mtime....Julien Lepiller
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-gutter...Christopher Baines
2017-01-03gnu: supertux: Update to 0.5.1....Kei Kebreau