diff options
| author | Yifei Sun <ysun@hey.com> | 2025-09-17 14:31:06 +0200 |
|---|---|---|
| committer | Yifei Sun <ysun@hey.com> | 2025-09-18 10:21:08 +0200 |
| commit | f289f9c97f51db6f6a5bb5e9a98f41dbb6e7b4b3 (patch) | |
| tree | 01f082bb561450714b1c8918c2fe7b68236249b9 /pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos | |
| parent | ceea8762bdec61b587cf35a04a853f7bc0609b8a (diff) | |
coqPackages.mkCoqDerivation: add support for release.<version>.hash
Per https://github.com/NixOS/nixpkgs/pull/436779 review comment.
This is the first step to support SRI hashes for Rocq packages.
Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
Diffstat (limited to 'pkgs/development/python-modules/python-openstackclient/git@git.tavy.me:nixos')
0 files changed, 0 insertions, 0 deletions