Artifact libwhy3-ocaml-dev_1.5.1-1+b2_arm64

Metadata
deb_control_files:
- control
- md5sums
- postinst
- postrm
deb_fields:
  Architecture: arm64
  Depends: tex-common (>= 6.13), libmenhir-ocaml-dev-dyfe5, libnum-ocaml-dev-bq435,
    libzip-ocaml-dev-kj2q1, ocaml-4.13.1
  Description: |-
    OCaml librariries for why3 (dev)
     This package contains the libraries of the why3 verification platform
     for developing applications using why3.
  Homepage: http://why3.lri.fr/
  Installed-Size: '51893'
  Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
  Package: libwhy3-ocaml-dev
  Priority: optional
  Provides: libwhy3-ocaml-dev-gsym4
  Section: ocaml
  Source: why3 (1.5.1-1)
  Suggests: ocaml-findlib
  Version: 1.5.1-1+b2
srcpkg_name: why3
srcpkg_version: 1.5.1-1

File

libwhy3-ocaml-dev_1.5.1-1+b2_arm64.deb
File too big (10.7 MB > 2.0 MB): you can view it raw or download it instead.

Relations

Relation Direction Type Name
built-using Source package why3_1.5.1-1

binary package System - - 7 months, 2 weeks ago 6 months, 2 weeks
BETA