Alex Griffin
bfe7ba5645
nongnu: linux-firmware: Update to 20200721.
...
* nongnu/packages/linux.scm (linux-firmware): Update to 20200721.
2020-07-22 08:49:33 -05:00
Alex Griffin
cd1e45e78a
nongnu: linux: Update to 5.4.52.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.52.
2020-07-21 13:37:00 -05:00
Alex Griffin
8122d8ac91
nongnu: linux@4.19: Update to 4.19.133.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.133.
2020-07-21 13:37:00 -05:00
Alex Griffin
d174095d26
nongnu: linux: Update to 5.4.51.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.51.
2020-07-09 11:08:49 -05:00
Alex Griffin
46bb6260f1
nongnu: linux@4.19: Update to 4.19.132.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.132.
2020-07-09 11:08:26 -05:00
Alex Griffin
8d1fd9257d
nongnu: linux@4.14: Update to 4.14.188.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.188.
2020-07-09 11:08:02 -05:00
Alex Griffin
108c5a693a
nongnu: linux@4.9: Update to 4.9.230.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.230.
2020-07-09 11:07:38 -05:00
Alex Griffin
b494e120ab
nongnu: linux@4.4: Update to 4.4.230.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.230.
2020-07-09 11:07:10 -05:00
Alex Griffin
7d21e7db2b
nongnu: linux: Update to 5.4.50.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.50.
2020-07-01 12:54:22 -05:00
Alex Griffin
a22056572a
nongnu: linux@4.19: Update to 4.19.131.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.131.
2020-07-01 12:54:22 -05:00
Alex Griffin
35da1200b3
nongnu: linux@4.14: Update to 4.14.187.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.187.
2020-07-01 12:54:21 -05:00
Alex Griffin
fc7a5ae060
nongnu: linux@4.9: Update to 4.9.229.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.229.
2020-07-01 12:54:21 -05:00
Alex Griffin
ce149b658a
nongnu: linux@4.4: Update to 4.4.229.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.229.
2020-07-01 12:54:21 -05:00
Alex Griffin
c3ea219253
nongnu: linux@4.19: Update to 4.19.130.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.130.
2020-06-25 10:15:41 -05:00
Alex Griffin
f4aef2b6af
nongnu: linux@4.14: Update to 4.14.186.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.186.
2020-06-25 10:15:16 -05:00
Timotej Lazar
c48eba5261
nongnu: lgogdownloader: Build and install man page.
...
* nongnu/packages/gog.scm (lgogdownloader)[native-inputs]: Add help2man.
2020-06-25 08:41:14 -05:00
Alex Griffin
61a1e8a930
nongnu: linux: Update to 5.4.49.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.49.
2020-06-24 12:32:58 -05:00
Alex Griffin
702ab8c308
nongnu: linux: Update to 5.4.48.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.48.
2020-06-22 08:08:09 -05:00
Alex Griffin
c0e37d805c
nongnu: linux@4.19: Update to 4.19.129.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.129.
2020-06-22 08:08:09 -05:00
Timotej Lazar
df62e85b07
nongnu: intel-microcode: Update to 20200616.
...
* nongnu/packages/linux.scm (intel-microcode): Update to 20200616.
2020-06-22 02:05:19 +02:00
Alex Griffin
784656bd1c
nongnu: linux@4.14: Update to 4.14.185.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.185.
2020-06-20 10:21:48 -05:00
Alex Griffin
906029e506
nongnu: linux@4.9: Update to 4.9.228.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.228.
2020-06-20 10:21:17 -05:00
Alex Griffin
31bc20d52c
nongnu: linux@4.4: Update to 4.4.228.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.228.
2020-06-20 10:20:51 -05:00
Alex Griffin
9f2eff9c6f
nongnu: linux-firmware: Update to 20200619.
...
* nongnu/packages/linux.scm (linux-firmware): Update to 20200619.
2020-06-19 16:08:39 -05:00
Alex Griffin
cc91381645
nongnu: linux: Update to 5.4.47.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.47.
2020-06-17 09:56:25 -05:00
Pierre Neidhardt
9b4c924a76
gnu: dxvk: Really fix unquoting.
...
* nongnu/packages/wine.scm (dxvk)[arguments]: Do it.
2020-06-15 13:35:37 +02:00
Pierre Neidhardt
c5eb882b3e
gnu: dxvk: Fix wrongly quoted expression.
...
* nongnu/packages/wine.scm (dxvk)[arguments]: Reverse ,@ and fix missing quote
for i686-linux.
2020-06-15 13:01:52 +02:00
Pierre Neidhardt
c33d845cf0
gnu: Add dxvk@1.7.
...
* nongnu/packages/wine.scm (dxvk-1.7): New variable.
2020-06-15 12:53:59 +02:00
Alex Griffin
9a9dcceb8e
nongnu: intel-microcode: Update to 20200609.
...
* nongnu/packages/linux.scm (intel-microcode): Update to 20200609.
2020-06-14 17:08:17 -05:00
Alex Griffin
eafda7b729
nongnu: linux@4.14: Update to 4.14.184.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.184.
2020-06-11 11:20:02 -05:00
Alex Griffin
0df597f901
nongnu: linux@4.9: Update to 4.9.227.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.227.
2020-06-11 11:19:39 -05:00
Alex Griffin
851296fbca
nongnu: linux@4.4: Update to 4.4.227.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.227.
2020-06-11 11:19:14 -05:00
Alex Griffin
5f5d115cd8
nongnu: linux: Update to 5.4.46.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.46.
2020-06-10 16:13:30 -05:00
Alex Griffin
752189c356
nongnu: linux@4.19: Update to 4.19.128.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.128.
2020-06-10 16:12:55 -05:00
Alex Griffin
1b8d409975
nongnu: linux: Update to 5.4.45.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.45.
2020-06-07 09:23:08 -05:00
Alex Griffin
d47d088fe9
nongnu: linux@4.19: Update to 4.19.127.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.127.
2020-06-07 09:22:40 -05:00
Alex Griffin
a8de81a149
nongnu: linux: Update to 5.4.44.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.44.
2020-06-03 08:19:45 -05:00
Alex Griffin
801ddf59d0
nongnu: linux@4.19: Update to 4.19.126.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.126.
2020-06-03 08:19:11 -05:00
Alex Griffin
a2732eefa5
nongnu: linux@4.14: Update to 4.14.183.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.183.
2020-06-03 08:18:34 -05:00
Alex Griffin
bccf823ed2
nongnu: linux@4.9: Update to 4.9.226.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.226.
2020-06-03 08:16:55 -05:00
Alex Griffin
a77dc860a7
nongnu: linux@4.4: Update to 4.4.226.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.226.
2020-06-03 08:16:30 -05:00
Alex Griffin
30e93befe5
nongnu: linux: Update to 5.4.43.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.43.
2020-05-27 11:02:40 -05:00
Alex Griffin
05118d0125
nongnu: linux@4.19: Update to 4.19.125.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.125.
2020-05-27 11:02:08 -05:00
Alex Griffin
0574c0db88
nongnu: linux@4.14: Update to 4.14.182.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.182.
2020-05-27 10:00:09 -05:00
Alex Griffin
99d37aaddd
nongnu: linux@4.9: Update to 4.9.225.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.225.
2020-05-27 09:59:27 -05:00
Alex Griffin
6edf67269c
nongnu: linux@4.4: Update to 4.4.225.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.225.
2020-05-27 09:59:17 -05:00
Timotej Lazar
9307e9d0cd
nongnu: intel-microcode: Update to 20200520.
...
* nongnu/packages/linux.scm (intel-microcode): Update to 20200520.
2020-05-25 20:23:01 +02:00
Alex Griffin
adb085e6ec
nongnu: linux-firmware: Update to 20200519.
...
* nongnu/packages/linux.scm (linux-firmware): Update to 20200519.
2020-05-20 13:22:20 -05:00
Alex Griffin
572cb1e779
nongnu: linux: Update to 5.4.42.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.42.
2020-05-20 07:24:56 -05:00
Alex Griffin
48b1970558
nongnu: linux@4.19: Update to 4.19.124.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.124.
2020-05-20 07:24:38 -05:00
Alex Griffin
46f21f4a6a
nongnu: linux@4.14: Update to 4.14.181.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.181.
2020-05-20 07:24:25 -05:00
Alex Griffin
4076c04040
nongnu: linux@4.9: Update to 4.9.224.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.224.
2020-05-20 07:24:03 -05:00
Alex Griffin
ab1d69bb3b
nongnu: linux@4.4: Update to 4.4.224.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.224.
2020-05-20 07:23:34 -05:00
Pierre Neidhardt
e199cf436b
nongnu: Add brscan4.
...
* nongnu/packages/scanner.scm (brscan4): New variable.
2020-05-17 14:36:43 +02:00
Timotej Lazar
87e5ac6086
nongnu: intel-microcode: Install release documentation.
...
* nongnu/packages/linux.scm (intel-microcode)[arguments]: Copy releasenote and
security.md to the documentation directory.
2020-05-15 23:44:27 +02:00
Timotej Lazar
c7ee990301
nongnu: intel-microcode: Update to 20200508.
...
* nongnu/packages/linux.scm (intel-microcode): Update to 20200508.
2020-05-15 23:44:27 +02:00
Alex Griffin
7bba542547
nongnu: linux: Update to 5.4.41.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.41.
2020-05-14 07:32:24 -05:00
Alex Griffin
1a389ba307
nongnu: linux@4.19: Update to 4.19.123.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.123.
2020-05-14 07:32:13 -05:00
Alex Griffin
02fbb11d4d
nongnu: linux: Update to 5.4.40.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.40.
2020-05-10 07:29:54 -05:00
Alex Griffin
05a7e94a81
nongnu: linux@4.19: Update to 4.19.122.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.122.
2020-05-10 07:29:31 -05:00
Alex Griffin
82d4d5d3ba
nongnu: linux@4.14: Update to 4.14.180.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.180.
2020-05-10 07:29:10 -05:00
Alex Griffin
665c0a4d85
nongnu: linux@4.9: Update to 4.9.223.
...
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.223.
2020-05-10 07:28:39 -05:00
Alex Griffin
1eeac91e0a
nongnu: linux@4.4: Update to 4.4.223.
...
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.223.
2020-05-10 07:28:17 -05:00
Alex Griffin
2215ffd70d
nongnu: linux: Update to 5.4.39.
...
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.39.
2020-05-06 07:37:47 -05:00
Alex Griffin
81ade83427
nongnu: linux@4.19: Update to 4.19.121.
...
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.121.
2020-05-06 07:37:35 -05:00
Alex Griffin
61f6ed66b1
nongnu: linux@4.14: Update to 4.14.179.
...
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.179.
2020-05-05 16:50:07 -05:00
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
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
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