nix: Take HOL Light from nixpkgs-unstable instead of pinning it - #1433

nix: Take HOL Light from nixpkgs-unstable instead of pinning it#1433

mkannwischer merged 1 commit into

mainpq-code-package/mldsa-native:mainfrom

rv32-proof-followuppq-code-package/mldsa-native:rv32-proof-followupCopy head branch name to clipboard