coqPackages.corn: 8.19 -> 8.20

Author: proux01

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

@@ -14,6 +14,10 @@
   defaultVersion =
     with lib.versions;
     lib.switch coq.coq-version [
+      {
+        case = (range "8.18" "8.20");
+        out = "8.20.0";
+      }
       {
         case = (range "8.17" "8.20");
         out = "8.19.0";
@@ -42,6 +46,7 @@
     "8.16.0".sha256 = "sha256-ZE/EEIndxHfo/9Me5NX4ZfcH0ZAQ4sRfZY7LRZfLXBQ=";
     "8.18.0".sha256 = "sha256-ow3mfarZ1PvBGf5WLnI8LdF3E+8A6fN7cOcXHrZJLo0=";
     "8.19.0".sha256 = "sha256-h5MlfRuv2hTbxGmpLUEGQO1YqQTwUNEHZzCfvdOU1TA=";
+    "8.20.0".sha256 = "sha256-tl68REU6xTbSOzhPucQPd9A3YnnaMNbSY8gl4Seyp10=";
   };
 
   configureScript = "./configure.sh";