software/guix - Unnamed repository; edit this file 'description' to name the repository.

	Commit message (Expand)	Author	Age	Files	Lines
*	system: Please Emacs....	Ludovic Courtès	2018-11-18	1	-2/+2
*	system: De-monadify 'operating-system-boot-parameters'....	Ludovic Courtès	2018-11-18	1	-28/+27
*	linux-initrd: Return file-like objects instead of monadic values....	Ludovic Courtès	2018-11-18	4	-31/+28
*	system: Simplify kernel argument handling....	Ludovic Courtès	2018-11-18	2	-50/+48
*	bootloader: De-monadify configuration file generators....	Ludovic Courtès	2018-11-18	4	-69/+56
*	activation: Aways pass '-d HOME' to 'useradd'....	Ludovic Courtès	2018-11-18	2	-11/+17
*	gnu: ocaml: Update to 4.7.0....	Julien Lepiller	2018-11-18	5	-740/+1893
*	build-system/ocaml: Use invoke and return #t....	Julien Lepiller	2018-11-18	1	-20/+25
*	gnu: maxima: Fix tests on i686 and x86_64....	Kei Kebreau	2018-11-18	1	-0/+12
*	gnu: ccl: Include x86-headers and remove missing "contrib" folder....	Pierre Neidhardt	2018-11-18	1	-2/+6
*	gnu: mesa: Stay on RTTI-less LLVM....	Marius Bakke	2018-11-17	2	-1/+22
*	gnu: Add ClamAV....	Eric Bavier	2018-11-17	4	-1/+275
*	gnu: Add TomsFastMath....	Eric Bavier	2018-11-17	3	-0/+143
*	llvm: Build with RTTI by default....	Eric Bavier	2018-11-17	2	-14/+3
*	gnu: u-boot: Update to 2018.11....	Vagrant Cascadian	2018-11-17	1	-2/+4
*	doc: Mention that ./pre-inst-env is generated....	Ludovic Courtès	2018-11-16	1	-1/+2
*	gnu: Add git-when-merged....	Kyle Meyer	2018-11-16	1	-0/+52
*	gnu: Add caps-plugins-lv2....	Thorsten Wilms	2018-11-16	1	-0/+42
*	doc: Recommend pool.sks-keyservers.net....	Ludovic Courtès	2018-11-16	1	-2/+5
*	gnu: tiled: Update to 1.2.1....	David Thompson	2018-11-16	1	-2/+2
*	progress: Do not display the last 0B transfer when size is unknown....	Clément Lassieur	2018-11-16	1	-11/+14
*	progress: Fix crash because of division by zero....	Clément Lassieur	2018-11-16	1	-1/+2
*	guile: newt: Update revision to 2....	Mathieu Othacehe	2018-11-16	1	-3/+3
*	gnu: Add cmh....	Andreas Enge	2018-11-16	1	-1/+31
*	gnu: gp2c: Update to 0.0.11pl1....	Andreas Enge	2018-11-16	1	-2/+2
*	gnu: emacs-realgud: Patch configure.ac to repair the build....	Maxim Cournoyer	2018-11-15	3	-1/+34
*	gnu: Add nanopolish....	pimi	2018-11-15	1	-0/+74
*	doc: Fix typo in connman config....	Giovanni Biscuolo	2018-11-15	1	-1/+1
*	gnu: sambamba: Update to 0.6.8....	Roel Janssen	2018-11-15	1	-12/+13
*	gnu: linux-libre: Update to 4.19.2....	Mark H Weaver	2018-11-14	1	-2/+2
*	gnu: linux-libre@4.14: Update to 4.14.81....	Mark H Weaver	2018-11-14	1	-2/+2
*	gnu: linux-libre@4.9: Update to 4.9.137....	Mark H Weaver	2018-11-14	1	-2/+2
*	gnu: Add fenics....	Paul Garlick	2018-11-14	1	-0/+117
*	gnu: Add fenics-dolfin....	Paul Garlick	2018-11-14	1	-0/+191
*	gnu: Add python-fenics-ffc....	Paul Garlick	2018-11-14	1	-0/+52
*	gnu: Add python-fenics-fiat....	Paul Garlick	2018-11-14	1	-0/+42
*	gnu: Add python-fenics-ufl....	Paul Garlick	2018-11-14	1	-0/+37
*	gnu: Add python-fenics-dijitso....	Paul Garlick	2018-11-14	1	-1/+50
*	gnu: Add python-slepc4py....	Paul Garlick	2018-11-14	1	-0/+37
*	gnu: Add python-petsc4py....	Paul Garlick	2018-11-14	1	-0/+35
*	gnu: Add python-mpi4py....	Paul Garlick	2018-11-14	1	-0/+42
*	daemon: Install 'authenticate' script under LIBEXECDIR/guix....	Ludovic Courtès	2018-11-14	5	-21/+19
*	gnu: guix-daemon: Install 'guix-authenticate'....	Ludovic Courtès	2018-11-14	1	-1/+2
*	download: Access content-addressed mirrors over HTTPS....	Ludovic Courtès	2018-11-14	1	-4/+3
*	download: Add Software Heritage as a content-addressed mirror....	Ludovic Courtès	2018-11-14	1	-12/+22
*	gnu: xf86-video-r128: Update to 6.12.0....	Marius Bakke	2018-11-14	1	-2/+2
*	gnu: mtools: Update to 4.0.20....	Marius Bakke	2018-11-14	1	-3/+3
*	gnu: nano: Update to 3.2....	Marius Bakke	2018-11-14	1	-2/+2
*	gnu: sudo: Update to 1.8.26....	Marius Bakke	2018-11-14	1	-2/+2
*	gnu: feh: Update to 3.0....	Marius Bakke	2018-11-14	1	-2/+2