2020-04-08 18:36:58 +02:00
|
|
|
{ ... }:
|
2020-04-11 21:48:54 +02:00
|
|
|
let
|
2021-11-21 14:33:20 +01:00
|
|
|
imports = import ../../nix/sources.nix;
|
|
|
|
edoproPackage = import ./../applications/edopro.nix;
|
2020-07-16 10:39:15 +02:00
|
|
|
unstable = import imports.nixpkgs-unstable {
|
|
|
|
config.allowUnfree = true;
|
|
|
|
config.allowBroken = true;
|
|
|
|
};
|
2020-04-08 18:36:58 +02:00
|
|
|
in {
|
|
|
|
nixpkgs.overlays = [
|
|
|
|
(self: super:
|
|
|
|
with self; rec {
|
|
|
|
inherit imports;
|
2020-04-11 21:48:54 +02:00
|
|
|
inherit unstable;
|
|
|
|
|
2020-04-18 09:04:12 +02:00
|
|
|
inherit (import imports.niv { }) niv;
|
|
|
|
|
2020-04-08 18:36:58 +02:00
|
|
|
cached-nix-shell = callPackage imports.cached-nix-shell { };
|
2020-04-08 19:09:37 +02:00
|
|
|
easy-purescript-nix = callPackage imports.easy-purescript-nix { };
|
2020-10-07 10:51:04 +02:00
|
|
|
easy-dhall-nix = callPackage imports.easy-dhall-nix { };
|
2020-04-11 21:48:54 +02:00
|
|
|
|
2020-05-30 22:19:57 +02:00
|
|
|
# This is a derivation I made myself for edopro
|
|
|
|
edopro = callPackage edoproPackage { };
|
|
|
|
|
2020-04-18 09:04:12 +02:00
|
|
|
all-hies = import imports.all-hies { };
|
|
|
|
snack = (import imports.snack).snack-exe;
|
2020-04-12 12:45:29 +02:00
|
|
|
|
2020-04-18 09:04:12 +02:00
|
|
|
# unstable stuff
|
|
|
|
brave = unstable.brave;
|
2021-07-18 01:58:38 +02:00
|
|
|
idris2 = unstable.idris2;
|
2020-10-07 10:11:03 +02:00
|
|
|
ngrok = unstable.ngrok;
|
2020-04-20 15:44:24 +02:00
|
|
|
vscodium = unstable.vscodium;
|
2021-07-18 01:58:38 +02:00
|
|
|
vscode = unstable.vscode;
|
2020-10-30 12:37:31 +01:00
|
|
|
docker-compose = unstable.docker-compose;
|
2020-05-29 11:29:33 +02:00
|
|
|
deno = unstable.deno;
|
2021-07-18 01:58:38 +02:00
|
|
|
dotnet-sdk = unstable.dotnet-sdk_5;
|
2020-07-16 10:39:15 +02:00
|
|
|
elm-repl = unstable.haskellPackages.elm-repl;
|
2020-04-08 18:36:58 +02:00
|
|
|
})
|
|
|
|
];
|
|
|
|
}
|