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