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;
  };
}