summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-04-11Merge branch 'fix-compcert' into 'master'•••nongnu: compcert: Fix a non-exhaustive match. See merge request nonguix/nonguix!22Alex Griffin
2020-04-11nongnu: compcert: Build for arm-eabihf on arm.•••* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure script to enable hard float extensions. Timotej Lazar
2020-04-11nongnu: compcert: Fix a non-exhaustive match.•••* 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. Timotej Lazar
2020-04-10nongnu: lgogdownloader: Update to 3.7.•••* nongnu/packages/gog.scm (lgogdownloader): Update to 3.7. Alex Griffin
2020-04-08nongnu: linux: Update to 5.4.31.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.31. Alex Griffin
2020-04-07Merge branch 'compcert' into 'master'•••nongnu: Add compcert. See merge request nonguix/nonguix!21Alex Griffin
2020-04-05Revert "nongnu: Add linux 5.6.2."•••This reverts commit 8d2c3b5bb38ec98420f7dd6518850cde8cf50e2f. Alex Griffin
2020-04-04nongnu: Add compcert.•••* nongnu/packages/coq.scm: New file. Julien Lepiller
2020-04-04nongnu: Add linux 5.6.2.•••* nongnu/packages/linux.scm (linux-5.6): New variable. Alex Griffin
2020-04-02nongnu: linux@4.9: Update to 4.9.218.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.218. Alex Griffin
2020-04-02nongnu: linux@4.4: Update to 4.4.218.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.218. Alex Griffin
2020-04-02nongnu: linux: Update to 5.4.30.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.30. Alex Griffin
2020-04-02nongnu: linux@4.19: Update to 4.19.114.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.114. Alex Griffin
2020-04-02nongnu: linux@4.14: Update to 4.14.175.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.175. Alex Griffin
2020-04-01gnu: Add radeon-firmware.•••* nongnu/packages/linux.scm (radeon-firmware): New variable. Pierre Neidhardt
2020-04-01nongnu: linux: s/GuixSD/Guix System/.•••* nongnu/packages/linux.scm (corrupt-linux): Replace GuixSD in description with Guix System. Alex Griffin
2020-04-01nongnu: linux: Update to 5.4.29.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.29. Alex Griffin
2020-03-25README.org: advice for avoiding kernel rebuilds.•••Closes #27. Jacob First
2020-03-25nongnu: linux: Update to 5.4.28.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.28. Alex Griffin
2020-03-25nongnu: linux@4.19: Update to 4.19.113.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.113. Alex Griffin
2020-03-22README.org: Don't recommend `load-broadcom-sta-service`.•••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`. Alex Griffin
2020-03-22nongnu: Add ibt-hw-firmware.•••* nongnu/packages/linux.scm (ibt-hw-firmware): New variable. Jelle Licht
2020-03-21nongnu: linux: Update to 5.4.27.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.27. Alex Griffin
2020-03-20nongnu: linux@4.19: Update to 4.19.112.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.112. Alex Griffin
2020-03-20nongnu: linux@4.14: Update to 4.14.174.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.174. Alex Griffin
2020-03-20nongnu: linux@4.9: Update to 4.9.217.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.217. Alex Griffin
2020-03-20nongnu: linux@4.4: Update to 4.4.217.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.217. Alex Griffin
2020-03-18nongnu: leiningen: Update to 2.9.3.•••* nongnu/packages/clojure.scm (leiningen, leiningen-jar): Update to 2.9.3. Alex Griffin
2020-03-18nongnu: linux: Update to 5.4.26.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.26. Alex Griffin
2020-03-18nongnu: linux@4.19: Update to 4.19.111.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.111. Alex Griffin
2020-03-16nongnu: linux-firmware: Update to 20200316.•••* nongnu/packages/linux.scm (linux-firmware): Update to 20200316. Alex Griffin
2020-03-16nongnu: linux@4.19: Update to 4.19.110.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.110. Alex Griffin
2020-03-13nonguix: Use name when provided in unredistributable-url-fetch.•••* nonguix/download.scm (unredistributable-url-fetch): Use name when provided. Julien Lepiller
2020-03-12nongnu: linux: Update to 5.4.25.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.25. Alex Griffin
2020-03-11nongnu: linux@4.19: Update to 4.19.109.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.109. Alex Griffin
2020-03-11nongnu: linux@4.14: Update to 4.14.173.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.173. Alex Griffin
2020-03-11nongnu: linux@4.9: Update to 4.9.216.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.216. Alex Griffin
2020-03-11nongnu: linux@4.4: Update to 4.4.216.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.216. Alex Griffin
2020-03-05nongnu: linux: Update to 5.4.24.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.24. Alex Griffin
2020-03-05nongnu: linux@4.19: Update to 4.19.108.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.108. Alex Griffin
2020-03-02gnu: intel-microcode: Use copy-build-system.•••* nongnu/packages/linux.scm (intel-microcode): Use copy-build-system. Timotej Lazar
2020-02-29gnu: nvidia-cg-toolkit: Use new install-plan format.•••* nongnu/packages/game-development.scm (nvidia-cg-toolkit)[arguments]: Do it. Pierre Neidhardt
2020-02-29nonguix: Use the install-plan of the copy-build-system in the binary-build-sy...•••* nonguix/build-system/binary.scm (lower): Adapt the default value of the install plan. * nonguix/build/binary-build-system.scm (new-install): New procedure. (old-install): Rename former `install' procedure to this. (install): New procedure that dispatches over old-install and new-install. Pierre Neidhardt
2020-02-28nongnu: linux: Update to 5.4.23.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.23. Alex Griffin
2020-02-28nongnu: linux@4.19: Update to 4.19.107.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.107. Alex Griffin
2020-02-28nongnu: linux@4.14: Update to 4.14.172.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.172. Alex Griffin
2020-02-28nongnu: linux@4.9: Update to 4.9.215.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.215. Alex Griffin
2020-02-28nongnu: linux@4.4: Update to 4.4.215.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.215. Alex Griffin
2020-02-24nongnu: linux: Update to 5.4.22.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.22. Alex Griffin
2020-02-24nongnu: linux@4.19: Update to 4.19.106.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.106. Alex Griffin
generated by cgit v1.2.3 (git 2.52.0) at 2025-12-14 21:17:48 +0000