diff options
author | Alyssa Ross <hi@alyssa.is> | 2019-09-08 00:28:31 +0000 |
---|---|---|
committer | Alyssa Ross <hi@alyssa.is> | 2019-09-16 22:10:24 +0000 |
commit | 61de0d63f56e82ffd13df33300bb68f3c7162cf0 (patch) | |
tree | 2d0ba10d49c29b6577a5ef7646257732738c66be /nixpkgs/pkgs/applications/science/logic/verifast/default.nix | |
parent | 74758dadc4f59292d199f4d1bd5770348dad043b (diff) | |
download | nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.tar nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.tar.gz nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.tar.bz2 nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.tar.lz nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.tar.xz nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.tar.zst nixlib-61de0d63f56e82ffd13df33300bb68f3c7162cf0.zip |
modules/gnupg: switch keyserver to Hagrid
Diffstat (limited to 'nixpkgs/pkgs/applications/science/logic/verifast/default.nix')
0 files changed, 0 insertions, 0 deletions