summary refs log tree commit diff
path: root/pkgs/build-support/coq/default.nix
diff options
context:
space:
mode:
authorDoron Behar <doron.behar@gmail.com>2021-03-10 15:17:58 +0000
committerGitHub <noreply@github.com>2021-03-10 15:17:58 +0000
commit7cad6e22eadbb016da5a29a284d40640f66f3c66 (patch)
treefc136ccc84760d931288f0cbf27e59e1b8e64684 /pkgs/build-support/coq/default.nix
parent1979284362af4d35bb602e2175b5986df778729d (diff)
parentfca1305251ae0723a3a2d20ede7580b256d74a42 (diff)
downloadnixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.tar
nixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.tar.gz
nixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.tar.bz2
nixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.tar.lz
nixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.tar.xz
nixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.tar.zst
nixpkgs-7cad6e22eadbb016da5a29a284d40640f66f3c66.zip
Merge pull request #115497 from r-ryantm/auto-update/qtutilities
libsForQt5.qtutilities: 6.3.0 -> 6.3.3
Diffstat (limited to 'pkgs/build-support/coq/default.nix')
0 files changed, 0 insertions, 0 deletions