fix build

2017-06-02 09:28:08 +02:00 · 2017-06-02 09:28:08 +02:00 · dc4b8e95d3
commit dc4b8e95d3
parent 136974bff7
2 changed files with 2 additions and 2 deletions
--- a/common-sw.nix
+++ b/common-sw.nix
@ -70,7 +70,7 @@
    # toysolver
    stable.haskellPackages.tip-lib

-    emacsPackages.proofgeneral_HEAD
+    emacsPackages.proofgeneral

    stablePkgs # protect nixpkgs checkout from GC
  ] ++ (with aspellDicts; [ en de fr nl ]);
--- a/large-sw.nix
+++ b/large-sw.nix
@ -10,7 +10,7 @@
    inkscape
    jabref
    libreoffice
-    calibre
+    #calibre https://github.com/NixOS/nixpkgs/pull/26201
    vscode

    coq_8_6