default.nix


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

let
  sources = import ./nix/sources.nix;
in

{ pkgs ? import sources.nixpkgs {}
, naersk ? pkgs.callPackage sources.naersk {}
, ... }:

rec {
  isabelle-rust-utils = import ./crates.nix {
    inherit pkgs naersk;
  };

  isabat = import ./isabat.nix {
    inherit pkgs isabelle-rust-utils;
  };
}