pgvector 0.8.0 seems MIA?

Hi, 

Pgvector 0.8.0 shipped on Oct 30. 

I saw some release messages here:  https://salsa.debian.org/postgresql/pgvector/-/commits/develop?ref_type=HEADS

But when I check for the packages, I still don't see them:

wget -O- https://apt.postgresql.org/pub/repos/apt/dists/noble-pgdg/main/binary-amd64/Packages 2>&1| ag "Package: postgresql-15-pgvector" -A2

Package: postgresql-15-pgvector

Source: pgvector

Version: 0.7.4-2.pgdg24.04+1

Package: postgresql-15-pgvector-dbgsym

Package-Type: ddeb

Source: pgvector

Did I miss anything? Is there any step that still has to run on your side? Or on mine?

I'm sure I'm not the only user eager to use the latest pgvector.

Thanks in advance for your help, 

Gwen