1 -----BEGIN PGP SIGNED MESSAGE-----
4 Starting results calculation at Tue Mar 5 10:11:35 2019
13 V: 2122 marga (casting vote)
14 Option W "`weak`: both directory schemes are allowed, but packages should only be built on hosts with classical directory schemes (or in such chroots)"
15 Option M "`middle`: both directory schemes are allowed, and packages (including official packages) can be built on hosts with either classical or "merged `/usr`" directory schemes"
16 Option H "`hard`: both directory schemes are allowed, but packages should only be built on hosts with "merged `/usr`" directory schemes (or in such chroots)"
17 Option F "Further Discussion"
19 In the following table, tally[row x][col y] represents the votes that
20 option x received over option y.
32 Looking at row 2, column 1, M
33 received 7 votes over W
35 Looking at row 1, column 2, W
36 received 0 votes over M.
38 Option W Reached quorum: 4 >= 2
39 Option M Reached quorum: 7 >= 2
40 Option H Reached quorum: 6 >= 2
43 Option W passes Majority. 2.000 (4/2) > 1
46 Option M defeats Option W by ( 7 - 0) = 7 votes.
47 Option H defeats Option W by ( 4 - 2) = 2 votes.
48 Option W defeats Option F by ( 4 - 2) = 2 votes.
49 Option M defeats Option H by ( 4 - 3) = 1 votes.
50 Option M defeats Option F by ( 7 - 0) = 7 votes.
51 Option H defeats Option F by ( 6 - 0) = 6 votes.
54 The Schwartz Set contains:
55 Option M "`middle`: both directory schemes are allowed, and packages (including official packages) can be built on hosts with either classical or "merged `/usr`" directory schemes"
59 - -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
60 - -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
63 Option M "`middle`: both directory schemes are allowed, and packages (including official packages) can be built on hosts with either classical or "merged `/usr`" directory schemes"
65 - -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
66 - -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=
68 -----BEGIN PGP SIGNATURE-----
70 iQGzBAEBCgAdFiEEe+WPIRpjNw1/GSB7i8+nHsoWNFUFAlx+S1cACgkQi8+nHsoW
71 NFXMAQv/TPbNKQq6UgUCdDHoCBnxDdvbTNR8WNPW1iSy+O4Z9lnX7S2l376FyZTd
72 p9urGsz8wrtK6e9pqh2DQKkoqFCyx97J8bv6tEVCzVrTL0iGwwSsBlKq3+Do4RZr
73 D+ZdJIVaQWKfXC9GOKXlYOGpSHP8HhHpK5Ibg7iwYc9pckw7jEmJDjtV9D6eKZsI
74 Wk/IszbA1vywULohbHPUfx4aX5rhpFmmBly5Ic6D2s9kEWp6lUrT1ARSr1eQKjOQ
75 04ykHslmQDYVQRBlrBisoNWBxY4kqrjsBTK/jOdNez9gz3Jr5s20phlJICMGnATo
76 mjyIUH6nYh00fsBIgOi5BY7bnKPyMredS4/0c0CqWYso3Gf5w3p7poOEvPp4qFnN
77 N4fCjK7vI4lr6tlMMl2vxkV0zvMYZetpzhl8dpdGvtFqmDtNHBAW8DNojZgG/hCV
78 U8HoxH0LpUS2k0XZ5D5XfVscXQrQHHlCXUY+ZkqD4ctxOQoiZt6RrBwebv7vo0rU
81 -----END PGP SIGNATURE-----