Alex Griffin
a4359444b2
nongnu: linux@4.9: Update to 4.9.222.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.222.
2020-05-05 16:50:07 -05:00
Alex Griffin
748062cd70
nongnu: linux@4.4: Update to 4.4.222.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.222.
2020-05-05 16:50:07 -05:00
Pierre Neidhardt
da984ee8ef
nongnu: Move fury from the duke-nukem-3d channel to Nonguix.
...
* nongnu/packages/game-development.scm (fury): New variable.
2020-05-04 12:23:51 +02:00
Pierre Neidhardt
2f9c97e0b0
nongnu: Move eduke32 from the duke-nukem-3d channel to Nonguix.
...
* nongnu/packages/game-development.scm (eduke32): New variable.
2020-05-04 11:58:24 +02:00
Alex Griffin
bffbc6ccff
nongnu: linux: Update to 5.4.38.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.38.
2020-05-02 10:51:00 -05:00
Alex Griffin
15047cfc08
nongnu: linux@4.19: Update to 4.19.120.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.120.
2020-05-02 10:45:20 -05:00
Alex Griffin
4fa412610d
nongnu: linux@4.14: Update to 4.14.178.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.178.
2020-05-02 10:45:20 -05:00
Alex Griffin
8fda24590a
nongnu: linux@4.9: Update to 4.9.221.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.221.
2020-05-02 10:35:56 -05:00
Alex Griffin
7f6e722896
nongnu: linux@4.4: Update to 4.4.221.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.221.
2020-05-02 10:35:56 -05:00
Pierre Neidhardt
8acce3fd16
doc: Mention #nonguix IRC channel.
...
* README.org (Community): Mention #nonguix.
2020-05-02 10:01:40 +02:00
Alex Griffin
6131c2d344
nongnu: linux: Update to 5.4.36.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.36.
2020-04-29 09:52:14 -05:00
Alex Griffin
509097e085
nongnu: linux@4.19: Update to 4.19.119.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.119.
2020-04-29 09:52:03 -05:00
Alex Griffin
75fbc4de85
nongnu: linux@4.14: Update to 4.14.177.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.177.
2020-04-24 08:17:48 -05:00
Alex Griffin
85fe4dce66
nongnu: linux@4.9: Update to 4.9.220.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.220.
2020-04-24 08:17:39 -05:00
Alex Griffin
ffffe607d4
nongnu: linux@4.4: Update to 4.4.220.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.220.
2020-04-24 08:17:25 -05:00
Alex Griffin
e41d5bdf2c
nongnu: linux: Update to 5.4.35.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.35.
2020-04-23 07:22:51 -05:00
Alex Griffin
1400fc001b
nongnu: linux@4.19: Update to 4.19.118.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.118.
2020-04-23 07:22:34 -05:00
Alex Griffin
7abe0f47bf
nongnu: linux-firmware: Update to 20200421.
...
* nongnu/packages/linux.scm (linux-firmware): Update to 20200421.
2020-04-22 08:02:20 -05:00
Alex Griffin
2b044dca45
nongnu: linux: Update to 5.4.34.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.34.
2020-04-21 07:53:12 -05:00
Alex Griffin
f19bfe7247
nongnu: linux@4.19: Update to 4.19.117.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.117.
2020-04-21 07:52:59 -05:00
Alex Griffin
354f08b080
nongnu: linux: Update to 5.4.33.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.33.
2020-04-17 13:22:07 -05:00
Alex Griffin
71aad42b69
nongnu: linux@4.19: Update to 4.19.116.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.116.
2020-04-17 13:21:54 -05:00
Alex Griffin
716b5ca685
nongnu: linux: Update to 5.4.32.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.32.
2020-04-13 11:41:13 -05:00
Alex Griffin
1be9f957d8
nongnu: linux@4.19: Update to 4.19.115.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.115.
2020-04-13 11:41:13 -05:00
Alex Griffin
bdb60f5da4
nongnu: linux@4.14: Update to 4.14.176.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.176.
2020-04-13 11:41:13 -05:00
Alex Griffin
2f8b92064c
nongnu: linux@4.9: Update to 4.9.219.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.219.
2020-04-13 11:41:13 -05:00
Alex Griffin
43c4fd2745
nongnu: linux@4.4: Update to 4.4.219.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.219.
2020-04-13 11:30:02 -05:00
Alex Griffin
40b62f7aaf
Merge branch 'fix-compcert' into 'master'
...
nongnu: compcert: Fix a non-exhaustive match.
See merge request nonguix/nonguix!22
2020-04-11 22:48:05 +00:00
Timotej Lazar
1b7a4319fa
nongnu: compcert: Build for arm-eabihf on arm.
...
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
2020-04-11 20:18:39 +02:00
Timotej Lazar
1892d626dd
nongnu: 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.
2020-04-11 14:11:11 +02:00
Alex Griffin
22450afd70
nongnu: lgogdownloader: Update to 3.7.
...
* nongnu/packages/gog.scm (lgogdownloader): Update to 3.7.
2020-04-10 14:58:01 -05:00
Alex Griffin
c42505e894
nongnu: linux: Update to 5.4.31.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.31.
2020-04-08 08:22:14 -05:00
Alex Griffin
a66e21377d
Merge branch 'compcert' into 'master'
...
nongnu: Add compcert.
See merge request nonguix/nonguix!21
2020-04-07 16:42:17 +00:00
Alex Griffin
2a939c8d8b
Revert "nongnu: Add linux 5.6.2."
...
This reverts commit 8d2c3b5bb3
.
2020-04-05 14:38:36 -05:00
Julien Lepiller
048de09ad8
nongnu: Add compcert.
...
* nongnu/packages/coq.scm: New file.
2020-04-04 18:54:06 +02:00
Alex Griffin
8d2c3b5bb3
nongnu: Add linux 5.6.2.
...
* nongnu/packages/linux.scm (linux-5.6): New variable.
2020-04-04 11:51:23 -05:00
Alex Griffin
3e0061f87e
nongnu: linux@4.9: Update to 4.9.218.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.218.
2020-04-02 12:44:52 -05:00
Alex Griffin
abf84ae836
nongnu: linux@4.4: Update to 4.4.218.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.218.
2020-04-02 12:44:44 -05:00
Alex Griffin
2d20e11b3e
nongnu: linux: Update to 5.4.30.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.30.
2020-04-02 09:53:09 -05:00
Alex Griffin
8235a635b5
nongnu: linux@4.19: Update to 4.19.114.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.114.
2020-04-02 09:53:09 -05:00
Alex Griffin
cdaaeb6277
nongnu: linux@4.14: Update to 4.14.175.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.175.
2020-04-02 09:53:09 -05:00
Pierre Neidhardt
28c7b2a259
gnu: Add radeon-firmware.
...
* nongnu/packages/linux.scm (radeon-firmware): New variable.
2020-04-01 16:31:47 +02:00
Alex Griffin
c523c62ec1
nongnu: linux: s/GuixSD/Guix System/.
...
* nongnu/packages/linux.scm (corrupt-linux): Replace GuixSD in
description with Guix System.
2020-04-01 07:50:19 -05:00
Alex Griffin
379e5b74ba
nongnu: linux: Update to 5.4.29.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.29.
2020-04-01 07:39:03 -05:00
Jacob First
3429bf94b8
README.org: advice for avoiding kernel rebuilds.
...
Closes #27 .
2020-03-25 20:42:28 +00:00
Alex Griffin
dbbdf87e8a
nongnu: linux: Update to 5.4.28.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.28.
2020-03-25 08:44:10 -05:00
Alex Griffin
a23390454a
nongnu: linux@4.19: Update to 4.19.113.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.113.
2020-03-25 08:43:55 -05:00
Alex Griffin
ed867eb386
README.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`.
2020-03-22 15:16:02 -05:00
Jelle Licht
b20c206810
nongnu: Add ibt-hw-firmware.
...
* nongnu/packages/linux.scm (ibt-hw-firmware): New variable.
2020-03-22 14:08:35 +01:00
Alex Griffin
70d4671223
nongnu: linux: Update to 5.4.27.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.27.
2020-03-21 03:06:36 -05:00