aboutsummaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorEric Bavier <bavier@member.fsf.org>2021-01-18 23:27:25 -0600
committerEric Bavier <bavier@member.fsf.org>2021-01-20 09:58:31 -0600
commitc67ff5636f2e62e4fd75ac584865c56d973e27fe (patch)
treebb718be5b06e9ecfbd46750285d7ebe43973ed9e /etc
parent2a9784ffa247bb2580346b7ce1d3f23c302459a3 (diff)
downloadguix-c67ff5636f2e62e4fd75ac584865c56d973e27fe.tar.gz
guix-c67ff5636f2e62e4fd75ac584865c56d973e27fe.zip
gnu: idris: Update to 1.3.3.
* gnu/packages/patches/idris-disable-test.patch: New file. * gnu/local.mk (dist_patch_DATA): Add it. * gnu/packages/idris.scm (idris): Update to 1.3.3. [source]: Use the patch. [native-inputs]: Add ghc-cheapskate. [arguments]: Adjust cheapskate version bounds. Make auxiliary test script executable.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions
874e61c26f6e909b6c'>system: Allow separated /boot and encrypted root....Miguel Ángel Arruga Vivas 2020-11-09machine: ssh: Do not import the host (guix config)....Ludovic Courtès 2020-11-01system: Add store-directory-prefix to boot-parameters....Miguel Ángel Arruga Vivas 2020-10-18system: Provide locale information to the bootloader....Miguel Ángel Arruga Vivas 2020-09-07linux-boot: Handle nfs-root device strings....Stefan 2020-08-25Remove "guile-zlib" extension when unused....Mathieu Othacehe 2020-08-25linux-libre: Support module compression....Mathieu Othacehe 2020-07-27machine: ssh: Check for potential system downgrades....Ludovic Courtès 2020-07-25Use 'formatted-message' instead of '&message' where appropriate....Ludovic Courtès 2020-06-28Add more missing (ice-9 format) imports....Marius Bakke 2020-06-18machine: ssh: Fix guix deploy hang when using non-DCE UUIDs....Maxim Cournoyer 2020-03-23machine: ssh: Better report missing initrd modules....Ludovic Courtès 2020-03-23machine: ssh: Make sanity checks in a single round trip....Ludovic Courtès 2020-02-09Update e-mail address for Jakob L. Kreuze....Tobias Geerinckx-Rice 2019-12-08machine: Remove unnecessary record self-referencing bindings....Ludovic Courtès 2019-12-07machine: ssh: Deprecate missing 'host-key' field....Ludovic Courtès 2019-12-04machine: ssh: <machine-ssh-configuration> can include the host key....Ludovic Courtès 2019-10-22machine: digital-ocean: Rename 'enable-ipv6' to 'enable-ipv6?'....Ludovic Courtès 2019-10-22machine: Implement 'digital-ocean-environment-type'....Jakob L. Kreuze 2019-08-17machine: ssh: Fix sanity checks....宋文武 2019-08-16machine: Use 'become-command'....Jakob L. Kreuze 2019-08-15machine: Automatically authorize the coordinator's signing key....Jakob L. Kreuze 2019-08-15machine: Implement 'roll-back-machine'....Jakob L. Kreuze 2019-08-15machine: Allow non-root users to deploy....Jakob L. Kreuze 2019-08-14remote: Build derivations appropriate for the remote's...Jakob L. Kreuze 2019-08-07machine: Add 'build-locally?' field for managed hosts....Jakob L. Kreuze 2019-08-06machine: Implement safety checks....Jakob L. Kreuze 2019-08-06machine: Rename 'system' field....Jakob L. Kreuze 2019-07-26guix system: Add 'reconfigure' module....Jakob L. Kreuze 2019-07-18machine: Fix typo....Tobias Geerinckx-Rice 2019-07-06gnu: Add machine type for deployment specifications....Jakob L. Kreuze