Alex ter Weele d661ed521e gnu: idris: Provide the right versions of dependencies. ... Previously it would fail to build. See <https://bugs.gnu.org/30741>. * gnu/packages/idris.scm (idris)[inputs]: alphebetize ghc-vector-binary-instances and ghc-async. Use ghc-aeson-1.1.2.0, ghc-cheapskate-0.1.0.5, and ghc-trifecta-1.6.2.1. Remove ghc-aeson, ghc-cheapskate, ghc-parsers, ghc-tasty, ghc-tasty-golden, ghc-tasty-rerun, ghc-trifecta, and ghc-zlib. Signed-off-by: Ludovic Courtès <ludo@gnu.org>		2018-03-15 23:46:16 +01:00
..
bootloader	gnu: Pass "--target=i386-pc" when installing GRUB for legacy BIOS.	2018-02-18 12:28:56 +01:00
build	vm: Use 'invoke' instead of 'system*'.	2018-03-15 23:46:15 +01:00
packages	gnu: idris: Provide the right versions of dependencies.	2018-03-15 23:46:16 +01:00
services	services: Add 'virtual-terminal'.	2018-03-15 11:37:18 +01:00
system	services: Add 'virtual-terminal'.	2018-03-15 11:37:18 +01:00
tests	tests: databases: Add a system test for PostgreSQL.	2018-03-10 16:20:55 +00:00
artwork.scm	…
bootloader.scm	…
local.mk	gnu: shadow: Fix CVE-2018-7169.	2018-03-15 13:13:35 -04:00
packages.scm	…
services.scm	services: Missing services are automatically instantiated.	2018-01-21 00:24:03 +01:00
system.scm	services: file-systems: Include 'user-file-systems' service.	2018-03-07 11:22:42 +01:00
tests.scm	marionette: Use QEMU's "VM channel" mechanism.	2018-02-19 22:04:11 +01:00