CI: Bump QuantumLib to 1.6.0

Author: mizlan

flake.nix

@@ -15,7 +15,7 @@
       system = "x86_64-linux";
       pkgs = nixpkgs.legacyPackages.${system};
       pkgs-unstable = nixpkgs-unstable.legacyPackages.${system};
-      coq-quantumlib-version = "v1.4.0";
+      coq-quantumlib-version = "v1.6.0";
     in
     let
       coq-quantumlib = pkgs.coqPackages.mkCoqDerivation {
@@ -25,8 +25,8 @@
 
         defaultVersion = coq-quantumlib-version;
         release.${coq-quantumlib-version} = {
-          rev = "80018571961e13968bfd80ea9cb061d9469b0817";
-          sha256 = "sha256-mx74GxIwF6mgmrELmNl0l3GiBBf/WrpouHfszylhTYQ=";
+          rev = "5e0e4da5e64fcf9b4390a274748079ed270c1965";
+          sha256 = "sha256-eKKYWUj6zDh48J5mahOr+HwWULgfn3K/3TY3oFhhYJA=";
         };
         useDune = true;
       };