forked from model-checking/kani
-
Notifications
You must be signed in to change notification settings - Fork 0
/
kani-verifier-security.public.key
31 lines (30 loc) · 1.71 KB
/
kani-verifier-security.public.key
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
-----BEGIN PGP PUBLIC KEY BLOCK-----
Version: GnuPG v2.0.22 (GNU/Linux)
mQENBGJgjSQBCADGxrzSgt15n9FOOeQeYDhYRQPzF7haV4Pav71x0z9O1y2IlWVZ
x+IVT0biyXPQXiR0kOUpSkJhOg+KUm9QzS8TReSxp40RglYpLxZYt6jFUOdZuJPV
Bvxlrb/OG9ev+DSpOBBdp+oYOFacsEgtmGfEnelRr+725F8WdmmJMc6bm8xH2Ox1
9bPwwn6OSvo8Kp8ebN6bP0wYiq+ooaOw8Muk7zgIOxvpHgnyEpgmkfz4zoxMcRja
peU8IzawiAcBv9cYIrthl+q4G2UrlV9kHGOAwxKyKVnu9YU7jx683wSv8wYAIhht
dqYAYSfLsa4l9/jj45MmnuUHhvNqkUrqs5ahABEBAAG0Nkthbmkgc2VjdXJpdHkg
dGVhbSA8a2FuaS12ZXJpZmllci1zZWN1cml0eUBhbWF6b24uY29tPokBOQQTAQIA
IwUCYmCNJAIbAwcLCQgHAwIBBhUIAgkKCwQWAgMBAh4BAheAAAoJEKF/cGVJsPsV
vxUIAMa9IthQF3fGR5iQHLQgBwQXtSYuVe0yD0IA0tIuwYUo1YLO31ApxzAocXI2
VNVuPIhDI3GCQgR9hfN7phDzQlVHrPt/GKarloWdiMWLkUKl37AzgYdDtcpPHI0X
vZwj6Kk58fVzEenBTuk1silbwgj2xYrs0MP22aa8lxJ5SSreNNqx4CuFjfb+bkja
7EvtQJI/NELYjBXeQWME8pJR+u0s4+0CTlANwfQqUdzX50gKDYA3YbMQpxT1i1Ju
RLAX/ssDb6/0gauQSziptwlYYtRL5w6ybJnPCfOXIEMYco0cF8aSZdFKR0WmHf6f
vUOIYsPNIaYAiD/wlXZBt8DlwZC5AQ0EYmCNJAEIAL2NM0Jj10ppqNdF3Q4FYIEl
KTEyjjSRjgLJ7s05VQbM6ZV2Gh2zrMYTHmUMYk73GhRc4DwWp2hyzdeX4OOocGvO
+ti3BArQPhEZ0NhbTQVPD2zKKq45N5AF1r4ke4lfb7DYNkMEn9xJ9wnj/xeYYlHU
ZhZ3Ac5Y6Z8QbS6f77I65xn4Ui2OftA55JjTlD+IsmqQO+AVhcKfiD5jgAgFLYCI
LERgaNge2yhX+D6S7xTlJCrLpaFec/MgR+PhLXHiZCbV23eQbT3hqPFN5biBGWiT
bFaxLyME+Et+1YvY/Br63PREAT4g9i9jAMyasp6VHx/MQrVtBHHJRvMSlFleFd0A
EQEAAYkBHwQYAQIACQUCYmCNJAIbDAAKCRChf3BlSbD7Fap3CACO1h7eTAsLtsP2
ImzCkN8QJ0HjP/Pu66fgM3rRfxl6aoaeeu95sBf8V4WxjoqKOmwNGOe0obRKghAP
AXh4hwOri+1nr1JXKM2lXmbHP9GGYBtNvvLbWyDTBL50dZM74aAFNHLBHIIHL17U
kKM9WC8Yi+07zrDlcmZXRquAFrN6DR2K7xSkOcwFby0K1rPTUHQJIcGaqvc3j2YP
ZNMVg/ClLAJ456B2VAxbdaJK9RjY9aq3GapOb0Gshi1+48w/Lq2GHbgb3167VOFg
IOan2z2NfbCfasituHMyxTqgTawUR5hu2pV9l7w/Upiepp2TWbhzhgqPmrRMAn3s
YmMgsyBY
=kphk
-----END PGP PUBLIC KEY BLOCK-----