Update proofgeneral.

2016-10-16 11:47:13 -04:00 · 2016-10-16 11:47:13 -04:00 · 1e4dfbfcf2
commit 1e4dfbfcf2
parent 55a9aae5b0
1 changed files with 1 additions and 1 deletions
--- a/common-sw.nix
+++ b/common-sw.nix
@ -67,7 +67,7 @@
    # toysolver
    stable.haskellPackages.tip-lib

-    emacsPackages.proofgeneral_4_3_pre
+    emacsPackages.proofgeneral

    stablePkgs # protect nixpkgs checkout from GC
    unstablePkgs