Re-enable redstring with updated, working mypy version
This commit is contained in:
parent
60988d86d9
commit
de0ec2365a
|
@ -9,7 +9,7 @@
|
||||||
[ # Include the results of the hardware scan.
|
[ # Include the results of the hardware scan.
|
||||||
./hardware-configuration.nix
|
./hardware-configuration.nix
|
||||||
./amanuensis.nix
|
./amanuensis.nix
|
||||||
#./redstring.nix
|
./redstring.nix
|
||||||
./catacomb.nix
|
./catacomb.nix
|
||||||
./gitea.nix
|
./gitea.nix
|
||||||
];
|
];
|
||||||
|
|
|
@ -6,7 +6,7 @@ let
|
||||||
redstringSource = builtins.fetchGit {
|
redstringSource = builtins.fetchGit {
|
||||||
url = "https://git.alogoulogoi.com/Jaculabilis/redstring.git";
|
url = "https://git.alogoulogoi.com/Jaculabilis/redstring.git";
|
||||||
ref = "master";
|
ref = "master";
|
||||||
rev = "c49d21f6938322da2cd89b9f39bb285161d35272";
|
rev = "91dd353ad1d48118452a949b15e100b3035bf297";
|
||||||
};
|
};
|
||||||
redstring = pkgs.callPackage redstringSource {};
|
redstring = pkgs.callPackage redstringSource {};
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue