;;; SPDX-License-Identifier: GPL-3.0-or-later
;;; SPDX-FileCopyrightText: 2026 Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; COPYRIGHT NOTICE
;;;
;;; Copyright 2026, Marek Paśnikowski <marek@marekpasnikowski.pl>

;;; LICENSE NOTICE
;;;
;;; This library 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.
;;;
;;; This library 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 this library.
;;; If not, see <https://www.gnu.org/licenses/>.

(define-module (deployment gexp)
  #:use-module (guix gexp))

(define-public aisaka-guix-key
  (mixed-text-file "aisaka-guix-key.pub"
                   "(public-key\n"
                   "  (ecc\n"
                   "    (curve Ed25519)\n"
                   "    (q #983CD313090D2699AD26AE5CB589A29F24A32E247A41EB4F4A22D196DFCD9D3C#)))"))

(define-public akashi-guix-key
  (mixed-text-file "akashi-guix-key.pub"
                   "(public-key\n"
                   "  (ecc\n"
                   "    (curve Ed25519)\n"
                   "    (q #A3E347D0D79D616C4379C844C1D67DFC9BFD4F2011D4070EB3DB7EFA66D6F3D2#)))"))

(define-public mcdowell-guix-key
  (mixed-text-file "mcdowell-guix-key.pub"
                   "(public-key\n"
                   "  (ecc\n"
                   "    (curve Ed25519)\n"
                   "    (q #FDA720ED167E05AB735182D887A450DCD534A85F2697DE421E49CA043FC01E4D#)))"))

(define-public rakan-guix-key
  (mixed-text-file "rakan-guix-key.pub"
                   "(public-key\n"
                   "  (ecc\n"
                   "    (curve Ed25519)\n"
                   "    (q #FDA720ED167E05AB735182D887A450DCD534A85F2697DE421E49CA043FC01E4D#)))"))