Commit 9f4701a5 authored by Wolfgang Meier's avatar Wolfgang Meier Committed by Vincent Laporte
Browse files

coqPackages.wasmcert: release 2.2.0

parent dba59e0c

pkgs/development/coq-modules/wasmcert/default.nix

+2 −1
Original line number Diff line number Diff line
@@ -32,11 +32,12 @@ mkCoqDerivation { 
    lib.switch

      [ coq.coq-version mathcomp-boot.version ]

      [

        (case (isEq "8.20") (isEq "2.4") "2.1.0")

        (case (isEq "8.20") (isEq "2.4") "2.2.0")

      ]

      null;



  release."2.1.0".sha256 = "sha256-k094mxDLLeelYP+ABm+dm6Y5YrachrbhNeZhfwLHNRo=";

  release."2.2.0".sha256 = "sha256-GsfNpXgCG6XGqDE+bekzwZsWIHyjDTzWRuNnjCtS/88=";



  mlPlugin = true;

  useDune = true;