13.3.0-0a426450

Update script to handle version changes, and fail if not 13

13.2.0-0a426450

Update script to handle version changes, and fail if not 13

13.1.0-0a426450

Generate Debian 13 core

13.0.0-5b34a6ca

Generate Debian 13 core