Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-11-22 16:38:09 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
664 commits 16 branches 1 tag 3.4 MiB
Commit graph

617 commits

Author SHA1 Message Date
Alex Griffin
71289b2e0a
nongnu: linux@4.14: Update to 4.14.193. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.193.
 2020-08-07 09:27:03 -05:00
Alex Griffin
75e26eaada
nongnu: linux: Update to 5.4.56. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.56.
 2020-08-05 08:08:43 -05:00
Alex Griffin
309186236f
nongnu: linux@4.19: Update to 4.19.137. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.137.
 2020-08-05 08:08:32 -05:00
Alex Griffin
837202fa02
nongnu: linux@4.14: Update to 4.14.192. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.192.
 2020-08-05 08:08:14 -05:00
Alex Griffin
b5ee7782d9
nongnu: linux: Update to 5.4.55. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.55.
 2020-07-31 12:20:11 -05:00
Alex Griffin
40415edb8a
nongnu: linux@4.19: Update to 4.19.136. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.136.
 2020-07-31 11:47:25 -05:00
Alex Griffin
bf45ceb632
nongnu: linux@4.14: Update to 4.14.191. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.191.
 2020-07-31 10:02:30 -05:00
Alex Griffin
0db179e843
nongnu: linux@4.9: Update to 4.9.232. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.232.
 2020-07-31 10:01:35 -05:00
Alex Griffin
0d9d398c22
nongnu: linux@4.4: Update to 4.4.232. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.232.
 2020-07-31 10:01:05 -05:00
Alex Griffin
346fb8c09b
nongnu: linux: Update to 5.4.54. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.54.
 2020-07-29 08:36:00 -05:00
Alex Griffin
1cfd059e7b
nongnu: linux@4.19: Update to 4.19.135. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.135.
 2020-07-29 08:35:28 -05:00
Alex Griffin
a390bd8081
nongnu: linux@4.14: Update to 4.14.190. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.190.
 2020-07-29 08:34:43 -05:00
Alex Griffin
a4300c38a7
nongnu: linux: Update to 5.4.53. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.53.
 2020-07-22 08:55:15 -05:00
Alex Griffin
65329c8568
nongnu: linux@4.19: Update to 4.19.134. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.134.
 2020-07-22 08:54:45 -05:00
Alex Griffin
796aaeb4c9
nongnu: linux@4.14: Update to 4.14.189. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.189.
 2020-07-22 08:54:18 -05:00
Alex Griffin
f512140701
nongnu: linux@4.9: Update to 4.9.231. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.231.
 2020-07-22 08:53:44 -05:00
Alex Griffin
ebd84f07a0
nongnu: linux@4.4: Update to 4.4.231. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.231.
 2020-07-22 08:53:17 -05:00
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
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
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
Alex Griffin
ec28baaebb nongnu: linux@4.19: Update to 4.19.112. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.112.
 2020-03-20 11:54:10 -05:00
Alex Griffin
4ec086e6d4 nongnu: linux@4.14: Update to 4.14.174. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.174.
 2020-03-20 11:54:00 -05:00
Alex Griffin
7525eab924 nongnu: linux@4.9: Update to 4.9.217. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.217.
 2020-03-20 11:53:52 -05:00
Alex Griffin
47e8373023 nongnu: linux@4.4: Update to 4.4.217. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.217.
 2020-03-20 11:53:38 -05:00
Alex Griffin
c5f87bd75b nongnu: leiningen: Update to 2.9.3. 
* nongnu/packages/clojure.scm (leiningen, leiningen-jar): Update to 2.9.3.
 2020-03-18 17:30:14 -05:00
Alex Griffin
d3e4160d95 nongnu: linux: Update to 5.4.26. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.26.
 2020-03-18 09:00:05 -05:00
Alex Griffin
fdce6229cd nongnu: linux@4.19: Update to 4.19.111. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.111.
 2020-03-18 08:59:54 -05:00
Alex Griffin
dfc0e0e28e nongnu: linux-firmware: Update to 20200316. 
* nongnu/packages/linux.scm (linux-firmware): Update to 20200316.
 2020-03-16 13:46:13 -05:00
Alex Griffin
55e5a2ac2f nongnu: linux@4.19: Update to 4.19.110. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.110.
 2020-03-16 12:57:48 -05:00
Alex Griffin
b1975f55e9 nongnu: linux: Update to 5.4.25. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.25.
 2020-03-12 07:24:44 -05:00
Alex Griffin
f81d5704af nongnu: linux@4.19: Update to 4.19.109. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.109.
 2020-03-11 12:37:44 -05:00
Alex Griffin
42724186e6 nongnu: linux@4.14: Update to 4.14.173. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.173.
 2020-03-11 12:37:35 -05:00
