summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2020-05-02doc: Mention #nonguix IRC channel....Pierre Neidhardt
2020-04-29nongnu: linux: Update to 5.4.36....Alex Griffin
2020-04-29nongnu: linux@4.19: Update to 4.19.119....Alex Griffin
2020-04-24nongnu: linux@4.14: Update to 4.14.177....Alex Griffin
2020-04-24nongnu: linux@4.9: Update to 4.9.220....Alex Griffin
2020-04-24nongnu: linux@4.4: Update to 4.4.220....Alex Griffin
2020-04-23nongnu: linux: Update to 5.4.35....Alex Griffin
2020-04-23nongnu: linux@4.19: Update to 4.19.118....Alex Griffin
2020-04-22nongnu: linux-firmware: Update to 20200421....Alex Griffin
2020-04-21nongnu: linux: Update to 5.4.34....Alex Griffin
2020-04-21nongnu: linux@4.19: Update to 4.19.117....Alex Griffin
2020-04-17nongnu: linux: Update to 5.4.33....Alex Griffin
2020-04-17nongnu: linux@4.19: Update to 4.19.116....Alex Griffin
2020-04-13nongnu: linux: Update to 5.4.32....Alex Griffin
2020-04-13nongnu: linux@4.19: Update to 4.19.115....Alex Griffin
2020-04-13nongnu: linux@4.14: Update to 4.14.176....Alex Griffin
2020-04-13nongnu: linux@4.9: Update to 4.9.219....Alex Griffin
2020-04-13nongnu: linux@4.4: Update to 4.4.219....Alex Griffin
2020-04-11Merge branch 'fix-compcert' into 'master'...Alex Griffin
2020-04-11nongnu: compcert: Build for arm-eabihf on arm....Timotej Lazar
2020-04-11nongnu: compcert: Fix a non-exhaustive match....Timotej Lazar
2020-04-10nongnu: lgogdownloader: Update to 3.7....Alex Griffin
2020-04-08nongnu: linux: Update to 5.4.31....Alex Griffin
2020-04-07Merge branch 'compcert' into 'master'...Alex Griffin
2020-04-05Revert "nongnu: Add linux 5.6.2."...Alex Griffin
2020-04-04nongnu: Add compcert....Julien Lepiller
2020-04-04nongnu: Add linux 5.6.2....Alex Griffin
2020-04-02nongnu: linux@4.9: Update to 4.9.218....Alex Griffin
2020-04-02nongnu: linux@4.4: Update to 4.4.218....Alex Griffin
2020-04-02nongnu: linux: Update to 5.4.30....Alex Griffin
2020-04-02nongnu: linux@4.19: Update to 4.19.114....Alex Griffin
2020-04-02nongnu: linux@4.14: Update to 4.14.175....Alex Griffin
2020-04-01gnu: Add radeon-firmware....Pierre Neidhardt
2020-04-01nongnu: linux: s/GuixSD/Guix System/....Alex Griffin
2020-04-01nongnu: linux: Update to 5.4.29....Alex Griffin
2020-03-25README.org: advice for avoiding kernel rebuilds....Jacob First
2020-03-25nongnu: linux: Update to 5.4.28....Alex Griffin
2020-03-25nongnu: linux@4.19: Update to 4.19.113....Alex Griffin
2020-03-22README.org: Don't recommend `load-broadcom-sta-service`....Alex Griffin
2020-03-22nongnu: Add ibt-hw-firmware....Jelle Licht
2020-03-21nongnu: linux: Update to 5.4.27....Alex Griffin
2020-03-20nongnu: linux@4.19: Update to 4.19.112....Alex Griffin
2020-03-20nongnu: linux@4.14: Update to 4.14.174....Alex Griffin
2020-03-20nongnu: linux@4.9: Update to 4.9.217....Alex Griffin
2020-03-20nongnu: linux@4.4: Update to 4.4.217....Alex Griffin
2020-03-18nongnu: leiningen: Update to 2.9.3....Alex Griffin
2020-03-18nongnu: linux: Update to 5.4.26....Alex Griffin
2020-03-18nongnu: linux@4.19: Update to 4.19.111....Alex Griffin
2020-03-16nongnu: linux-firmware: Update to 20200316....Alex Griffin
2020-03-16nongnu: linux@4.19: Update to 4.19.110....Alex Griffin