gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rocqPackages.micromega-plugin: fix hash (#530228)

Browse Source
This commit is contained in:
Vincent Laporte
2026-06-16 08:31:26 +00:00
committed by GitHub
parent 3bf4f7ed26 e45516ba3b
commit f86ea5d660
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pkgs/development/rocq-modules/micromega-plugin/default.nix
+1 -1
View File
@@ -19,7 +19,7 @@ mkRocqDerivation {
] null;
release = {
"1.1.0".sha256 = "sha256-OszFXGLnm0rGAZVRCq/riQUK1DuhPyfv49GBePkQWAI=";
"1.1.0".hash = "sha256-CWMbGErC5bu20Yu9eskgslLkzmSof6klNlOYEkQjUjc=";
};
releaseRev = v: "v${v}";