Alex Griffin
2c3edd208a nongnu: linux@4.9: Update to 4.9.216. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.216.
 2020-03-11 08:09:29 -05:00
Alex Griffin
d13ff398a7 nongnu: linux@4.4: Update to 4.4.216. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.216.
 2020-03-11 08:09:18 -05:00
Alex Griffin
bd142ecf42 nongnu: linux: Update to 5.4.24. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.24.
 2020-03-05 10:01:39 -06:00
Alex Griffin
2ab636a52d nongnu: linux@4.19: Update to 4.19.108. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.108.
 2020-03-05 10:01:27 -06:00
Timotej Lazar
62bf07f957 gnu: intel-microcode: Use copy-build-system. 
* nongnu/packages/linux.scm (intel-microcode): Use copy-build-system.
 2020-03-02 16:08:59 +01:00
Pierre Neidhardt
738b9bdfdc gnu: nvidia-cg-toolkit: Use new install-plan format. 
* nongnu/packages/game-development.scm (nvidia-cg-toolkit)[arguments]: Do it.
 2020-02-29 10:42:35 +01:00
Alex Griffin
1fde948ade nongnu: linux: Update to 5.4.23. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.23.
 2020-02-28 10:32:12 -06:00
Alex Griffin
b8054367d8 nongnu: linux@4.19: Update to 4.19.107. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.107.
 2020-02-28 10:03:49 -06:00
Alex Griffin
b4b5ea4f81 nongnu: linux@4.14: Update to 4.14.172. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.172.
 2020-02-28 10:03:36 -06:00
Alex Griffin
c1d0b328c6 nongnu: linux@4.9: Update to 4.9.215. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.215.
 2020-02-28 09:18:35 -06:00
Alex Griffin
cf154f2148 nongnu: linux@4.4: Update to 4.4.215. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.215.
 2020-02-28 09:18:23 -06:00
Alex Griffin
f90808eb21 nongnu: linux: Update to 5.4.22. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.22.
 2020-02-24 08:56:29 -06:00
Alex Griffin
feb8568f45 nongnu: linux@4.19: Update to 4.19.106. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.106.
 2020-02-24 08:56:18 -06:00
Alex Griffin
ff6ca98099 nongnu: linux: Update to 5.4.21. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.21.
 2020-02-19 13:27:35 -06:00
Alex Griffin
5ca7a3410b nongnu: linux@4.19: Update to 4.19.105. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.105.
 2020-02-19 13:27:21 -06:00
Alex Griffin
2c150105f7 nongnu: linux: Update to 5.4.20. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.20.
 2020-02-14 16:32:31 -06:00
Alex Griffin
35df08183e nongnu: linux@4.19: Update to 4.19.104. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.104.
 2020-02-14 16:32:21 -06:00
Alex Griffin
e7e89e4ff6 nongnu: linux@4.14: Update to 4.14.171. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.171.
 2020-02-14 16:31:59 -06:00
Alex Griffin
534a72c7f7 nongnu: linux@4.9: Update to 4.9.214. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.214.
 2020-02-14 16:31:40 -06:00
Alex Griffin
79aaddffb9 nongnu: linux@4.4: Update to 4.4.214. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.214.
 2020-02-14 16:31:15 -06:00
Alex Griffin
37f107765e nongnu: linux: Update to 5.4.19. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.19.
 2020-02-11 13:58:05 -06:00
Alex Griffin
7643457dc9 nongnu: linux@4.19: Update to 4.19.103. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.103.
 2020-02-11 13:57:56 -06:00
Alex Griffin
77bc577b6a nongnu: linux: Update to 5.4.18. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.18.
 2020-02-05 15:46:00 -06:00
Alex Griffin
13d1653e56 nongnu: linux@4.19: Update to 4.19.102. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.102.
 2020-02-05 09:01:15 -06:00
Alex Griffin
a4ee8a4640 nongnu: linux@4.14: Update to 4.14.170. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.170.
 2020-02-05 08:44:18 -06:00
Alex Griffin
9c4f81961d nongnu: linux@4.9: Update to 4.9.213. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.213.
 2020-02-05 08:44:07 -06:00
Alex Griffin
741b9fd384 nongnu: linux@4.4: Update to 4.4.213. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.213.
 2020-02-05 08:43:51 -06:00
Alex Griffin
c9bb0d02cb nongnu: linux: Update to 5.4.17. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.17.
 2020-02-01 08:41:00 -06:00
Alex Griffin
a7cd123da8 nongnu: linux@4.19: Update to 4.19.101. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.101.
 2020-02-01 08:40:49 -06:00
Alex Griffin
1b166facdb nongnu: linux: Update to 5.4.16. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.16.
 2020-01-29 10:48:46 -06:00
