diff options
| author | Ben Siraphob <bensiraphob@gmail.com> | 2021-07-18 00:57:39 +0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-18 00:57:39 +0700 |
| commit | a22cd1991064d383f96a786d915507d237e042a0 (patch) | |
| tree | 043941a499692c01c7a61cd6c268d169bdc51372 /pkgs/misc/vim-plugins/overrides.nix | |
| parent | e5b5d1b4c48e4872fb5b7620af32d4b0c888dcb4 (diff) | |
| parent | 492e12cd2d0a6d0f7c6f802dd208bb8613d6cb84 (diff) | |
| download | nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.tar nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.tar.gz nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.tar.bz2 nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.tar.lz nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.tar.xz nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.tar.zst nixpkgs-a22cd1991064d383f96a786d915507d237e042a0.zip | |
Merge pull request #130023 from siraben/hierarchy-builder-update
coqPackages.hierarchy-builder: 1.0.0 -> 1.1.0
Diffstat (limited to 'pkgs/misc/vim-plugins/overrides.nix')
0 files changed, 0 insertions, 0 deletions