libwhy3-ocaml-dev (1.8.2-3)

2 versions available in kali/kali-last-snapshot/main/i386

Details

Core information at a glance

Distribution
kali
Origin
kali-last-snapshot
Repository
https://http.kali.org/kali
Codename
kali-last-snapshot
Component
main
Source
why3
Architecture
i386
Section
ocaml
Priority
optional
Maintainer
Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
25.6 kB
Size expected
6.2 MB
Size actual
6.2 MB
Size match

Dependencies

Required package dependencies

  • tex-common (>= 6.13)
  • libmenhir-ocaml-dev-2l4c7
  • libstdlib-ocaml-dev-1vpd4
  • libzarith-ocaml-dev-cqc12
  • libzip-ocaml-dev-uzr83
  • ocaml-5.4.0

Suggested packages

Recommended additional packages

  • ocaml-findlib

Description

OCaml librariries for why3 (dev)

Homepage Download .deb

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5e1041417…3a3b737e
SHA-18093c54a…fc2d7237
SHA-256d05c49fd…8433e687
SHA-5126a757ce4…b5c3c021

Contents

Files and directories included

.
usr
usr/lib
usr/lib/i386-linux-gnu
usr/lib/i386-linux-gnu/ocaml
usr/lib/i386-linux-gnu/ocaml/5.4.0
usr/lib/i386-linux-gnu/ocaml/5.4.0/why3
usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/META
usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/why3.cma
usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/why3.cmi
usr/lib/i386-linux-gnu/ocaml/5.4.0/why3/why3.cmt
usr/share
usr/share/doc
usr/share/doc/libwhy3-ocaml-dev
usr/share/doc/libwhy3-ocaml-dev/NEWS.Debian.gz
usr/share/doc/libwhy3-ocaml-dev/changelog.Debian.gz
usr/share/doc/libwhy3-ocaml-dev/changelog.gz
usr/share/doc/libwhy3-ocaml-dev/copyright
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libwhy3-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libwhy3-ocaml-dev.md5sums