Commit 505e531e authored by Yiyu Zhou's avatar Yiyu Zhou
Browse files

fmt: fmt_11 -> fmt_12

parent 77ad38bf
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -7258,7 +7258,7 @@ with pkgs;
    fmt_12
    ;

  fmt = fmt_11;
  fmt = fmt_12;

  fplll = callPackage ../development/libraries/fplll { };
  fplll_20160331 = callPackage ../development/libraries/fplll/20160331.nix { };