This repository has been archived on 2024-08-07. You can view files and clone it, but cannot push or open issues/pull-requests.

Andreas Enge 93a6f5520c gnu: gmp: Update to version 5.1.1. ... * gnu/packages/multiprecision.scm (gmp): Update to version 5.1.1.		2013-02-12 22:06:47 +01:00
..
packages	gnu: gmp: Update to version 5.1.1.	2013-02-12 22:06:47 +01:00
packages.scm	distro: Rename (distro) to (gnu packages).	2013-01-18 01:07:53 +01:00