blob: 28053b18c77512c4cf640edb531e603006a74471 (
plain)
1
2
3
4
5
6
7
8
|
let
pkgs = import <nixpkgs> {};
sources = import ./nix/sources.nix;
naersk = pkgs.callPackage sources.naersk {};
in naersk.buildPackage {
name = "isabelle-unicode";
src = ./.;
}
|