2013-08-05 | Andreas Enge | gnu: mpfrcx: Update to 0.4.2. | blob | commitdiff | raw |
2013-08-05 | Andreas Enge | gnu: fplll: Update to 4.0.4. | blob | commitdiff | raw | diff to current |
2013-04-26 | Ludovic Courtès | Merge branch 'master' into core-updates | blob | commitdiff | raw | diff to current |
2013-04-17 | Ludovic Courtès | gnu: Use synopses from the Womb. | blob | commitdiff | raw | diff to current |
2013-01-25 | Andreas Enge | gnu: fplll: Update to version 4.0.2. | blob | commitdiff | raw | diff to current |
2013-01-23 | Ludovic Courtès | gnu: Remove unnecessary closures around `arguments... | blob | commitdiff | raw | diff to current |
2013-01-18 | Ludovic Courtès | distro: Rename (distro) to (gnu packages). | blob | commitdiff | raw | diff to current |
2013-01-18 | Ludovic Courtès | distro: Change the module name space to (gnu ...). | blob | commitdiff | raw | diff to current |