aboutsummaryrefslogtreecommitdiff
path: root/gnu/installer/hostname.scm
blob: b8e823d0a857a0bc9116ed638842c3040eed29db (about) (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2018 Mathieu Othacehe <m.othacehe@gmail.com>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu installer hostname)
  #:export (hostname->configuration))

(define (hostname->configuration hostname)
  `((host-name ,hostname)))
cm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 Josselin Poiret 2024-08-31gnu: agda: Fix build....* gnu/packages/agda.scm (agda)[arguments]: Don't refer to nonexistent 'compile' phase. Change-Id: Ibc9aa38a31c22c9be3a3997882e62129a47938a3 宋文武 2023-11-14gnu: agda-1lab: Update to 549fdb1c948a975e90e70f871993a4a4239aa280....* gnu/packages/agda.scm (agda-1lab): Update to 549fdb1c948a975e90e70f871993a4a4239aa280. Change-Id: Iad77350fea5a6378e836cbd18c1f4a51bd5a5f0e Josselin Poiret 2023-11-14gnu: agda-cubical: Update to 0.6....* gnu/packages/agda.scm (agda-cubical): Update to 0.6. Change-Id: I1d6edc44755260e505985fb974c632ec6fff2b49 Josselin Poiret 2023-11-14gnu: agda-categories: Adapt to agda-stdlib 1.7.3....* gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch: New patch. * gnu/packages/agda.scm (agda-categories)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I25f16d55f14465a1dae882fd8ec47a95f8598e5c Josselin Poiret 2023-11-14gnu: agda-stdlib: Update to 1.7.3....* gnu/packages/agda.scm (agda-stdlib): Update to 1.7.3. Change-Id: Ic941073814a6a2150d470fc05218dc8d19954445 Josselin Poiret 2023-11-14gnu: agda: Update to 2.6.4....* gnu/packages/agda.scm (agda): Update to 2.6.4. Also build with optimizations and cluster counting support. * gnu/packages/patches/agda-use-sphinx-5.patch: New patch. * gnu/local.mk (dist_patch_DATA): Register it. Change-Id: I98a66678ec401b9201d9fd3a0f606fff9767b4bc Josselin Poiret