libwhy3-ocaml-dev_1.5.1-1+b2_amd64

Details

Artifact libwhy3-ocaml-dev_1.5.1-1+b2_amd64
Category debian:binary-package
Metadata
architecture: amd64
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 5 months, 3 weeks ago
BETA