Can't find bazel package on ubuntu 22.04

[vpelosio]

Description of the bug:

In the documentation is said:

These commands should help set up a development environment on your machine.

Debian or Ubuntu

# Update apt.
sudo apt update

# Install tools.
sudo apt install \
  bazel \
  clang \
  gh \
  libc++-dev \
  lld \
  python3 \
  zlib1g-dev

# Install pre-commit.
pip3 install pre-commit

# Set up git.
# If you don't already have a fork:
gh repo fork --clone carbon-language/carbon-lang
cd carbon-lang
pre-commit install

# Run tests.
bazel test //...:all

but actually bazel cannot be installed out of the box in ubuntu 22.04.

user@pc:~$ sudo apt install bazel
Reading package lists... Done
Building dependency tree... Done
Reading state information... Done
E: Unable to locate package bazel

Furthermore python3-pip should be added to the list of packages to install because is needed for the command
pip3 install pre-commit

Link to documentation:

https://github.com/carbon-language/carbon-lang/blob/trunk/docs/project/contribution_tools.md

What should it say instead?

Improve the documentation to list the exact commands to follow to install bazel

Any other information, logs, or outputs that you want to share?

No response

[geoffromer]

It looks like this step is what's missing.

[github-actions]

We triage inactive PRs and issues in order to make it easier to find active work. If this issue should remain active or becomes active again, please comment or remove the inactive label. The long term label can also be added for issues which are expected to take time.

This issue is labeled inactive because the last activity was over 90 days ago.

[felixf4xu]

bazel has pre-built binary for download at its release page, for example: https://github.com/bazelbuild/bazel/releases/download/7.0.2/bazel-7.0.2-linux-x86_64

[felixf4xu]

bazel has pre-built binary for download at its release page, for example: https://github.com/bazelbuild/bazel/releases/download/7.0.2/bazel-7.0.2-linux-x86_64

[github-actions]

We triage inactive PRs and issues in order to make it easier to find active work. If this issue should remain active or becomes active again, please comment or remove the inactive label. The long term label can also be added for issues which are expected to take time.

This issue is labeled inactive because the last activity was over 90 days ago.