diff options
| -rw-r--r-- | .guix-channel | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/.guix-channel b/.guix-channel index f19d607..fce5365 100644 --- a/.guix-channel +++ b/.guix-channel @@ -1,6 +1,11 @@ (channel - (version 0) - (dependencies - (channel - (name guix-past) - (url "https://gitlab.inria.fr/guix-hpc/guix-past")))) + (version 0) + (dependencies + (channel + (name guix-past) + (url "https://gitlab.inria.fr/guix-hpc/guix-past") + (introduction + (make-channel-introduction + "0c119db2ea86a389769f4d2b9c6f5c41c027e336" + (openpgp-fingerprint + "3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5")))))) |