• new proposal: free and and non-free installers with SC change

    From Holger Levsen@21:1/5 to All on Wed Sep 14 17:10:01 2022
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system determines
    that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)


    --
    cheers,
    Holger

    ⢀⣴⠾⠻⢶⣦⠀
    ⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org
    ⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C
    ⠈⠳⣄

    The wrong Amazon is burning.

    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCgAdFiEEuL9UE3sJ01zwJv6dCRq4VgaaqhwFAmMh7IoACgkQCRq4Vgaa qhyTrA//eJ0jKGXGexrHfs0l5yKALbZ7UaOVQQjviitRric0HcwSBE4YPxwEv7CU XtdewqQrNHFBYtYM7QFktzZGNkvIgcucrwuXYOS39ZTndC4DGzt4lKYHe8rMGyuG XAUwArZDb30mINzsbszML+1bwA9Wa+pDGCiyYS1fzyMY9Yeq+Wx+09F7whj+UzR7 ss/oG3WdLPSPRDvLEgVGbz7E9lv9Z5mqv6v3yRqAXkmOs53L7V6UjbPvXP+KbfJB cvEO9ccKLCDBX+KM2KjQbJKU1T1GWB7O3NllRN/b+XwamA4GJL7ujY91ODCOl2Bu aPEvZRfW4gkEHKDu6SkVV0F1N1yX4+LRpni8Rv3uwz5WPSHqGa6DioFICmnoOIhz byhDFFcBxyp0OaTHJPGbpZErkyp5GCD+ryeDxbqAKuJo64AORJoJg11CdbWhyXYQ bVezaJ568TrmR6CK+SxaYe2dcwBfkWi07FFskV5rqwkABsef0ScKMS8zadRZ+1Hy z1j5EPRqRDC+JalPlCy4GUmEq/LdIrLa84cO0OFHMkbsIvkgL7nRXCnFO4ZT99tJ Iq+wVFHQqjmh7T8ftOYfDLDsjUwEz5KupDAUu0PQZOKpFHG+8pD7Z2fFy68SlCho xlQlCZtTTXwHyMdAPT
  • From Steve McIntyre@21:1/5 to Holger Levsen on Wed Sep 14 17:20:01 2022
    On Wed, Sep 14, 2022 at 03:00:26PM +0000, Holger Levsen wrote:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)

    Seconded.

    --
    Steve McIntyre, Cambridge, UK. steve@einval.com “Changing random stuff until your program works is bad coding
    practice, but if you do it fast enough it’s Machine Learning.”
    -- https://twitter.com/manisha72617183

    -----BEGIN PGP SIGNATURE-----

    iQIzBAEBCAAdFiEEzrtSMB1hfpEDkP4WWHl5VzRCaE4FAmMh8F4ACgkQWHl5VzRC aE70LQ/+MobOVOVbAP5moT6fEiII5AushdMRmSWuwoUmf6GQmbNc97+Ai12NC4Il MynyDKuZVcHoN0d51Pndr/4wZhLPiz2kiLG4vz4+8szXUvqh+VC4MLI0bXyI9UK4 Qf9qJOa4I9InO76awlD70cuocuqMQWmKGMHW5v0PvMi5PGvaGZ825ch0qH84Hj47 e9Dvu7t+PqjucNQaUQE5gKflWsUj4bXpIN/m3OGFR4QfuvbMSXQycaBUDwDCexVF rSaOwEbkeJJf+qhG0/VxJ4FokZ/XAY5964Octt8kQC/Wv7Xvx+oTXL1d8W3POoGw uxloFOb+v5maVUA2q/OSGeKQ7uqIwk+0EgyHUOarRA1klByFIOXwklpxsOqnhmuj LIfn74BxFfkF98Vcq5FKnUbw/nMs5PRsh+YokdrCO4M2HkNS1TjN0U+nNy3V2FqO mgZOotEOp1dTJDrh/9xchupYNXGL0lxJWCypRs6xn032tka6NymnLcs5Vdt3e7Ql OGRxIxMn7gJs/g3EyIifL6EEkH4HLjKKXXhnDrzSxIasgnBBbUV/yRnbcc7ZU3WZ JKWZsaCQR42xN8Kc6k3T1IsfbGle/CDH6xjObUV8w2s6kp3BRU+8rk1CA/kpRXoe
    C
  • From Tiago Bortoletto Vaz@21:1/5 to Holger Levsen on Wed Sep 14 18:00:01 2022
    On Wed, Sep 14, 2022 at 03:00:26PM +0000, Holger Levsen wrote:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)


    --
    cheers,
    Holger

    ⢀⣴⠾⠻⢶⣦⠀
    ⣾⠁⢠⠒⠀⣿⡁ holger@(debian|reproducible-builds|layer-acht).org
    ⢿⡄⠘⠷⠚⠋⠀ OpenPGP: B8BF54137B09D35CF026FE9D 091AB856069AAA1C
    ⠈⠳⣄

    The wrong Amazon is burning.

    Seconded.

    Thanks Holger!

    --
    Tiago

    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCAAdFiEEYsAXsSqWkZu7etRd2EdHrOS2gT0FAmMh+iwACgkQ2EdHrOS2 gT2/sA//ZKwLxJnjXSdRKKMRglvvxoBi3JZh/Cp3UXe55NdS4d43CMw159VtTtpU BN3hs+iNWWOyqTsGerAVxnGjto3QLT1RxVD5X4Ym/nht0f3Yo2DSFt1NKgZmTMwH LjCp6T1x+AE+a462cbK2p17BBMgeHHkXKPvLoeDokINYPEoK+Rlsn4lmU79IMHjc yAg1c5EX+ER9LaFhJj+H6hvWFIfY0Yw/TJalC+FnLO0n5/Zjif29wlQ2qEncPWib EA6VbTOxNXr8iv5QSPWFay7LUwrt2DzibIxPG2lPD+p1/sIb7XN57Wa61MKBk9HT t3WR93u31Z30ltNSJsSPODMcUfoR/xi1vaqiLjIT8U4zjh4m1jmr71100dlhZHeh xyzxhY+WDf9sHnMn5K1OiLNztMu1twnWYevRC9Kr7MINqwbmcp1v6gadKwd4THwf sMtWow6T7fFaBeYFydFHy+xXcCVn6/36QKPo6XtHenGvhIzDjeGzZgC6qHkbFy9H 9eIMfOhzw7vEIZhTi1uOah6wokH4bi4ulyAnQAyI7pwaIg2hBn8lctaLJX3sbB5m FKoXlHsiyX5bHJmiDED7ZOscPWwnOo0rrQ4StVD0hI3rD4dasb7CRQTq4wIYhpxg T6oeynhl4en4H8d7tmqK3BepL9FOCIv9zHYK997zclirA53w4WA=
    =B7CN
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Timo =?utf-8?Q?R=C3=B6hling?=@21:1/5 to All on Wed Sep 14 18:00:01 2022
    * Holger Levsen <holger@layer-acht.org> [2022-09-14 15:00]:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)

    Seconded.


    Cheers
    Timo


    --
    ⢀⣴⠾⠻⢶⣦⠀ ╭────────────────────────────────────────────────────╮
    ⣾⠁⢠⠒⠀⣿⡁ │ Timo Röhling │
    ⢿⡄⠘⠷⠚⠋⠀ │ 9B03 EBB9 8300 DF97 C2B1 23BF CC8C 6BDD 1403 F4CA │
    ⠈⠳⣄⠀⠀⠀⠀ ╰────────────────────────────────────────────────────╯

    -----BEGIN PGP SIGNATURE-----

    iQGzBAEBCgAdFiEEJvtDgpxjkjCIVtam+C8H+466LVkFAmMh+KoACgkQ+C8H+466 LVnBjgwA19Xb+IKBIs9CDh/h6NF7w+/hcX0PPSAYMaA39BdPJNoXmdc8Fh/vnUZD +INzam0dw0QBzzqjJMSoitAgmvl9FD9XDwWpdvwX8/lqr1tI9GUdnrNN8IFo+yEg AlJILnpLfHe5hd6OpQIIrojy2R00sINl3kR9MdwejlV7i97hacaUTMa+My6gjyZP ISNKe07WBn6oyR5MchZzKPSyv+JpAIaJxSuXeOPuTBPgVW5g/TSU7Se4GC44TRpN Z2zmaSWeYPOJIGXTdEKI2gYe0yQtxRfDez3EsRNKVQTIqGJ/7jo8gfAoC2LrufBD FfPetHeKiRxX8TIUc6NJpaHb+pMnAqsrRw51a31Zg4J
  • From =?utf-8?Q?=C3=89tienne?= Mollier@21:1/5 to All on Wed Sep 14 19:30:01 2022
    Holger Levsen, on 2022-09-14:
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    Seconded.

    Have a nice day, :)
    --
    .''`. Étienne Mollier <emollier@debian.org>
    : :' : gpg: 8f91 b227 c7d6 f2b1 948c 8236 793c f67e 8f0d 11da
    `. `' sent from /dev/pts/4, please excuse my verbosity
    `- on air: Rick Wakeman - Preludes To A Millennium

    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCgAdFiEEj5GyJ8fW8rGUjII2eTz2fo8NEdoFAmMiD3UACgkQeTz2fo8N Edph0xAAjusrYbzaWZc17K7gqgE5LjUZ5VD20KlIrIA1tsQl+jw/BPWpNLcCRV2z 3/8u4T+fZ6hcr/yBJv68yQ5AhIIIfu6uFa0yXMQ9YVSijPLavGp4JF02gaSv5rBU R0aA2D8KsAZvWdYQM2372p0HJPBRCB5BS2RfkUwYQwDd8y/+e/2Ae6d0UQBMGvqk n8sZN7kzWBDSu2yxRssek7B9u+NChVyiTxsVm3Xe7ErV4O1CfHK8crN1oeejS3Cg Cg2dFq0wGHXqG0wI2QxIIrQR07m8BAGUErlVJb7sSLpn8yoIuFh3lRl8U04Xh/vm U9rCIXG5dF4IOzeNswEkBwGJyvRFHUj9wN9mVvuxYs+FztXLXSVCaaGieVpIJL5L Hmk2Zg4x/ErK9GhSU997XmgCnxnrexmHGeeLXjWZ086dAErsdzXVmjkbj8UMAOTA z+NyyYfZjtv0anZCL9pDytcxDX2/PP5HhNsQNimAbZ4ORUoX1AeJ0fAK5rXBMAFL 0WFTD+O+nkhbr0vtNzGorBJQQhAj9iIIZPGQTq2VN04SptRd6tjqtD2/OMl27Wxu ncPxKTgJnLL3pPseHfrPJQsbwriRg+IxG5v+xZIZHONoytlWUzWR2MBvMFsB/Txq 3WHL/g7Cle25Q1G8423Z2phFCQ
  • From Judit Foglszinger@21:1/5 to All on Thu Sep 15 01:25:05 2022
    On Wednesday, 14 September 2022 22:00:26 +07 Holger Levsen wrote:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)




    Seconded.
    I
    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCgAdFiEEeh+1J5uI1UvU9CMA9TaqcBEdVxYFAmMiHIEACgkQ9TaqcBEd VxY8KA/+NPtVYrR3rYjZsWakRfRlecWc8zS/Biv+hJEP68ocUjN3d0/Y5DC63oNx Zo+jQUd5BM2FR9ar8rvIrBmO30dbqar1He3OVVgPoz0rdp0tEWRip6+WkS9D+xJz 9eZL1+ljSvYJNfTDAU0FHMW9U5E5KIWBEx2rzbPYvfAI+2JbDExP6AIoYJWjOhsS bOJ2+nK8Il6FOyj4YM4ctXL/mE7q97T82Pmo1a22j1ccZwGhN8kSKnC6bHuXbka4 eLeiFTV5Frc+InhF1h7DpZyQvGLj+a5Zn++iiWtG/O/0vHGAxMy28Gyz2UgUNhl/ 7Wz04JEXCZYNkuCG1OFirE8BkHm/Gcx2zHoMlXuAm1WstrDKKqr7y0r/9dfHoMvC Blug4LEzCMNz/ifXXIhvEA+h9aimovTI43Rb9ssaZ6yMmLNkKohAfC4+n4328aWp r5K9cKAcBzd2WAsDE1MVHywDRUuWtKbcyhhNxzeZxmIGOdS8a+bXylRyHv/EgySw v3hwlXX/0ZBZczn7Moftzq+uL1Y8ZAuQKpzoUYsa4hmJAYLkGpfooo3jXOmKIm38 HpmcrLgrelfyk0UHnVij65mZ8Ql/FLefzCLQVMORX0G98DahN6JvnlKt0jgytd1G NroI+brgkn7Idw+bXJ6HOLRrP00ALEZwmzbs9axydHICFDsfb+k=
    =iw1i
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From =?UTF-8?Q?David_Pr=c3=a9vot?=@21:1/5 to Holger Levsen on Wed Sep 14 21:30:01 2022
    XPost: gmane.linux.debian.devel.vote
    To: debian-vote@lists.debian.org

    This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --------------6NBsNpcFJXqLHJ9u58hA6PWG
    Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: base64

    TGUgMTQvMDkvMjAyMiDDoCAxNzowMCwgSG9sZ2VyIExldnNlbiBhIMOpY3JpdMKgOg0KPiBo aSwNCj4gDQo+IEknbSBsb29raW5nIHNlY29uZHMgZm9yIHRoaXMgbmV3IHByb3Bvc2FsIGJl bG93LCB3aGljaCBpcyBsaWtlDQo+IHByb3Bvc2FsIEUgcGx1cyAqYWxzbyogb2ZmZXJpbmcg ZnJlZSBpbnN0YWxsZXIgaW1hZ2UuDQo+IA0KPiBSYXRpb25hbGU6IHdlIHNob3VsZCBrZWVw IHByb2R1Y2luZyBmdWxseSBmcmVlbHkgZGlzdHJpYnV0YWJsZQ0KPiBEZWJpYW4gaW5zdGFs bGVyIGltYWdlcywgZm9yIHRob3NlIGNhc2VzIHdlcmUgc29tZSBpbmNsdWRlZCBub24tZnJl ZQ0KPiBzdHVmZiBlbHNlIG1pZ2h0IGxpbWl0IGRpc3RyaWJ1dGlvbiwgZWcgdG8gSXJhbiBv ciBDdWJhIGV0YyBvcg0KPiBieSBpbXBvc2luZyBvdGhlciByZXN0cmljdGlvbnMuLi4hDQo+ IA0KPiANCj4gLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0NCj4gUHJvcG9zYWwgRg0KPiANCj4gVGhpcyBiYWxsb3Qgb3B0aW9uIHN1cGVy c2VkZXMgdGhlIERlYmlhbiBTb2NpYWwgQ29udHJhY3QgKGEgZm91bmRhdGlvbiBkb2N1bWVu dCkgdW5kZXIgcG9pbnQgNC4xLjUgb2YgdGhlIGNvbnN0aXR1dGlvbiBhbmQgdGh1cyByZXF1 aXJlcyBhIDM6MSBtYWpvcml0eS4NCj4gDQo+IFRoZSBEZWJpYW4gU29jaWFsIENvbnRyYWN0 IGlzIHJlcGxhY2VkIHdpdGggYSBuZXcgdmVyc2lvbiB0aGF0IGlzIGlkZW50aWNhbCB0byB0 aGUgY3VycmVudCB2ZXJzaW9uIGluIGFsbCByZXNwZWN0cyBleGNlcHQgdGhhdCBpdCBhZGRz IHRoZSBmb2xsb3dpbmcgc2VudGVuY2UgdG8gdGhlIGVuZCBvZiBwb2ludCA1Og0KPiANCj4g ICAgICBUaGUgRGViaWFuIG9mZmljaWFsIG1lZGlhIG1heSBpbmNsdWRlIGZpcm13YXJlIHRo YXQgaXMgb3RoZXJ3aXNlIG5vdA0KPiAgICAgIHBhcnQgb2YgdGhlIERlYmlhbiBzeXN0ZW0g dG8gZW5hYmxlIHVzZSBvZiBEZWJpYW4gd2l0aCBoYXJkd2FyZSB0aGF0DQo+ICAgICAgcmVx dWlyZXMgc3VjaCBmaXJtd2FyZS4NCj4gDQo+IFRoZSBEZWJpYW4gUHJvamVjdCBhbHNvIG1h a2VzIHRoZSBmb2xsb3dpbmcgc3RhdGVtZW50IG9uIGFuIGlzc3VlIG9mIHRoZSBkYXk6DQo+ IA0KPiBXZSB3aWxsIGluY2x1ZGUgbm9uLWZyZWUgZmlybXdhcmUgcGFja2FnZXMgZnJvbSB0 aGUgIm5vbi1mcmVlLWZpcm13YXJlIiBzZWN0aW9uIG9mIHRoZSBEZWJpYW4gYXJjaGl2ZSBv biBvdXIgb2ZmaWNpYWwgbWVkaWEgKGluc3RhbGxlciBpbWFnZXMgYW5kIGxpdmUgaW1hZ2Vz KS4gVGhlIGluY2x1ZGVkIGZpcm13YXJlIGJpbmFyaWVzIHdpbGwgbm9ybWFsbHkgYmUgZW5h YmxlZCBieSBkZWZhdWx0IHdoZXJlIHRoZSBzeXN0ZW0gZGV0ZXJtaW5lcyB0aGF0IHRoZXkg YXJlIHJlcXVpcmVkLCBidXQgd2hlcmUgcG9zc2libGUgd2Ugd2lsbCBpbmNsdWRlIHdheXMg Zm9yIHVzZXJzIHRvIGRpc2FibGUgdGhpcyBhdCBib290IChib290IG1lbnUgb3B0aW9uLCBr ZXJuZWwgY29tbWFuZCBsaW5lIGV0Yy4pLg0KPiANCj4gV2hlbiB0aGUgaW5zdGFsbGVyL2xp dmUgc3lzdGVtIGlzIHJ1bm5pbmcgd2Ugd2lsbCBwcm92aWRlIGluZm9ybWF0aW9uIHRvIHRo ZSB1c2VyIGFib3V0IHdoYXQgZmlybXdhcmUgaGFzIGJlZW4gbG9hZGVkIChib3RoIGZyZWUg YW5kIG5vbi1mcmVlKSwgYW5kIHdlIHdpbGwgYWxzbyBzdG9yZSB0aGF0IGluZm9ybWF0aW9u IG9uIHRoZSB0YXJnZXQgc3lzdGVtIHN1Y2ggdGhhdCB1c2VycyB3aWxsIGJlIGFibGUgdG8g ZmluZCBpdCBsYXRlci4gV2hlcmUgbm9uLWZyZWUgZmlybXdhcmUgaXMgZm91bmQgdG8gYmUg bmVjZXNzYXJ5LCB0aGUgdGFyZ2V0IHN5c3RlbSB3aWxsIGFsc28gYmUgY29uZmlndXJlZCB0 byB1c2UgdGhlIG5vbi1mcmVlLWZpcm13YXJlIGNvbXBvbmVudCBieSBkZWZhdWx0IGluIHRo ZSBhcHQgc291cmNlcy5saXN0IGZpbGUuIE91ciB1c2VycyBzaG91bGQgcmVjZWl2ZSBzZWN1 cml0eSB1cGRhdGVzIGFuZCBpbXBvcnRhbnQgZml4ZXMgdG8gZmlybXdhcmUgYmluYXJpZXMg anVzdCBsaWtlIGFueSBvdGhlciBpbnN0YWxsZWQgc29mdHdhcmUuDQo+IA0KPiBXZSB3aWxs IHB1Ymxpc2ggdGhlc2UgaW1hZ2VzIGFzIG9mZmljaWFsIERlYmlhbiBtZWRpYSwgYWxvbmdz aWRlIHRoZSBjdXJyZW50IG1lZGlhIHNldHMgdGhhdCBkbyBub3QgaW5jbHVkZSBub24tZnJl ZSBmaXJtd2FyZSBwYWNrYWdlcy4NCj4gDQo+IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0NCj4gDQo+IChUaGlzIGlzIGV4YWN0bHkg IlByb3Bvc2FsIEUiIGFzIGZvdW5kIG9uIGh0dHBzOi8vd3d3LmRlYmlhbi5vcmcvdm90ZS8y MDIyL3ZvdGVfMDAzDQo+IG5vdywgZXhjZXB0IHRoYXQgaW4gdGhlIHZlcnkgbGFzdCBzZW50 ZW5jZSB0aGUgd29yZCAicmVwbGFjaW5nIiBoYXMNCj4gYmVlbiByZXBsYWNlZCB3aXRoICJh bG9uZ3NpZGUiLikNCg0KU2Vjb25kZWQuDQoNCkRhdmlkDQoNCg==

    --------------6NBsNpcFJXqLHJ9u58hA6PWG--

    -----BEGIN PGP SIGNATURE-----

    wsB5BAABCAAjFiEEeHVNB7wJXHRI941mBYwc+UT2vTwFAmMiK1sFAwAAAAAACgkQBYwc+UT2vTzB TwgAjBSQ+k/gP97IKV+6siAwYK2/QiyFivTvWL6OInsChg15+Womt1QnonecZWHW+SfAYA8HpSY5 JmagOOWzxb2P3P7KVoDoqZq9E5ahPeGcI0Yodvw9Q5h56eh2Y4AcgZRnWRO1fOK6s1Kqcj0WvRa8 45oldevygLaMF3KxQaHLflBF/+epZEtS9ol5MhVI3/0HkcCXHfjKEOblg/xvWFA3z9x0DN7fH8A/ aRvLhAKIewr2Yz7Zd0VOtL9Lx1+3fqyLbyFHF7W5beoo7nP6pc8Ug4xy3SX9DP4xB1dqfvcQJfUr C38doNCfjtXMy9U+wcCinRdCmc4I2SeSesHMST8Bpg==
    =sD3o
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Tobias Frost@21:1/5 to Holger Levsen on Wed Sep 14 22:00:05 2022
    On Wed, Sep 14, 2022 at 03:00:26PM +0000, Holger Levsen wrote:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)


    Thanks, Holger!
    Seconded.

    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCAAdFiEE/d0M/zhkJ3YwohhskWT6HRe9XTYFAmMiMPAACgkQkWT6HRe9 XTbYaA/9EPbJXvQ+X0DIP/eLs2IZXbLWTyMFGMtVKpLOW6ngn+mvnczdQZ0cVFHQ 5olUoYtv7ugOddZisHBFxqbZcPA4WPUcK2D4m4AgFjWFSxNhA+IPpA2y0A24nANu WnBCIeWcg/0SLiiscCDt6ObwtV8UneWtR7prPo+uuWCW3otIMx5Q09ocmCR/fzaE P436DoD5RyZmzMvs//n2xAD6M0R6OKP5XirUMZNrw4/bRicUuCHtDSsByqdbGiTV oioWYYLC/vxiIoUoEcsxv9ytLt9E+u2IScnLdCB9W97hdMwUGc2P9SFEjzET0hkY hJ495Q84Zd5ts81dplHStXQae9IxUBUjRHJwH7+D9vfCGHrcyVNXqNi1ppXwFukI w9MNTcQenXtCbz/0+RXCCSNcTRMHAT9nboGOuRg/tjsEu5mwnphTuCueiQspF0Ak 4HxisUWjpMjBFuhldFIAtq7Lu+d0sYdj7Zw/pFVqkO1OMMdRo4Jt5YX+UJt2zsvr AOByHg4QzaWZ9zGOlxuAXUshf7DMeDg033ISwjuW8tW9q6z2pdKagof5l9NM2HRO cpwqYsP383uO21hyQWMTwkJMRnDGBMC5yAzkwWcWqU0fdlA3Bpqoh64c8JomI5Nh uubULG3EmcVyPsEs4qJWCyQnWu1xXwtPVrTGXko5RQ8wDkLquAw=
    =V/cx
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Thomas Goirand@21:1/5 to Holger Levsen on Thu Sep 15 00:10:01 2022
    On 9/14/22 17:00, Holger Levsen wrote:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!


    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)



    seconded

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Gunnar Wolf@21:1/5 to All on Thu Sep 15 05:40:02 2022
    Holger Levsen dijo [Wed, Sep 14, 2022 at 03:00:26PM +0000]:
    hi,

    I'm looking seconds for this new proposal below, which is like
    proposal E plus *also* offering free installer image.

    Rationale: we should keep producing fully freely distributable
    Debian installer images, for those cases were some included non-free
    stuff else might limit distribution, eg to Iran or Cuba etc or
    by imposing other restrictions...!

    Thank you very much Holger!

    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system
    determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will be able to find it later.
    Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries
    just like any other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    (This is exactly "Proposal E" as found on https://www.debian.org/vote/2022/vote_003
    now, except that in the very last sentence the word "replacing" has
    been replaced with "alongside".)

    Seconded.

    -----BEGIN PGP SIGNATURE-----

    iHUEABYIAB0WIQRNFAUGU6QC1zaHBJ0kBMlUbhRTYAUCYyKddgAKCRAkBMlUbhRT YD7MAP929PxwmPfsaKZy1q6dvFrPJxL7/HmoKusoaAJulGJ3jAEAhCjkbNgzaFiD hHJwHifzvmLWBmMTjQjqseFU++7YZQg=
    =gef7
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Kurt Roeckx@21:1/5 to All on Thu Sep 15 18:50:01 2022
    seconded

    Your message wasn't signed.

    Kurt

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)
  • From Didier 'OdyX' Raboud@21:1/5 to All on Thu Sep 15 20:13:58 2022
    Le mercredi, 14 septembre 2022, 17.00:26 h CEST Holger Levsen a crit :
    -----------------------------------------------------
    Proposal F

    This ballot option supersedes the Debian Social Contract (a foundation document) under point 4.1.5 of the constitution and thus requires a 3:1 majority.

    The Debian Social Contract is replaced with a new version that is identical to the current version in all respects except that it adds the following sentence to the end of point 5:

    The Debian official media may include firmware that is otherwise not
    part of the Debian system to enable use of Debian with hardware that
    requires such firmware.

    The Debian Project also makes the following statement on an issue of the
    day:

    We will include non-free firmware packages from the "non-free-firmware" section of the Debian archive on our official media (installer images and live images). The included firmware binaries will normally be enabled by default where the system determines that they are required, but where possible we will include ways for users to disable this at boot (boot menu option, kernel command line etc.).

    When the installer/live system is running we will provide information to the user about what firmware has been loaded (both free and non-free), and we will also store that information on the target system such that users will
    be able to find it later. Where non-free firmware is found to be necessary, the target system will also be configured to use the non-free-firmware component by default in the apt sources.list file. Our users should receive security updates and important fixes to firmware binaries just like any
    other installed software.

    We will publish these images as official Debian media, alongside the current media sets that do not include non-free firmware packages.

    -------------------------------------------------------

    Seconded; thanks Holger!

    --
    OdyX
    -----BEGIN PGP SIGNATURE-----

    iQIzBAABCgAdFiEEJ3k7rA0YCplkx4gZqcb6xg1jAWkFAmMja2YACgkQqcb6xg1j AWmoVw//Rsk4fujtIyt8hYjcFkk2/R2afR87E//PPDwTItRE4mI1BA/gKyZWVc7+ FVC03S4SV9MKbLr9eXLxwmPyZpWyTScBid8dKm8Mdt3fppVYj/QSLatB4yAeK7Hk 4ySH6KNvNVMmdVLhkb7odNVitybtbgsYvbf2r9ojjUTZXWoI5C3sf5CbuHmFXaHe /0N79avgOknzfqZEyNTqS+dxcaFaY2VeVChLtJ3YEDGScmqjhQhl6kvXShLKG7h4 CzP/iBmUO/m7LM3EJWj0OhctCTsDZyEPnQMTp0WbF2Rv8vXFJt+N1bdbmYKp2U7w hQCOLPg7aPIc8xdJxI/undlDwi+ex6CStf563mlkRX1/QWvGA3/OSXeTGuuR6Ty6 FTpfevSF57b6SuwC7J5umtm90Lsu7xhHdhLXVJi90C2GVAdBxjjvL2pYbD5RUzdw eMsfg06NZVk07GW+POBG0wQPlGw+MDt6WBEsdR5x46uXl+vUB39Xpv5J+x5jh1NP GJ+iXPQk0Kru3llK8tsmVKFvmUIbvnQw/nep8hzsbbhSvLm4kn4nUET7EQhsQBjd ZMw/0Z2ng3hYykFzSzma1W1VOHUFYbgX6AOJvQ+9DQiiFiskugHCi2jRrslCQ93l xjGhjlQ/4g+y545NmC5X+GZiop8NbG4OHiCvAE4th7uzu0xm85s=
    =qWQu
    -----END PGP SIGNATURE-----

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)