libwhy3-ocaml-dev_1.5.1-1+b2_arm64

Details

Artifact libwhy3-ocaml-dev_1.5.1-1+b2_arm64
Category debian:binary-package
Metadata
architecture: arm64
component: main
package: libwhy3-ocaml-dev
priority: optional
section: ocaml
srcpkg_name: why3
srcpkg_version: 1.5.1-1
version: 1.5.1-1+b2
bookworm System _system 7 months, 2 weeks ago
BETA