summary refs log tree commit diff
path: root/pkgs/development/coq-modules/ssreflect/default.nix
diff options
context:
space:
mode:
authorTim Steinbach <NeQuissimus@users.noreply.github.com>2017-11-07 17:12:15 +0000
committerGitHub <noreply@github.com>2017-11-07 17:12:15 +0000
commitcbd458a1b170053103fca04ec92c4c2bf8896023 (patch)
treef2bd3a96847dffef68ea87cdf96c19343024880e /pkgs/development/coq-modules/ssreflect/default.nix
parent5b84cdfd3c8d4c6fc87f57b562794e7c50c0f826 (diff)
parentd0c8c66068ffaa0bc10f4749c7e4d8df728fc9c3 (diff)
downloadnixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.tar
nixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.tar.gz
nixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.tar.bz2
nixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.tar.lz
nixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.tar.xz
nixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.tar.zst
nixlib-cbd458a1b170053103fca04ec92c4c2bf8896023.zip
Merge pull request #31365 from andir/fix-cvs-CVE-2017-12836
cvs: fix CVE-2017-12836
Diffstat (limited to 'pkgs/development/coq-modules/ssreflect/default.nix')
0 files changed, 0 insertions, 0 deletions