Alex Griffin
24d7af69a1 nongnu: linux@4.9: Update to 4.9.100. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.100.
 2020-01-29 10:48:38 -06:00
Alex Griffin
0788f501ea nongnu: linux@4.14: Update to 4.14.169. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.169.
 2020-01-29 08:50:29 -06:00
Alex Griffin
a4c99cf21f nongnu: linux@4.9: Update to 4.9.212. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.212.
 2020-01-29 07:42:32 -06:00
Alex Griffin
42fb38d2a7 nongnu: linux@4.4: Update to 4.4.212. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.212.
 2020-01-29 07:42:24 -06:00
Alex Griffin
cb07e99ca1 nongnu: linux@4.19: Update to 4.19.99. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.99.
 2020-01-27 10:57:34 -06:00
Alex Griffin
74b9a56a11 nongnu: linux@4.14: Update to 4.14.168. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.168.
 2020-01-27 10:57:26 -06:00
Alex Griffin
1605704ef7 nongnu: linux: Update to 5.4.15. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.15.
 2020-01-26 08:46:52 -06:00
Alex Griffin
f2d943456f nongnu: linux: Update to 5.4.14. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.14.
 2020-01-23 01:44:19 -06:00
Alex Griffin
8ebe4c4dc7 nongnu: linux@4.19: Update to 4.19.98. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.98.
 2020-01-23 01:43:44 -06:00
Alex Griffin
7f4ccfca84 nongnu: linux@4.14: Update to 4.14.167. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.167.
 2020-01-23 01:43:16 -06:00
Alex Griffin
f102c25b6b nongnu: linux@4.9: Update to 4.9.211. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.211.
 2020-01-23 01:42:37 -06:00
Alex Griffin
bc542a6e4e nongnu: linux@4.4: Update to 4.4.211. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.211.
 2020-01-23 01:42:01 -06:00
Alex Griffin
14b00c6498 nongnu: linux-firmware: Update to 20200122. 
* nongnu/packages/linux.scm (linux-firmware): Update to 20200122.
 2020-01-22 23:41:00 -06:00
Alex Griffin
dbed9e9a7a nongnu: linux: Update to 5.4.13. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.13.
 2020-01-17 14:57:51 -06:00
Alex Griffin
58a3a2de5f nongnu: linux@4.19: Update to 4.19.97. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.97.
 2020-01-17 14:57:51 -06:00
Alex Griffin
73c125380f nongnu: linux@4.14: Update to 4.14.166. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.166.
 2020-01-17 14:57:51 -06:00
Pierre Neidhardt
7007b3d0f2 nongnu: Add libsteam. 
* nongnu/packages/game-development.scm (libsteam): New variable.
 2020-01-15 10:35:00 +01:00
Jelle Licht
b2c39bd8e7
nongnu: Make leiningen self-contained. 
* nongnu/packages/clojure.scm (leiningen-jar): New variable.
 (leiningen): Use downloaded jar-file.
 2020-01-14 23:22:02 +01:00
Alex Griffin
95340b45c8 nongnu: linux: Update to 5.4.12. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.12.
 2020-01-14 13:54:32 -06:00
Alex Griffin
2578314405 nongnu: linux@4.19: Update to 4.19.96. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.96.
 2020-01-14 13:54:15 -06:00
Alex Griffin
7ece064e54 nongnu: linux@4.14: Update to 4.14.165. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.165.
 2020-01-14 13:54:01 -06:00
Alex Griffin
681352a933 nongnu: linux@4.9: Update to 4.9.210. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.210.
 2020-01-14 13:53:47 -06:00
Alex Griffin
981531d468 nongnu: linux@4.4: Update to 4.4.210. 
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.210.
 2020-01-14 13:53:32 -06:00
Timotej Lazar
4782afc06e gnu: nvidia-cg-toolkit: Fix a non-exhaustive match. 
* nongnu/packages/game-development.scm (nvidia-cg-toolkit): Replace a
  non-exhaustive match with string=? to fix evaluation on unsupported
  platforms.
 2020-01-12 22:16:57 +01:00
Alex Griffin
e90b62a58a nongnu: linux: Update to 5.4.11. 
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.11.
 2020-01-12 07:55:25 -06:00
Alex Griffin
897c721a04 nongnu: linux@4.19: Update to 4.19.95. 
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.95.
 2020-01-12 07:55:13 -06:00
Alex Griffin
1511ff825e nongnu: linux@4.14: Update to 4.14.164. 
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.164.
 2020-01-12 07:54:59 -06:00
Alex Griffin
61da4913d9 nongnu: linux@4.9: Update to 4.9.209. 
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.209.
 2020-01-12 07:54:46 -06:00