Age | Commit message (Collapse) | Author |
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.41.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.123.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.40.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.122.
|
|
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.180.
|
|
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.223.
|
|
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.223.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.39.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.121.
|
|
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.179.
|
|
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.222.
|
|
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.222.
|
|
* nongnu/packages/game-development.scm (fury): New variable.
|
|
* nongnu/packages/game-development.scm (eduke32): New variable.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.38.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.120.
|
|
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.178.
|
|
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.221.
|
|
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.221.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.36.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.119.
|
|
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.177.
|
|
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.220.
|
|
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.220.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.35.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.118.
|
|
* nongnu/packages/linux.scm (linux-firmware): Update to 20200421.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.34.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.117.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.33.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.116.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.32.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.115.
|
|
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.176.
|
|
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.219.
|
|
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.219.
|
|
* nongnu/packages/coq.scm (compcert)[arguments]: Pass arm-eabihf to configure
script to enable hard float extensions.
|
|
* 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.
|
|
* nongnu/packages/gog.scm (lgogdownloader): Update to 3.7.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.31.
|
|
nongnu: Add compcert.
See merge request nonguix/nonguix!21
|
|
This reverts commit 8d2c3b5bb38ec98420f7dd6518850cde8cf50e2f.
|
|
* nongnu/packages/coq.scm: New file.
|
|
* nongnu/packages/linux.scm (linux-5.6): New variable.
|
|
* nongnu/packages/linux.scm (linux-4.9): Update to 4.9.218.
|
|
* nongnu/packages/linux.scm (linux-4.4): Update to 4.4.218.
|
|
* nongnu/packages/linux.scm (linux-5.4): Update to 5.4.30.
|
|
* nongnu/packages/linux.scm (linux-4.19): Update to 4.19.114.
|
|
* nongnu/packages/linux.scm (linux-4.14): Update to 4.14.175.
|
|
* nongnu/packages/linux.scm (radeon-firmware): New variable.
|