diff options
author | Ryan Mulligan <ryan@ryantm.com> | 2019-02-17 06:49:31 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-17 06:49:31 -0800 |
commit | a954ca52e5a2204e15bb7da67bfe8a7775e68d9b (patch) | |
tree | 963c5ed84ea4bf59576c18e7b9c9e76d173da138 /pkgs/top-level/coq-packages.nix | |
parent | f56693f25a89e4c7fc18623870b8e0922f91d7a7 (diff) | |
parent | 2b2854e5221a1e551c60f8b5f36870c4eb83b647 (diff) |
Merge pull request #55035 from uri-canva/bazel-deps
bazel-deps: 2018-11-01 -> 2019-02-01
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
0 files changed, 0 insertions, 0 deletions