diff options
Diffstat (limited to '.guix-channel')
| -rw-r--r-- | .guix-channel | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/.guix-channel b/.guix-channel index 0242f27..805b30a 100644 --- a/.guix-channel +++ b/.guix-channel @@ -5,9 +5,10 @@ (name guix-past) (url "https://gitlab.inria.fr/guix-hpc/guix-past") (introduction - (make-channel-introduction - "0c119db2ea86a389769f4d2b9c6f5c41c027e336" - (openpgp-fingerprint + (channel-introduction + (version 0) + (commit "0c119db2ea86a389769f4d2b9c6f5c41c027e336") + (signer "3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5")))) (channel (name guix) @@ -15,7 +16,8 @@ (branch "master") (commit "a4e9842a70775a54bbe1369881b739e7ea9a6432") (introduction - (make-channel-introduction - "9edb3f66fd807b096b48283debdcddccfea34bad" - (openpgp-fingerprint + (channel-introduction + (version 0) + (commit "9edb3f66fd807b096b48283debdcddccfea34bad") + (signer "BBB0 2DDF 2CEA F6A8 0D1D E643 A2A0 6DF2 A33A 54FA")))))) |