Group: Software/FSDG distributions/Security

From LibrePlanet
< Group:Software‎ | FSDG distributions
Revision as of 11:23, 22 February 2023 by GNUtoo (talk | contribs) (Releases and signatures: Add ProteanOS)
Jump to: navigation, search

Introduction

This page tracks the progress of FSDG distributions with regard to reproducible builds, bootstrapable builds and other similar security features.

Releases and signatures

Distribution Signed installers Signed development source code
Dragora 3.0-beta1 Checksums only[1]
Dynebolic 3.0-beta Broken: signed broken checksums (md5)[2]
Guix 1.4.0 Yes, signed images[3]
Guix "latest" No[4]
Hyperbola v0.4.2 Yes, signed images[5]
LibreCMC Yes, signed checksums[6]
Parabola Yes[7]
ProteanOS Yes: signed ProteanOS Development Kit commits[8]
PureOS 10 (byzantium) Checksums only.[9]
Replicant 6.0 0004 Yes, signed images[10]
Trisquel 10.0.1 Yes, signed images[11]
Ututo S No: broken checksums (md5) only[12]

Repdoducible builds and bootstrapable builds

Self hosted distributions

Distribution Reproducible builds officially supported[13] Comments
Dragora ?
  • Not mentioned in the list of project supporting reproducible builds[14].
Dynebolic ?
  • Not mentioned in the list of project supporting reproducible builds[14].
Guix Yes
  • Encourage any users to use the Guix challenge command to check the reproducibility of builds, and builds are supposed to be reproducible for all users (independently of the specific CPU, username, etc)
  • Goes beyond reproducible builds and has efforts to make Guix bootstrapable
  • Mentioned in the list of project supporting reproducible builds[14].
Hyperbola ?
  • Not mentioned in the list of project supporting reproducible builds[14] but Arch Linux is mentioned there so maybe it's easier to add reproducible builds to Hyperbola.
Parabola ?
  • Not mentioned in the list of project supporting reproducible builds[14] but Arch Linux is mentioned there, and for x86_64 some of the stock Arch Linux are reused. So at least part of Parabola is reproducible.
  • It has a wiki page that has a plan to add reproducible builds[15] but it needs people to work on actually doing some research on how to add reproducible builds and to implement it.
  • Arch Linux status: https://tests.reproducible-builds.org/archlinux/archlinux.html
PureOS ?
  • Not mentioned in the list of project supporting reproducible builds[14] but Debian is mentioned there so maybe it's easier to add reproducible builds to Hyperbola.
Trisquel ?
  • Not mentioned in the list of project supporting reproducible builds[14] but Debian is mentioned there so maybe it's easier to add reproducible builds to Hyperbola.
Ututo S ?
  • Not mentioned in the list of project supporting reproducible builds[14].

Small distributions

Distribution Reproducible builds officially supported[13] Comments
LibreCMC ?
  • Not mentioned in the list of project supporting reproducible builds[14] but OpenWRT is mentioned, so it might be easier to add reproducible builds to LibreCMC.
ProteanOS ?
  • Not mentioned in the list of project supporting reproducible builds[14].
Replicant not yet
  • Not using the Android prebuilt toolchain is the first priority, then we probably need to find how to activate reproducible builds when building releases.
  • Not mentioned in the list of project supporting reproducible builds[14].
  1. https://mirror.fsf.org/dragora/v3/iso/beta1/
  2. https://files.dyne.org/dynebolic/
  3. https://guix.gnu.org/en/download/
  4. https://guix.gnu.org/en/download/latest/
  5. https://wiki.hyperbola.info/doku.php?id=en:manual:verify_live_images
  6. signed checksums: https://librecmc.org/librecmc/downloads/snapshots/v1.5.12/targets/ath79/generic/
  7. https://wiki.parabola.nu/Get_Parabola
  8. http://proteanos.com/doc/install/prokit/
  9. https://downloads.puri.sm/byzantium/gnome/2022-06-02/
  10. https://ftp.osuosl.org/pub/replicant/images/replicant-6.0/0004/images/
  11. https://cdimage.trisquel.info/trisquel-images/
  12. http://www.ututo.org/downloads/
  13. 13.013.1 If reproducible builds officially supported, we should be able to open bugs about non reproducible packages and/or send patches to fix them. If it is not supported we could try to send patches to enable reproducible builds and/or help the distribution supporting it instead.
  14. 14.0014.0114.0214.0314.0414.0514.0614.0714.0814.0914.10 The official lists of projects supporting reproducible is at https://reproducible-builds.org/projects/ . Note that not all theses projects are FSDG compliant and that some might even contain nonfree software and other really problematic issues.
  15. https://wiki.parabola.nu/Reproducible_Builds