diff options
| author | Aaron Jheng | 2024-07-09 11:40:26 +0800 |
|---|---|---|
| committer | Aaron Jheng | 2024-07-24 14:24:10 +0000 |
| commit | 16c1c57ea502c7445ed0f632aaa46c3a94723e83 (patch) | |
| tree | bb51553bc2a24f5b9fc6c5e6080bdbe0fe9db1b2 /pkgs/development/coq-modules/metacoq/default.nix | |
| parent | 2874fc48ccff3f513a05ba7af1f6e44bf44044af (diff) | |
pixi: 0.24.2 -> 0.26.1
Diffstat (limited to 'pkgs/development/coq-modules/metacoq/default.nix')
0 files changed, 0 insertions, 0 deletions