From 0232b38c831390d377ee03f35348ff2c7175c2dd Mon Sep 17 00:00:00 2001 From: Gregory Malecha Date: Sun, 10 Nov 2024 19:51:46 -0500 Subject: [PATCH 1/2] Change BedRock Systems to BlueRock Security. --- files/bedrocklogo.gif | Bin 6721 -> 0 bytes files/bluerock-logo.png | Bin 0 -> 15122 bytes pages/consortium.html | 2 +- pages/coq-team.html | 2 +- 4 files changed, 2 insertions(+), 2 deletions(-) delete mode 100644 files/bedrocklogo.gif create mode 100644 files/bluerock-logo.png diff --git a/files/bedrocklogo.gif b/files/bedrocklogo.gif deleted file mode 100644 index 376187bf906d26b17fcb03f668e8b16302c481ae..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 6721 zcmbuEcQjnl7w?BiGWr<31fzy%qYDwPF=li^)DX-dY7o&0W`aZ+C0e3)5u$~ti4v0_ zI?;7}2^mR3;DcC4LAP_Ygg)jtx zuD~wiMevnNUw<}farv0k*EUkuc&rU_zW8VVJ^qvV-}(QZ{-5Ok7XGL7-`@NS=)dh6 z4d^;8h!X&b+JWr1{@0?H0J9_r@#cM#SXpgj9u)o79RQhHQP)ma~ zH_y{Nx#Qb3vOVBnzW=Ym#Nz(b>P<$sD}kW@w?2>x&I8LigdzF(9&*_t0Mh?!I4_q? z3+LJS7Ib8y+$!Kv zWY~3F{5;WhCf*pvK^dhOZt5^FaCUQ_@*PyQjs3SnpL40Ko`;>o;`v!isvzw0RPx`( zV{lI%m?jB|FTyF{Z7U0tKZceR+&+9!-fRgJ#Ry_r|9p$0Q-d{5&}Xzj;BD&*A35Dy zI$x#5H?B?gz9ghnF4Va*@#RyRRHzW+AN<-4QW{xESv_-H%_O~Zr|K+lyVXru=={Y{WC39TX6uuKH}baPvPV9p$B8Rvf3{WT z{Qxuw`%?oraATZ7OzWAM9LeB`^E8Gch0Yl^eQXS-<2hA!d`H^cIS02D&+oRv6U1@? z&C>+XJ58E`Xg~j4Y=dUHJ2ts!){Z&LO(Lx`!(g<{2B(T*X{LZJ3#w*z%sF=a@RYIm zXinQrwZL~bn5%w3Xm7wKfR_q5)*BOn$A$|>9-lD&nsW)sDOQbYDoLXBHniic6()Bn zY`v%8*ZL)Erqq4YMfvH@o+zfn?XY7M96_++wKaHnYDjT>F?`jNk-r^3Izju@$=9eI z)9GOT$=a#(k(S3<$JEy&+3|>Ls;yD*)X+MqHdwxoq61Tyl@o`Q_3xxO%?k;1B+~Hg zPr0NT%wYMUWm`wrPvSm9ZVTno5AaLEw+hIxq21w^!B1WHSd&6yJYyO!O5zC zI9u7odg6|&c#NDixr+@>9hDNm6lRL+_RLxR=@%v5igeIJN4g<-8wg=R>%XRbk`;5W zUAcdh^DqKw>x!M0Bd!R4@xB{KzS1C&UR$}|DZCgus%FAoaibk#$U+^1Vqer(+R0}q(9cTKtl|7?N=<7ksq%Y(Ms_$z(Dbite3Ar z9Ya-s?-gX55O>a3xe=ve%D3d~?+B3!T6Y^4qa!#8eLiLQtVV`hP8B_79>g6Z95bnL zR+Lx+D}*|}ZGGONj1cC>FZ`Aep~~y&9ijvz`8#q@+;zmEFO+gXCu8 zq8yKfG0W{3&gneD)4u?NOdJo{asji83Wz7h%#T`@cJBKiE8c}M+-z$r7J+(91{8*1 z6CmE19C<|ry+a2*$5l44XR89+!uh`!_KKXDR~oFA8=Ez0XF1oHlcPzIz|e1hk8Z;Ty)|68Q|G~^g(gj z)IOVYy?pg|I zO;uUWbKK$1FA!r%RYSS&oD|EA^yz-+W`a69q$R^Jr_S_v1~5#=fh&*Qb+C&~lwY5c zr0U6QoqG;0%Cgp*(nISelUFIx2Ws4ubdswMbogO^7`BTp9KUw!^&?0#gj=ibc6>V$ zomSS^-Fg=ykQ>4Spg29vb%29 zkU_8-xwx9j8d(1;4R|7i_y~v(GoWU&-@V&^la%!(}FuW{3z}f zAj|~;)HK*%6xqDEI7dIT$%~EhE5#LNcyf;v*wD~ zi>pVg9DXr>WfHzxRS5fK)391_-9$6n-e&wExBHj_(2N6~CFMxc8-`Ijdp!t2ee~z3 z{8*STDia_g^^nd`!;6x&=IZxJ&Q>7((_4s4Jd;;W_;*azml&nm{b&<3-w@4#p~=)B z4tFT{W)SydiT>=-;l?0-INkxK$#d1m&Tm`#Ce>1badTa*8}zwSiUxh#&B5_C}Q(A86Q^Wa_yoj4bV|o@YvM zevb8?h8?x?yQ~#}fz^liVS#IJuT9sk;VD>YUH$0{(|a-L;?JBU?nx{oG1S4G!~#g6 ziA6u&^n``Qtdy`b&SQnU$rhh(f-1I1EZBN4-48Y+j#6r_yqj+VlH3R3KTSNFrz*?r z$pP~X%=K`>{kq$T*3Ucau2v6c6!{w_nQ z*G^JZO@aoB{)ny$%i!r(>kB(mzmtjUXyDfyWoC2U%bYk0E?RZEp~wKe&VylsHOD>^ zgyEfG%~1w>-=_5O(wjJmmSqdvY>KEaG(nze&{~1OM%zs~BelS`rcOc5YRw=FY}cMh z;~B2Gzt0Ko!`Q>#xc_B>9R-h~DbV^d+eDl+PX|D(*Lq;zUpls$kH^(lBhnXEu^zHK zJeZIf=ZRNV$F$M1)B&$J%?46XP-Zc<1hjSpA z1zS91GKa=~jE0Y1)@0Crp1O8ciKjNIk9+kp4Q#`du+p$e>b9~^U9!=BU4tL6m!6n}i3QSXBoV3irxU?#KR6(HpWBex~{ z=IxGPFWi9Iv51sb9T6?(pR+t3%K0oE`2MjHvs4HdPhBBni;l9@4aHSS%3~i4e zZ+*YM6m6gfWcI;j-~fHX3Vn+izJ}5MBU}fpuS2Wx>RBCc+3W<>)Q#Em*ctSolsWfP zUzwanm!K`RkkJ}u*!AD1gE0ggCUT(vFD_}8^6B%C7-qxyZ)CDpI`SqgxqpW~yG4=M zZkRV0@D9?5qd!o|-=IXC|0VI`Y`hL@_Ie+31osil$Hl3;XHZ7b7U|jcYT3R0WCY%R z@u7W@YyB%jM2e;Ca$U`5@ng%1!_K990p2tLJ`}Lf>J_WgUURYRH zCcWR;X^Pb2@}2_(|2!RyPos=_+)U?7Qzcv_O}#5UG*!=XGH@KII7C6RJ&9dw4A|KU zfkpR-~5pW3KuGQ<#Kg9s$k8iC=sPt)eKy zVTymg)=5E)*P-8i3vdGu1KBCk0*62i(w;tddrl8^Lj;ZD_(4umKEKWK;lo0T%edsm zp0^4(zZDC~g-a$v3TQ)sDt_{`+u8&HzRsAViNosA{1SB~Iuv-jpf~R6^2~!zL=gbQ z^%FPzISi+L-Y*R!s&aKtC3n>OFY(Mamx^&+Z5x3$cQ@HP75z}(96A@2W z1Z=i&93O4pP42wH0RV+Q-#x)4yU#Sh4NPfJlDD=tf7F(7pm#}TAIj?+?RaVM`!hr5 zbAnFY8~P|t5hRM^swMF3QG4)nR|Ma1bXhvY?`w4}@XR{}>CR|yzIuf>>kYYI+}@lT zaklPIm@mh=*c|oZ>`l{>^Qy?;L3mNP6q2Jy>?!Uwm}1vpdk%vkZ{Hh;%bWg31NABkFru z=ziUQ{z!$MR1{3~#Ye};Gvw~T>j)BaBK=5IDuSdAa+8(#=(U4?R-~0f3(zR#r@`d# zq5N#5=u55XJk9G6Upm92&yqMJGmL)@0kR&s)pGwnu|o66o5!-vs;HPjSoJQ5IDUKH z#K#u5Zl?>gF_27@Vlb5X*ohDG6O!PA?9>yDAuRkhgD+=1kacxWU*Q)0cjB zxM_Fv>~o0O+sfJ6+s#}=F_9S;&>MM(+`PERaLo_%3{H@|rb4EA_XI+mO>mGBL z<=<)v$~a^S`=i&FwY2G_OKqyq(@r#1Rv{wy&nwfbmAPmlemf=mzgh7Pjk8|b@(Kc$ z9%7WZxXC7zVfR?m+OC5`4^@Z^$if{GAUg;mnH*md_zdDGj*GUz-2R8r!qiyP!f7F- z8&QN8@fTLzM5TX#HLj`UJSQb)EAWhX_rjI2_!_LA9k$4Zd_%ff!A<6`h_kfC=qjs# zYczmkmb8?A4H5}r$fcz#IF$hYjxOTqzc#J7AJL}{B>y-EKm^G&ds#gZ=;$U!|Eq5O zTjXq-Y_V?U_xg=XonVIu`mlSs8{0K z8CY&I+|*T=pA23k9z=dgeWV0(u~ZRB|H;2%uR`=kgvDT{Q* zD-7xI;D&5edzH5Dt!i4H+}jIKLjl*)^jm1%_J(#8!Rxh%fve}r_xtm{*OM3*&4E%4 zUVmrzvEFvcba`5E^9`UXGsoB{d1!7*Zi!DyiasmqgO-~A1@7v^uR?>;TWJ6D079dy zAw4NHE$bE7lMyze_o`Vd&wKHaFmU!l1@v4_1BDebQXPWq7-OxFAnpB-+|aOX>6J9d4Zt+$!e&y6uI5Ruf9Z)tTpw+uYoB`@ zVdAG^d-K$vx&`qyRslG2T0WsUxKi?|+xbmufT|*LnAi7Cw8QTJ6m_;*Uh72k(7Y4i z#FwfdlfDqzaF^GFOy&0euLUcRALqFfk4(as>7&TYp_dRamC&NQxEPlbPdoJwiVO2nA0tIw$VBYZ4=FKkQh4lwYLBsSaJlKV8mEO8eF3P(?=3-jf_%J=VfF3zFz(6m?fVphl6UNx%937ZK+$^F z*#3yBSpt|9t@3595WSG$4E~xkk*a-UUIkxA;GnXQpdpua`$*$|HFL7>9! z2sUCd9?G0$+BX!_g8QpeK7jY(Q|#R@lKJwFweG}WBC*XL$kAD~@rcTZ3Ns7FW;5x8 z)JeDLKvb0oj23rT7IO^>r5@kA>iRt1`{+Hmq}n03HofIl1XZ*SKJ(3Ovt)>OHs9+A zLeuXjk~PN2(fRhDv?GNGB0u}s)3`<);bm7-5xwEeBS~5q-11-=Ud73kTvUEaThdc8 zlX&wO?1vI#EK3iCY)+rbJcsNpQ`7_@?=QA1pZHi>4QM4kvu|pvwexsnlo?8>4{()E zg2*mLia&8i-v6bhz>tIWMQ^;fmN(458Xgqx=lj_t%i)!}0}q0+^qE0lSr@i6x9Ma% zxVK1ORmi4-fC&~l7phg$7+mmXV2<_bStz;uR^}wNt90A)C$2;ifMoEo`$O&}v9K*;ctC{clEH;(NpPXY( zN5`bR(RJ6G(_m76lEY9Wn(hbdclxzw$qZ@s#cJep2Zi%{&04ilRbJ`rx+t$>L){g<)(i}E0_l%|oqDE-fYYWtV!jv*{uI+0Wn zO$+{Hup(gz!BB!Iyec8YD*wyZ7>QjA)!EoSb%w**#DRgP=#LtX1#^i;aYcr!zG6ZJ zhi)gPlj0S^2bmPr4$ZY_vXPnZx29s7efrC92eh&+3q+T(x0X`sO9@P*I2|b+$F8f4 zh;6xF?g1&|{~5Pd0Pe^S{_|S~^%Wm1}ss&aO@J7(V+oyh=w|jG^**_A8cgVJ_jj zG49rGy{_@i}xr0)g-(X*cZ$Uq;{E&(6O+%z95g9^L2=79>O^}T2JK%n9n`a^Rn z5D0>PeE*)d7unL7q3dYtQ0tmC8?l`b513(Nm>GFZ&Oz)l-Me8QB_C&k=z4h#MB(IyL5k@F5)|61rN zp{N?co}rgy-D*+kSd-J~gFx3}%+T5gl#me`ud{kPc@xYQ=8HD%ra&6BU70)^lg}1_ zm04O@sN@fw-%9Yi`tS2&N@z7F1+wp*60vYr5>|5fXaZ~Sm&!RBge&`f_?6}|PP)gk{sp+VHAorCyj5So(bAn+_LLERZT1F@|U=5^-PGd#EH z0g!m+Ifv39^q`i10|XE$P*wq2sIH%bjEGF?=lv}0e{x14NQ?$y0a-!@^wTGB%{lxV zwUILfd8t*YO~~Eu7CRZ!8T`Ym1lsws2F!#zBou7Q5coy--+0cHAxLH#cf?P|hcm4H zm3Dw`00p6plMowfn2)dQRaH92yIrz7I|A||Kt*OiLe>(7p^Y4Vs z%xMsXZo?D(PAZRj7KQo6{)#CmjE_(q83t)s=m+G%Z+gVMEN3dua)vhS3ZeSjV^gM; zSO&bSGR)wp@S(_C#?z*o+)Z7guzja+&wLIt^#y~YEY*o36Z+GpASyn>P{OlMhwtiT zGHR&u_y#T=`%=vn(|zdOMR!n~ z(QyL%ulmn4Jm`EpH^~psnB)!YUERtO6mDhiPmh<=ZwfMXnffGg-lQ_cI=$ZG<<=8h z+P`Z+_ND~kG6griVZMDsTi_$5Mu`m1i%*gi6PO06|8Jo@78WK9UGEv1g--50Jjq*5 zQ^y(6wv{Lmp9T(SA+h7%BE$|}MkrbTV;|pRD@tetu+Bs#|ATG$ZN>RrqDU{-yK=;Q zOo6mbN6l^JnWc_gpSDi7k39|LMu~a>Kx@9mtXs*!94ua-x&HN) zd&f!o%`@k)xHZ$`d@{U2r|wN9SC2`4>fJ{BmwS!xWPtsPVaxHl$W&c}Cw|5Mv*Kc2 z7kuS6MH}te{H5tQN%7+v6SFl_$1%rRW6!h8#uZP3yQ&NbmH3}~8c&oODNZ}eXe66i z+Xi=4^!M1DINH=6*i~h0Zmmiz9l1wZM=Q0#zu1YwzZme4^PKi>OrK>y!1fRD4XfBh z@SMX(%jFaqvTmbb*zl92i2Hw05`M}x!BRRA2miS>&IB&=kt0+8aq!iYG=aZo$k>ET z9W$}jZr>Q&>RclCud#4S0BDqLO*I$u!>+)wezNlomjhm6XH?=4G;Co12A^A|t$T?M zVPXQLh`(&d{i!mGP-@GNO?-6nz%)&lYRRck$-0`==HMSGRnB@il}w2YS@QI;9rj=t z%&(~8^z;L@cLg+c^(JLA3OY1yyxgsX)t!Tc2AUI$o_TJ5_=`Nzw$d!3|J`&lc!_uZ z`%Le2QgA01tBfg+@C402m1w*&#zkVD%P}tmwd(3g9?3-~?Ec-h%$^rAB5ZQdw$VXE zJuYF}zgtew1208F)_>^{+T`iLmTwZlQ0=Pxk;W^?zuJ89RHa{7oJY{OyY?@5%F~UT zS)(wAIeJS}Iq1t3V&O~aK!>2G1>vebDw%Pz6T&ve5lRAqlyZ$a%Sy^#Hgi+wTV&V3ffAs zt+s|xp}0Z`vi(S>et2tF3l|gmL3=;WV6Wk^p;!fLEH$T^7CnO1uXJtA^dc{`$pJnO zx@n49OKXcDDg2yY4_Mou-hhLc+wxkYDDE?a3ZP$nGDO8Xsg@L*uW#qS^eCUa^!oce(b$hb*gg(8Wn|Rz2aeC&W!8!Y? zLlI?e5J3keK9{n5xkz$cA`R4-p*FMCa#w&9WhS7$LJhITIM)eqtjZb6LryAby@D?2 zNp<@W#u-z8p#EroR<+E<_XvYzj8L7vt!(R{#;i0^3Z$CMr6!okG}Y<$7}P5hRab(d zl1s?#B@2?({&L@ zw+;-J3k1V*rt=`?=svwQS)El- zK)fs?WREo7N2!w<-}6_6@-ht;P+j2`^eNQn{kx z80YcWLqOAAiINIA(rUWb^W8yw*UOWc+4V})3f$SxH^CsY=iT#>CniNs;n~yu-igtu7U=I8{49gexQ?d41*>pnY~ z%eN+F=O-8yJG)ou$$2u_?y|TD@vEH;NIf9FiUq|xxLN#;PzLOPH9`k`i`i?m&lAJz zA!0bc(0Tl{!N=&%D-ZEQi}WBg3mH?aFuH1rQ3nEw0HO3RtdJqgtX0??7C|2w%25c4a$!fHV1svq<0&dfYsQOO}MFFzPeNaX5 zyRet=^Cj_4FpQiAF-w&05sx|O%M9+iOYa5WU-J{?P0iWUJ5yPJ%Ox+|mcPq8DW6U{ z^ICbb8+H40RA)lrGW|C`Ldsyupb{~sDB^aD+89YSS^16uQoYx&w_&y9J_MLB#$aZY z)~%R%gchXnLF3UB}qNph{>5DAtrIh5taZV+$ z+kDcWeA>+bGUFYEf*L78xElUnoL`TfrSm$LITU zre@eZ1hqfOE(?#SiHfN}AsPtU#tv8z2+B`L*)(7ZZjQ^Q2%`<|GKZ_Etg7P?y$3_Q zlyb?YP=_}4&&x6L1tW)d6Q*^k;b2b2fDl(u`$J6GGJ~!QxTr6~_WZP#MNu9*$V}jT zOG#?$3Q?ty$D7szu*2Jq-tqT%UvH)1eI-SCJFs_zf6_avfoWyFxRu`^Ml{@}oV;U8 z6=EvbHJfV3#)~fo@jXMfnlENBrONZ7$~tUrff~CKxkzREmNX{mSROArcLx-vbR(g# z>hhk1dgI2V-$ZE$N5=re2x}D6B69jM_TnYbY8K40-E!x>>Y9GJ^>t7qEb$Vl_P{iA z<7i>`!q85VsI~V*^;5E#xv?(SK{l;({?G;%r|y8YhY6cl90LL%YeUwlSKxF8de zN&@x$dv=WW;l`>J4L@yZ5jtMf%I#+OwNqRkY4h zt&ScgG{_V--1m!aEm2NEYh1-e0>)P6K>mUlV!#ik9se*H3B}djeoRjkmZ(a1n zz(ExrU<^ViOhTTtx=KrOGT?3(y12Ypa?ho`d+5(fIhYe%B&L8M&yk3VyR1ux(M%`F zA-jguc+X*LTn%}PEOy{fT|?va%2B778A+a%w&e!nq8g{oV+9f=>8%-22wm4#dhU2D-KNi3_8cae?nc zMsA92Ft44QHLnmUo&#fRul*>B>zol9K0b)FbbvoF zkkUdOI)uAZ%1!lu;S#;r=R-(;75JYSH7GHUHRzI1LO(A5L1XDP_}Y+=2)asyIXPUa zzeA#D2tL0K`K_&h>G&oaJ2HE}k@cfiS^`<62bc&w05t)(<;KIbj%C3j57`1TD|+L# z%Wkj!Q?;Dg6Hds}9BOhvx$J(BYJWoGULhMr*4=$YFJpvBZRV0srai=(_SEd1m3pRN zl;;4mq=-~i9WufACA7{|#nZ)%{1OsQM&=igJPn$2@Y_%Wr9m1uoA_3jUvuG+z9HOz zN$o8Y#qdtk_g#@CQ{&Th{lZ?NjiDwV?wf5b{EvbhAh09B@{WZY9QO?xXDCh6T6d%> z;DhIzJ~ER)jd#Lcy{Ko!i9E^ct&TRf9QZ_CeIMCu+NUyFnwH2(KR8_qP4u#hR|1+trSA01??N(LZngMExjIKGh4h{i$+R4FzXW;p!Ym(D7VEjKWbSJUf zres!b2D7zXHLezK?mt$`Yc5mOqT8^}DbV~vEMy%_7$K~dU2IlJ>#Y)X$8T>HPCPvw zS4*(AC(ezwUiYqY>Vo`ii^wwUPrWLXxtn!#3zGz4RTz=12jWaG6C?bBJOR|&>J?4524MqW;P@=|LSzgx*`{}*&GUq2!21oHeX*9F5 z7K3AIor%r8vnyr9-dSCKfHkgq$y)Y)Z~QT9FWF1KSFmm@W^(l%GA2JHEwUqa@|qXi zt5icF{NDkVEH2k38j0%*_W`=L{vQa`mdjpQiMRDj{!+BbW5P-H$0pvCVr{JDu8Ufd zaa)1z@qe*j)XeMp%+qpl^ewi2MGc9jQ2-UQlIQ5H4LHz}g-qM^4e`_*B=_l1vc%B0 z4oCT6825GeZ1M|}@ymyd19L~uXUgkpc6Uw3MlV(H?XpHOY%WZ93u<@%0vB;&WAiT| zX(ALVHRf3o!zdKLP3$e+zkM;XuG^lQ=hN)X0kz^(2)Are*XNi`2M=`tf2_`hnNHAm zG;js#Zrc$KZ{-VBRg%@T=QB_lY);E?*UR?Yhawb{d4v@EE)~dW8*R%C)8$37IPCxHG;|IF(9}85pT?v^5MmL*|OvilugO)MD?@hH-2F6R?ALHq*B!BR zA{sDmFux|w;$t@m@;%{_M9hTAGqZ4Sy4hB z-4jR@RMod@SsW@=y^oTd&0k;>7|l!Q4lPENs`_AM0!C+ik-fPxHtgt*!oEw(l94Mt z`A7p>?L|pC&oM*OL&JmcWVb!-KQ3z4CP@E6Ti>BugcQK}CCJ}%PYBYo*iSusq12!a z+$(522n}O;g*CraV?j6bqE1{_V3;WPC~NAaia=eVyBi2|+m>yDUk56fwz2(1MVHqT zjBjLXJ~a6A*nAudli<}opn|djWZxj?&dFiTV(ico9#=8TmeftK_c&COK2Y<}Nkiqb zdw%*kn(qPrA?evlRzP<7pq#|n1!>_ur){5>37Ku+J=kA~Z`GWv|5_lErq^?zBmosU zBbc9Mj!z1H_i66y3oYP?385wL{MnE8(~y4L(StWl%C#3Gp!jl_el;UhFWaSYWwmUtJgDa_c16wM$iX4Bm z*DJc;Y3t_f5yd0&_Eh=gHQ8~;Se~7LR*4I%AcZ|9_j(fN5xBenyjL1-jCJR=2)1mo z>oG9v74*-F5Y%oS{rvWoDX>DuTxbB7PaS0-79Fo|VMIJdvW^4KM!x2XQ zgMzBf$UZi+Od6{^8WxRbfpMSv=20h(bAEW8TUJ*nCt$6}wTBcl_1afFWj`Oq(I1YFQ)q1g5F zR&P*4GrpFLc)R$Em|<^>jKiJr?T;tAg5w)@*=5f*K1!{(1$;Kf2iEQ;j~o&23cg_2 zu0L1QToO37J%=)o@Fjm zySz8WitzNm8e|XHfU~q96PG9oxw51zclJGF^CH%;&Yl)>Rw)pjr5H3tdF&|MN zf%CV+lPtT@<}#bM{^h1FAS_7eW}B1ajdtO6g9E(xM?5w7!^j~1`&w&kG<=UvmaX$p z=caM?(bxRnbo$u45qd=@$I+(rSvn@4X``i291hmBEtAd7qsy~R?PTwDeO6tIAR!`a zzx+8q!(Ih!--%Jq)YWfY3T8)@%34*>&Q*!=*uG==vEtdmZ}Nns!)#@@e#z!n_YV1%&K}8N#{RfY1S$TLD6Q)Z$@?igQ^OBy@c;VbBA&oj|tuEb4 z9Trle4hs1SGfP>`Q#^WwsuA+UHW??w1o2jYx@>6*;5DZQ0n6 z)r)6HBmpFjLa66A=#AQF^W3Hb^gh8Nx}UHBp-z3&U9?_*$d1#V8x2+?#D`F?X@tDe zjVb*Wh?C%-yf^Ph4VeYpYDz?Fa&ER<78Su*(HpZr@B+$@A>4NpZbX=RIN8F&4yZOT?xNByLOaFSYHt+2uC#sycJ>pETn{RKm zjn3aL?i$j(kzYRbLYzGM#}NmH!fif|A*oTB8(jsyes|*ML%KhACT+vJImH+(=)GDq z^qCYT!nogm(9g7NTXs`7kDemj3jQJfpYlq~$o^=>!NpW9aK3qIkm5ijSEEO6?DyBK ztPzRLH#p^ArYGqU9Uk}dY}bS`w%^@J)$%GPzqM;Q7;WIQ`he|HyKzF~S=r`a!X7!i5 zW=kn2LmAB2Q87U1!@=dyfA0(1h1)yLz@{;@y?_ zDmGz6#a`j$RA_i0!eLl^I759whqk@bz;X*_6L6!88kEzVUdkC2x5c`Ua|@B$PFsc4 zGQwUk8a@<~rG&CJkTFeC09-Ve#`Z9IGf{zV29GHgylxCPZmG%$?a32yM^H$o3Ne+& zYMm*DA0^~w_ofDq=Jgwe@~Ypx>C~nvC-pey2wy)TJ6ewD^f;hId#fvLX4bBkR}bqv z*B2+0kA1LP#mB-KH0~OAQ(ud?GmZO`fm|y?v&vCaP?*be@lfNh3b2wCs1(u6T613A z2LpsUDual79pq%3oV6UT5^(NA1yTbM^Kg7t`$|vK9l~A-TrZG4@kV(oOVm3*cjbJ& zdFF%Z;djQ8k=^h=u4+cKO|N~b{ttrNVtOYG2EUML;X*M0v(c;8AJZMAo{OS1J-MB!oP*CMh%0K>@B zQ9w8Z2ykg+QE)9qHD4jfa&5?)+0sn)4&*veLIY|?_Ag!7`5`yN6^orNA@)1PdtRryK}+3dvv5m~1K1GatcPCh(o?ZfF2u|2}Ye`_CR1H+*LaIjtugVC(%#uiRaF zsRb@5hc31wqGs7=^loBVuc*$rZs{$O81I2NAz9 zuhw3hOrZ*93^F1}3H?^d)=Jm(!!g#aJVozuHt30BhV$4SV)tT}^zdFH$)eZI-pjKI zw_fXj&8$4L)~x?*Z}>g`vb2L(yeietlXyk8MTpz^pCwuMco&=YH26EhVp?K_&1BO$ znD_6A4}Mr@GxbETUb+w@TOO&)0=GT3E{IhLmrigWhtsY6kjjYo9hx>&IzWu%?UL8F z*jN&gCZv342cm;xoXr%ezw=nP?`2YeYFs+BBH5wH=BtFJQH!o}iJb*;i9I>5y{Gpc=ZTmrmLKUqjd5kc0k zC?QH;l%?xWvhTRliB+bzUFuw1zA|9Mln~@yE>vlU*73@Nb1&lqBGjgaJhsQ!P3dn9 ztT3IBynJ$Yg`)5!pMWeE2C^6@0MD?+rfQ;QF{{ce`Ix-=aSWJ?{}=hJu3bN@pg&JR zYuv&(qDHu0wftIi|EcUp@~$Y(0AZ6zAQTQj^H^-&Z?)0r=5Jk@itm<#=Iwmwb$hQ_ z9=VgIZ(DC!tHV{k&LNy^=Xq#AQ@%bOz7%18pf)N|xL!W3GyW$k2FgKggu` z{f9nGM=jS9((+uGDNpxei_gvPbvwM?H;e7smU)rQowBhWk)F2#{96Wr`xRSWe2m&m zKxqe?{lO-FyR>ymaeFlJU{#4%Q;&SCkfDgpmPa%Mslu{48m>g$9;3Cpk*_6d!61l< zkLbyost?cvC`)@U)izlB!ahO2d?R~0+1FyO`m4_vvXH6UatU7)AA?!W;Fu+>W|X(a zw#^EcZT}Z0&s1KELu-MbWI`W6x@i#6Qh|+qLIOv7k9An*K>Cp`R~NLSlUY~cYN=ZL zMdAZ;P>$H&zZ#SEW~Q*My>9mRnKyHazUCwKf*nwY=?{_9I$jmhhYfl=u$ou0sBYUz zOUL|crMR|mN5^n^#PO{uh$H(mG4_f177k!n5Zj=VW7=%ndps;;rIoqiN0S5O#9f#J z4Y@>aG!Eu*0Z|Zt8Fj|G5yV7femU7SSy7o>8^pJ)4pkxdZW{}fTx9v~|&a;3LC>4iO0(jkwRkC{tmUi+j z+8a4-h3eKo3W}=xccltVh3;IKOA)@vX*aNf$q*3tQa-o9$-$5LqdgxHQn5WkFirwp zLiwe5N0M+9V`eS7K`m$BBB`6{2C3DJiP&-Q2nf!j1ROtWJPsDObfHOl4Cj5FAC(iu z(I!jD@@-M;mpC+RE5pNC`{e|E^4Ieb7U`87CbP^&tqZl{HQJHok;JfG_Jw2H!9Ppi zQrsAS8%7CRwaiM6Q@jSEts{P9-Ps%74$9PWZq$&5^qtjya%MGb6~l_&y>=suV+DAC zk>D+uw{f54Hdm?{QxLT)q?Sedtz9}>yk2?f6X)9((VO^1RTq^RV0^4KfU`8wXms4C4x`RJi1 ze!0o4-wlf9E7g+f?xJU8pZ{RhvekhWQw-f?MJ=~?~LyHekRUY*E(LKI*;4A`s;TWOjmb){a55kVSxORzK) zt3tj8E*ufkfrH6qWszbpZ};3>(P;bXunE(o@%(H;N)|@wfO$J;5r;x9g~;;hk6lRw ze95wKRFDPsC=nU${}ha_S~14%?sTjEDGn;u@+)Pmyg_)}WLM?&mB|a3+B$*ZEBM8B ztc41f9V+{)9r7_oGL-S$=keT874A4?3OvEr7NB}nNHB$6Xi#k?t5#B+;=93d%p!rE zm({*X|6!z-7l+VM!ERQx?2G!6^HEi%Xq2j(Dh4dN1QH!sai2Bjk z{+_wzurfl2mS;Hqh!g(xcf|Z)&l<7#jC695PR?;m7 zQ)OzHCi5tJ&tlXl-VwE16FpTyU7%*}jz^I8%!7x!)gDSaFiEbs*d6o@e*IF9^&njG zg$9lbAvfB=kL`a1*12f9?l?gOpxkIUK~)PS2Yw_jj2~E6Jb9pozXXjcx_)2pxnK_^ z7HY7#>d(0^yL`j`hv|~}PO_~@F=60~e?!=^L+TOYkGiXc8YwcArH0=4E%E0WBx)+U(waz|usq-mDardfY8!}fERx*zdd4~e7t*D3TXJv(bCUN3$RXaY zs#(6?NDw8Sd%Se)-|oyvDlB6!A?-X~N_GLS(Dp?-MVJIWV;r0;kET}|zgg#NgWXxl zh%oV7S#WjrI`9@OPk|&rccyM|e&`oe5a{k#0d5&D3hB}HvUR&rLp>g`gEv?1?F&6a$H7&`0YPQtPC zv(m(dEJ%4Sp&IsG=pq!p@+~mvqsrXq{On>;N?}vQGooXMAA`6H5bD*eSA8}(lDa)% zx;f<`ty7NRyqoOX(zPj}<*j;Pklwr%6Y6IKU-iopJE$T9+!lvwnG|MX_O~oA{DRNC zHdz>a=vl1O>@fiLwGl?y(~W;uNyuXDhh!1T?XWT!*`Z?l?ho}lk{4iCejAzH(+QGV=J!nQG zFN?#?i{h{(pJjrbs!IPVyqRu3Z#u=2#!R@dDa&KsHzvbURNUxRSkP5TOuTotq?i7K z7&8HD%scTKfuoTj3LbK9P@AE>K9g$0wg_Iq=Q}dDuO)*T%=EI>4D%_mO3M zM=4H^dp zHqf{ddI{1(FGkECwv}S6ZuBE1r)-!!{L}9TUK{`X%hqzI;WhEwRf6D8aWbZ0M$if5 zmh|LY{A@2#=DiL`j#-5?Yr#Y~-xP@{t46%%*2UhAfNfA)BkGQfR;(?JL><6)by4wlM8uiTs#7%4bREcsbzjqn9pt5q$IE_Ni~L?wT>Hg z^k#R!`5a^y9*_?d8 zQ~v3F?fp<_L`ryTkJ1yZ(}B-Vbxna=n9fxpxWf6r*38Fu9h43FL4imeD8tLF{&HtU zeUa8>CSrxDx7oO{0QjZs&2qc8r#tyDLc&sBoW7_*f?>HOjVHo#aL!=H$VD(^8U6jDTWPu1 zvdn!oZkGf^?)e)8GSF_%o5zBl{cp4EkR1*h<)5;=;t+)68{-*i@kZsAfOFYF*a)RH zJoSwYBGs%@fagcaTDso(L6$_9>V*C>&v}|w+J@say?$e6Wbi}hC&PrXsujuOfbZzd zdeu!ZF;{0aA1Nl;0Awu;(WDwg4VG}_FJ59i;HOvhR*#MwR^}6vWc=~v0x*|Jjk}u* zDK*#-A6|N@Sw;K6{TUQwJoF69 zq64W~T*% zt~h*T3TLeJc2~2n=Z5Mk($t=&B~;opSFI1oC#L>g!a0uNxVVQL6ug@ z=hiH#T$;enUZHW9MYak%>k{}Lu|VJcQ2q)1grV_r!v}n{>deYs_H8uWRwrc0-X+zP z50I!)3r`5?^YeMv2j_i)XRVv`Y27HxK3U8_Dq_%Y4WJ3;r5|IwxjV{p@{!N_WNYC1 z22oAEYWSzKW(VB?-Q^u616C27J43fM4akp{ado||9l@tsYRN=}6@5~CqHdX;X0o#i z`7`olbpFoy--K!tbSJYIaf&B3m@(?zI+h){FKWsmTiv8~=+g80T4(2Ri<_GHf>40u z^7V

ItZ;)k>gRTqM--d!@>0qJV|;Ro_@cdq0_6sqsr9?J2YO%n47yt_#;+N!|UD z9B3P8AGKoWvF6P<^$4@JHSFNWuMbADlfVnykQ?TvmZn2Hap&c81?Mvw8n3*TGU`9%fLHZPySr~U1fgouDLke z?QL)pcTAv;oZz`OAf~WK-+~ny93kr@qHafVxgBJP zDamuDeS6?_@R+Tf=@P_oaLx$oX5k86!EzK%=n|siZ6DP-k`#gbWokWe2zTZ+nB~<^ zy?<14<9LyxuelCJL%6^@YeNCY??gGHI5uUt>n9vD5Wr+Mf8GVNH?DoAL(lJ%W*}qp zu6kSUHQJ3W=Dh;k0P~qRQ~2h#?>+=E8CaYo=d4I1FjaJ zP#GE@1Oh3QX)JT6)kgAyS4WIMSX1Ed;}{%YCG}aD6Nt{9w&Rp){?`9Jp23+N{H+6F z&@*_Jvp@vRTcxwdRI7?@XU%4?zu-YkyJ!CSAoYKB`#mPajgvXWer_qebpnX=?k}7( zX74O&iDUYQwrdvXM=96%3^>tFi!VJ8W@rtvmiL>b4EhIyTW#w44a5xs$8P8&$P4>`a5l>S-Wc8gV0wnm;U9SWI>RabG=P)ol&IJ@hp$hgva_mx zrSRw};IaFibMkT*Ysa$Mm;qcn>jyUaInUlJ#m26OaJvmdk3Nafcsb|519N}wU-msE0ya<)Qc-uSfgdpEi$u*<{Pm1WP?*IGRTXM!-)qlhl+yb5f zF|UfS16B)AGHE&)PlWu@+O}eJ88|3Mle>DUYc^~J-4padX>9jjaDKT2`bA;?%7ufl)4IZYk5;G0bO*LwQaE;*6&)bcwmlVnXWxH!2W6aAOZgFR-U4I`~Y^pP}wZx{{cXAWv~DM literal 0 HcmV?d00001 diff --git a/pages/consortium.html b/pages/consortium.html index b45a53edd7..8917868790 100644 --- a/pages/consortium.html +++ b/pages/consortium.html @@ -67,7 +67,7 @@

Current members
Gold membership
- +
diff --git a/pages/coq-team.html b/pages/coq-team.html index 2660ddfac3..68fbc67309 100644 --- a/pages/coq-team.html +++ b/pages/coq-team.html @@ -320,7 +320,7 @@
Paolo G. Giarrusso
blaisorblade
-
Formal Methods Engineer at Bedrock Systems, Inc., Berlin, Germany
+
Formal Methods Engineer at BlueRock Security, Inc., Berlin, Germany
VsCoq
From 4cac2ce26a412d3d7cc5c8fa04aaa67625c55efc Mon Sep 17 00:00:00 2001 From: Gregory Malecha Date: Sun, 10 Nov 2024 19:52:15 -0500 Subject: [PATCH 2/2] The [width] attribute on [img] is supposed to be a number in pixels. It should not have a unit. --- pages/consortium.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pages/consortium.html b/pages/consortium.html index 8917868790..80c46c4e4a 100644 --- a/pages/consortium.html +++ b/pages/consortium.html @@ -67,8 +67,8 @@
Current members
Gold membership
- - + +