summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-05-10nongnu: linux: Update to 5.4.40.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.40. Alex Griffin
2020-05-10nongnu: linux@4.19: Update to 4.19.122.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.122. Alex Griffin
2020-05-10nongnu: linux@4.14: Update to 4.14.180.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.180. Alex Griffin
2020-05-10nongnu: linux@4.9: Update to 4.9.223.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.223. Alex Griffin
2020-05-10nongnu: linux@4.4: Update to 4.4.223.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.223. Alex Griffin
2020-05-06nongnu: linux: Update to 5.4.39.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.39. Alex Griffin
2020-05-06nongnu: linux@4.19: Update to 4.19.121.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.121. Alex Griffin
2020-05-05nongnu: linux@4.14: Update to 4.14.179.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.179. Alex Griffin
2020-05-05nongnu: linux@4.9: Update to 4.9.222.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.222. Alex Griffin
2020-05-05nongnu: linux@4.4: Update to 4.4.222.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.222. Alex Griffin
2020-05-04nongnu: Move fury from the duke-nukem-3d channel to Nonguix.•••* nongnu/packages/game-development.scm (fury): New variable. Pierre Neidhardt
2020-05-04nongnu: Move eduke32 from the duke-nukem-3d channel to Nonguix.•••* nongnu/packages/game-development.scm (eduke32): New variable. Pierre Neidhardt
2020-05-02nongnu: linux: Update to 5.4.38.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.38. Alex Griffin
2020-05-02nongnu: linux@4.19: Update to 4.19.120.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.120. Alex Griffin
2020-05-02nongnu: linux@4.14: Update to 4.14.178.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.178. Alex Griffin
2020-05-02nongnu: linux@4.9: Update to 4.9.221.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.221. Alex Griffin
2020-05-02nongnu: linux@4.4: Update to 4.4.221.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.221. Alex Griffin
2020-05-02doc: Mention #nonguix IRC channel.•••* README.org (Community): Mention #nonguix. Pierre Neidhardt
2020-04-29nongnu: linux: Update to 5.4.36.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.36. Alex Griffin
2020-04-29nongnu: linux@4.19: Update to 4.19.119.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.119. Alex Griffin
2020-04-24nongnu: linux@4.14: Update to 4.14.177.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.177. Alex Griffin
2020-04-24nongnu: linux@4.9: Update to 4.9.220.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.220. Alex Griffin
2020-04-24nongnu: linux@4.4: Update to 4.4.220.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.220. Alex Griffin
2020-04-23nongnu: linux: Update to 5.4.35.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.35. Alex Griffin
2020-04-23nongnu: linux@4.19: Update to 4.19.118.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.118. Alex Griffin
2020-04-22nongnu: linux-firmware: Update to 20200421.•••* nongnu/packages/linux.scm (linux-firmware): Update to 20200421. Alex Griffin
2020-04-21nongnu: linux: Update to 5.4.34.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.34. Alex Griffin
2020-04-21nongnu: linux@4.19: Update to 4.19.117.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.117. Alex Griffin
2020-04-17nongnu: linux: Update to 5.4.33.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.33. Alex Griffin
2020-04-17nongnu: linux@4.19: Update to 4.19.116.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.116. Alex Griffin
2020-04-13nongnu: linux: Update to 5.4.32.•••* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.32. Alex Griffin
2020-04-13nongnu: linux@4.19: Update to 4.19.115.•••* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.115. Alex Griffin
2020-04-13nongnu: linux@4.14: Update to 4.14.176.•••* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.176. Alex Griffin
2020-04-13nongnu: linux@4.9: Update to 4.9.219.•••* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.219. Alex Griffin
2020-04-13nongnu: linux@4.4: Update to 4.4.219.•••* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.219. Alex Griffin
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