summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorThiago Kenji Okada <thiagokokada@gmail.com>2021-12-01 10:55:23 -0300
committerGitHub <noreply@github.com>2021-12-01 10:55:23 -0300
commit1fbcb733eb9daf23ab9e70e58e76fa0b767dc033 (patch)
tree07ae5e9392aa9e2690bdab7e6ef6019b1e85e8da /pkgs/development/coq-modules
parent87960121f0f781fe92e4194a8e7593aab93ff4e6 (diff)
parentbd9ae0ab7b7613d9f636caa53c0f45a1193f8233 (diff)
downloadnixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.tar
nixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.tar.gz
nixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.tar.bz2
nixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.tar.lz
nixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.tar.xz
nixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.tar.zst
nixpkgs-1fbcb733eb9daf23ab9e70e58e76fa0b767dc033.zip
Merge pull request #148133 from SubhrajyotiSen/update-ktlint
ktlint: 0.43.0 -> 0.43.1
Diffstat (limited to 'pkgs/development/coq-modules')
0 files changed, 0 insertions, 0 deletions