summaryrefslogtreecommitdiff
path: root/nongnu
AgeCommit message (Collapse)Author
2020-04-29nongnu: linux: Update to 5.4.36.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.36.
2020-04-29nongnu: linux@4.19: Update to 4.19.119.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.119.
2020-04-24nongnu: linux@4.14: Update to 4.14.177.Alex Griffin
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.177.
2020-04-24nongnu: linux@4.9: Update to 4.9.220.Alex Griffin
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.220.
2020-04-24nongnu: linux@4.4: Update to 4.4.220.Alex Griffin
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.220.
2020-04-23nongnu: linux: Update to 5.4.35.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.35.
2020-04-23nongnu: linux@4.19: Update to 4.19.118.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.118.
2020-04-22nongnu: linux-firmware: Update to 20200421.Alex Griffin
* nongnu/packages/linux.scm (linux-firmware): Update to 20200421.
2020-04-21nongnu: linux: Update to 5.4.34.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.34.
2020-04-21nongnu: linux@4.19: Update to 4.19.117.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.117.
2020-04-17nongnu: linux: Update to 5.4.33.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.33.
2020-04-17nongnu: linux@4.19: Update to 4.19.116.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.116.
2020-04-13nongnu: linux: Update to 5.4.32.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.32.
2020-04-13nongnu: linux@4.19: Update to 4.19.115.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.115.
2020-04-13nongnu: linux@4.14: Update to 4.14.176.Alex Griffin
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.176.
2020-04-13nongnu: linux@4.9: Update to 4.9.219.Alex Griffin
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.219.
2020-04-13nongnu: linux@4.4: Update to 4.4.219.Alex Griffin
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.219.
2020-04-11nongnu: compcert: Build for arm-eabihf on arm.Timotej Lazar
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure script to enable hard float extensions.
2020-04-11nongnu: compcert: Fix a non-exhaustive match.Timotej Lazar
* nongnu/packages/coq.scm (compcert)[arguments]: Add default case to match so that it can be evaluated on all systems. [supported-systems]: Remove unsupported mips64el-linux.
2020-04-10nongnu: lgogdownloader: Update to 3.7.Alex Griffin
* nongnu/packages/gog.scm (lgogdownloader): Update to 3.7.
2020-04-08nongnu: linux: Update to 5.4.31.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.31.
2020-04-07Merge branch 'compcert' into 'master'Alex Griffin
nongnu: Add compcert. See merge request nonguix/nonguix!21
2020-04-05Revert "nongnu: Add linux 5.6.2."Alex Griffin
This reverts commit 8d2c3b5bb38ec98420f7dd6518850cde8cf50e2f.
2020-04-04nongnu: Add compcert.Julien Lepiller
* nongnu/packages/coq.scm: New file.
2020-04-04nongnu: Add linux 5.6.2.Alex Griffin
* nongnu/packages/linux.scm (linux-5.6): New variable.
2020-04-02nongnu: linux@4.9: Update to 4.9.218.Alex Griffin
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.218.
2020-04-02nongnu: linux@4.4: Update to 4.4.218.Alex Griffin
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.218.
2020-04-02nongnu: linux: Update to 5.4.30.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.30.
2020-04-02nongnu: linux@4.19: Update to 4.19.114.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.114.
2020-04-02nongnu: linux@4.14: Update to 4.14.175.Alex Griffin
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.175.
2020-04-01gnu: Add radeon-firmware.Pierre Neidhardt
* nongnu/packages/linux.scm (radeon-firmware): New variable.
2020-04-01nongnu: linux: s/GuixSD/Guix System/.Alex Griffin
* nongnu/packages/linux.scm (corrupt-linux): Replace GuixSD in description with Guix System.
2020-04-01nongnu: linux: Update to 5.4.29.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.29.
2020-03-25nongnu: linux: Update to 5.4.28.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.28.
2020-03-25nongnu: linux@4.19: Update to 4.19.113.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.113.
2020-03-22README.org: Don't recommend `load-broadcom-sta-service`.Alex Griffin
Closes #26. * README.org: Replace `load-broadcom-sta-service` example with new `kernel-loadable-modules` field. * nongnu/services/kernel-modules.scm (load-broadcom-sta-service): Update docstring to recommend switching to `kernel-loadable-modules`.
2020-03-22nongnu: Add ibt-hw-firmware.Jelle Licht
* nongnu/packages/linux.scm (ibt-hw-firmware): New variable.
2020-03-21nongnu: linux: Update to 5.4.27.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.27.
2020-03-20nongnu: linux@4.19: Update to 4.19.112.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.112.
2020-03-20nongnu: linux@4.14: Update to 4.14.174.Alex Griffin
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.174.
2020-03-20nongnu: linux@4.9: Update to 4.9.217.Alex Griffin
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.217.
2020-03-20nongnu: linux@4.4: Update to 4.4.217.Alex Griffin
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.217.
2020-03-18nongnu: leiningen: Update to 2.9.3.Alex Griffin
* nongnu/packages/clojure.scm (leiningen, leiningen-jar): Update to 2.9.3.
2020-03-18nongnu: linux: Update to 5.4.26.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.26.
2020-03-18nongnu: linux@4.19: Update to 4.19.111.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.111.
2020-03-16nongnu: linux-firmware: Update to 20200316.Alex Griffin
* nongnu/packages/linux.scm (linux-firmware): Update to 20200316.
2020-03-16nongnu: linux@4.19: Update to 4.19.110.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.110.
2020-03-12nongnu: linux: Update to 5.4.25.Alex Griffin
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.25.
2020-03-11nongnu: linux@4.19: Update to 4.19.109.Alex Griffin
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.109.
2020-03-11nongnu: linux@4.14: Update to 4.14.173.Alex Griffin
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.173.