diff options
author | Nick Cao <nickcao@nichi.co> | 2023-07-24 20:34:51 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-07-24 20:34:51 -0600 |
commit | 0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25 (patch) | |
tree | 9e2c1330fa4e3b6b170447fa978680a732477830 /pkgs/development/coq-modules | |
parent | 9ae366f1792b26c35a07dcafc6ff1ada7d818fad (diff) | |
parent | 2e35954cd0a47ce0d34ba0f9224f239ceda7cba7 (diff) | |
download | nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.tar nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.tar.gz nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.tar.bz2 nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.tar.lz nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.tar.xz nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.tar.zst nixpkgs-0d2cf999e55c6dea6c5fb46c23c7dc00e65eff25.zip |
Merge pull request #245267 from figsoda/runme
runme: 1.5.2 -> 1.6.0
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions