Lispln/nonguix
1
0
Fork 0
mirror of https://gitlab.com/nonguix/nonguix.git synced 2024-12-12 18:04:53 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions
1779 commits 16 branches 1 tag 4.7 MiB
Commit graph

1779 commits

This branch
This branch
All branches
Author SHA1 Message Date
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
Pierre Neidhardt
4a4043db04 nonguix: Don't rename to32 package to avoid useless rebuilds. 
* nonguix/utils.scm (to32): Reuse inherited `name' field.
 2020-05-15 21:23:23 +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
Pierre Neidhardt
4fcde0655e doc: Mention the #nonguix IRC channel is on Freenode. 
* README.org (Community): Mention Freenode.
 2020-05-11 10:35:15 +02: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
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