diff -r 6b9d5cae4579 -r 059d5e115ae3 src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Fri Apr 26 20:14:27 2024 +0200
+++ b/src/Pure/System/linux.scala	Fri Apr 26 20:18:15 2024 +0200
@@ -42,6 +42,7 @@
     def is_ubuntu: Boolean = id == "Ubuntu"
     def is_ubuntu_20_04: Boolean = is_ubuntu && release == "20.04"
     def is_ubuntu_22_04: Boolean = is_ubuntu && release == "22.04"
+    def is_ubuntu_24_04: Boolean = is_ubuntu && release == "24.04"
   }