index
:
gds/gnu-guix
guix-for-govuk-mini-environment-admin
release
release_2
spike-end-to-end-test-system
spike-local-development-system-container
wip-postgresql-ssl
This repository contains snapshots of GNU Guix, to be used by the govuk-guix project.
Gitolite user
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
gnu
Commit message (
Expand
)
Author
Age
*
gnu: Add ocaml-frontc.
Julien Lepiller
2017-01-04
*
gnu: Add Guile-Bash.
Ludovic Courtès
2017-01-04
*
gnu: Add ocaml-zarith.
Julien Lepiller
2017-01-04
*
gnu: Add ocamlmod.
Julien Lepiller
2017-01-04
*
gnu: Add camlzip.
Julien Lepiller
2017-01-04
*
gnu: Add ocaml-ounit.
Julien Lepiller
2017-01-04
*
gnu: camlp4: Install camlp4 META file.
Julien Lepiller
2017-01-04
*
gnu: ocaml: Use a helper function to download from ocaml-forge.
Julien Lepiller
2017-01-04
*
gnu: Add ocaml-build-system.
Julien Lepiller
2017-01-04
*
gnu: camlp4: Compile native version.
Julien Lepiller
2017-01-04
*
gnu: ocaml: Fix indentation.
David Craven
2017-01-04
*
gnu: ocaml: Add CAML_LD_LIBRARY_PATH search-path.
Julien Lepiller
2017-01-04
*
gnu: ocaml: Add a .file directive to generated .s files.
Julien Lepiller
2017-01-04
*
gnu: Reorder imports in (gnu packages ocaml).
David Craven
2017-01-04
*
gnu: Use 'license:' prefix in (gnu packages ocaml).
David Craven
2017-01-04
*
gnu: Add idris-lens.
David Craven
2017-01-04
*
gnu: Add idris-bifunctors.
David Craven
2017-01-04
*
gnu: Add idris-wl-pprint.
David Craven
2017-01-04
*
gnu: Add idris-lightyear.
David Craven
2017-01-04
*
gnu: idris: Move to (gnu packages idris).
David Craven
2017-01-04
*
gnu: idris: Update to 0.99.
David Craven
2017-01-04
*
gnu: Order module imports in (gnu packages haskell) alphabetically.
David Craven
2017-01-04
*
gnu: ghc-language-c: Fix up.
Ricardo Wurmus
2017-01-04
*
build-system: cargo: Use correct cargo.
David Craven
2017-01-04
*
gnu: Add cargo.
David Craven
2017-01-04
*
gnu: Add ghc-language-c.
Danny Milosavljevic
2017-01-04
*
gnu: mcrypt: Fix patches for CVE-2012-{4409,4527}.
Leo Famulari
2017-01-04
*
gnu: calibre: Update to 2.76.0.
Alex Griffin
2017-01-04
*
gnu: feh: Update to 2.18.
Alex Griffin
2017-01-03
*
gnu: bs1770gain: Update to 0.4.12.
Alex Griffin
2017-01-03
*
gnu: dwm: Update to 6.1.
Alex Griffin
2017-01-03
*
gnu: dmenu: Update to 4.6.
Alex Griffin
2017-01-03
*
gnu: slock: Update to 1.4.
Alex Griffin
2017-01-03
*
gnu: trash-cli: Update to 0.17.1.1.
Alex Griffin
2017-01-03
*
gnu: Add wimlib.
Tobias Geerinckx-Rice
2017-01-04
*
gnu: parallel: Update to 20161222.
Tobias Geerinckx-Rice
2017-01-04
*
gnu: global: Update to 6.5.6.
Tobias Geerinckx-Rice
2017-01-04
*
gnu: nano: Update to 2.7.3.
Tobias Geerinckx-Rice
2017-01-04
*
gnu: Use HTTPS for all sourceforge.net home pages.
Tobias Geerinckx-Rice
2017-01-04
*
gnu: Add emacs-git-gutter
Christopher Baines
2017-01-03
*
gnu: supertux: Update to 0.5.1.
Kei Kebreau
2017-01-03
*
gnu: assword: Update to 0.10.
Leo Famulari
2017-01-03
*
gnu: Add python-xdo.
Leo Famulari
2017-01-03
*
gnu: python2-xdo: Update to 0.3.
Leo Famulari
2017-01-03
*
gnu: Add python-gpg.
Leo Famulari
2017-01-03
*
gnu: gpgme: Update to 1.8.0.
Leo Famulari
2017-01-03
*
system: grub: Load relevant EFI modules on EFI systems.
Ludovic Courtès
2017-01-03
*
gnu: Add Zile-on-Guile.
Ludovic Courtès
2017-01-03
*
gnu: pcsc-lite: Update to 1.8.20 [fixes CVE-2016-10109].
Marius Bakke
2017-01-03
*
gnu: glibc-hurd: Disable werror.
Manolis Ragkousis
2017-01-03
[next]