why3_1.5.1-1+b2_arm64

Details

Artifact why3_1.5.1-1+b2_arm64
Category debian:binary-package
Metadata
architecture: arm64
component: main
package: why3
priority: optional
section: math
srcpkg_name: why3
srcpkg_version: 1.5.1-1
version: 1.5.1-1+b2
bookworm System _system 5 months, 3 weeks ago
BETA