aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/idris.scm
diff options
context:
space:
mode:
Diffstat (limited to 'gnu/packages/idris.scm')
0 files changed, 0 insertions, 0 deletions
generated by cgit
16e026c51d96b1fa86be88f'>Merge branch 'master' into core-updatesMark H Weaver 2015-06-18hydra: Fix the demo OS....Mark H Weaver 2015-06-17list-packages: Move to guix-artwork repository....Mathieu Lirzin 2015-06-16hydra: Remove GCC 4.7 from the core set, and add 4.9 and 5.1....Ludovic Courtès 2015-05-29hydra: Support per-package absolute build timeouts....Mark H Weaver 2015-05-21ui: Deduplicate 'show-what-to-build*'....David Thompson 2015-05-15hydra: Increase USB image size....Ludovic Courtès 2015-05-10build: check-final-inputs-self-contained uses %HYDRA-SUPPORTED-SYSTEMS....Ludovic Courtès 2015-05-02Merge branch 'core-updates'Ludovic Courtès 2015-05-02hydra: Update Guix job set....Ludovic Courtès 2015-05-01check-available-binaries: Use %HYDRA-SUPPORTED-SYSTEMS....Ludovic Courtès 2015-05-01list-packages: Add status link only for systems supported on Hydra....Ludovic Courtès 2015-05-01packages: Add '%hydra-supported-systems'....Ludovic Courtès 2015-04-22hydra: Add %hydra-supported-systems variable and use it....Mark H Weaver 2015-04-19packages: Add 'supported-package?'....Ludovic Courtès 2015-04-17Merge branch 'master' into core-updates...Mark H Weaver 2015-04-16hydra: Increase size of USB image....Ludovic Courtès 2015-04-14build: Add missing 'make-binary-tarball.scm' script....Ludovic Courtès 2015-04-14hydra: Add jobs for the self-contained tarball....Ludovic Courtès 2015-03-06list-packages: Use GuixSD logo and name....Ludovic Courtès 2015-02-24build: Disable grafting in sanity checks....Ludovic Courtès 2015-01-16Merge branch 'core-updates'...Ludovic Courtès 2015-01-14check-available-binaries: Use 'substitution-oracle'....Ludovic Courtès 2015-01-14check-available-binaries: Use 'with-store'....Ludovic Courtès 2015-01-14build: Use the canonical list of supported systems in 'assert-*'....Ludovic Courtès 2015-01-14monads: Move '%store-monad' and related procedures where they belong....Ludovic Courtès 2015-01-07gnu: Add bootstrap binaries for 'armhf-linux'....Mark H Weaver 2014-12-29list-packages: Expand 'mirror://' URIs for patches....Ludovic Courtès 2014-11-29system: Change "en_US.UTF-8" to "en_US.utf8"....Ludovic Courtès