diff options
| -rw-r--r-- | home/home-minimal.nix | 4 | ||||
| -rw-r--r-- | npins/sources.json | 4 |
2 files changed, 3 insertions, 5 deletions
diff --git a/home/home-minimal.nix b/home/home-minimal.nix index ce984cf..98ba513 100644 --- a/home/home-minimal.nix +++ b/home/home-minimal.nix @@ -149,9 +149,7 @@ "isabelle" = { binary = true; - textconv = (pkgs.writeShellScript "isabelle2unicode-with-arg" '' - cat $1 | isabelle2unicode - '').outPath; + textconv = "isabelle2unicode"; }; }; diff --git a/npins/sources.json b/npins/sources.json index dc1a351..9d73330 100644 --- a/npins/sources.json +++ b/npins/sources.json @@ -126,9 +126,9 @@ }, "branch": "master", "submodules": false, - "revision": "e7427d5c67c0a90c369adecb4b0c65c043cb2e34", + "revision": "a44e60333135d9c10b1a0579693ea4c7a655fb05", "url": null, - "hash": "129pizyyvxg7lzgk9pqn48a7brhyh5fv7vwzrs7wnhkp30hrpjq2" + "hash": "1rksv96izbzcpg74lbix9lw3rxjcy1hs1f4kd8xf4nzclq439931" }, "lix": { "type": "Git", |