Ludovic Courtès a784c3077e Merge branch 'master' into core-updates ... Conflicts: distro/packages/multiprecision.scm		2012-12-15 15:28:50 +01:00
..
packages	Merge branch 'master' into core-updates	2012-12-15 15:28:50 +01:00