Commit graph

402 commits

Author SHA1 Message Date
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
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
Alex Griffin
e1a5b25fcd nongnu: linux@4.4: Update to 4.4.209.
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.209.
2020-01-12 07:54:31 -06:00
Alex Griffin
1ae3297396 nongnu: Remove qtwebengine.
It's been packaged upstream now.

* nongnu/packages/qt.scm: Remove file.
2020-01-11 18:27:36 -06:00
Alex Griffin
0c61e6c829 nongnu: linux: Update to 5.4.10.
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.10.
2020-01-09 07:26:54 -06:00
Alex Griffin
2a9dd7c032 nongnu: linux@4.19: Update to 4.19.94.
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.94.
2020-01-09 07:26:36 -06:00
Alex Griffin
6c615814a3 nongnu: linux@4.14: Update to 4.14.163.
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.163.
2020-01-09 07:26:22 -06:00
Alex Griffin
663c4c3e6c nongnu: Add amd-microcode.
* nongnu/packages/linux.scm (amd-microcode): New variable.
2020-01-08 09:42:31 -06:00
Alex Griffin
304da1fffb nongnu: intel-microcode: Use gnu-build-system.
* nongnu/packages/linux.scm (intel-microcode): Use gnu-build-system..
2020-01-07 12:13:00 -06:00
Alex Griffin
1f18a083c8 nongnu: atheros-firmware: Fix typo.
* nongnu/packages/linux.scm (atheros-firmware)[license]: Fix typo.
2020-01-05 15:47:29 -06:00
Alex Griffin
6bffec90c0 nongnu: atheros-firmware: Update license field.
* nongnu/packages/linux.scm (atheros-firmware)[license]: Add missing licenses.
2020-01-05 15:30:35 -06:00
Alex Griffin
7032ec3cd8 nongnu: ath3k-firmware: Deprecate package.
* nongnu/packages/linux.scm (ath3k-firmware): Deprecate package in favor of
atheros-firmware.
2020-01-05 15:09:11 -06:00
Alex Griffin
2923fcb186 nongnu: Add atheros-firmware.
Closes #9.

* nongnu/packages/linux.scm (atheros-firmware): New variable.
2020-01-05 15:09:04 -06:00