mirror of
https://github.com/srid/nixos-config.git
synced 2026-02-03 19:48:24 +08:00
11 lines
345 B
Nix
11 lines
345 B
Nix
# https://github.com/claymager/idris2-pkgs
|
|
{ pkgs, ... }: {
|
|
nix.binaryCachePublicKeys = [
|
|
"cm-idris2-pkgs.cachix.org-1:YB2oJSEsD5oMJjAESxolC2GQtE6B5I6jkWhte2gtXjk="
|
|
"srid.cachix.org-1:MTQ6ksbfz3LBMmjyPh0PLmos+1x+CdtJxA/J2W+PQxI="
|
|
];
|
|
nix.binaryCaches = [
|
|
"https://cm-idris2-pkgs.cachix.org"
|
|
"https://srid.cachix.org"
|
|
];
|
|
}
|