libgmap-ocaml-dev (0.3.0-4+b4)

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
ocaml-gmap (0.3.0-4)
Architecture
i386
Section
ocaml
Priority
optional
Maintainer
Debian OCaml Maintainers <[email protected]>

Size & integrity

Byte sizes and integrity verification

Installed size
108 B
Size expected
69.9 kB
Size actual
69.9 kB
Size match

Dependencies

Required package dependencies

  • libgmap-ocaml-z56b2
  • libstdlib-ocaml-dev-ye7o9
  • ocaml-5.3.0

Suggested packages

Recommended additional packages

  • None

Description

heterogenous maps over a GADT for OCaml (dev files)

Tags

Package classification tags

None

Checksums

Hash values and integrity verification status

TypeActualMatch
MD5b7afee57…d8cfddad
SHA-1b5d098bc…78a4c9d8
SHA-256eb45b507…e17c592c
SHA-512b4ddd7bd…b6c1d784

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.3.0
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/dune-package
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/gmap.cmi
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/gmap.cmt
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/gmap.cmti
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/gmap.ml
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/gmap.mli
usr/lib/i386-linux-gnu/ocaml/5.3.0/gmap/opam
usr/share
usr/share/doc
usr/share/doc/libgmap-ocaml-dev
usr/share/doc/libgmap-ocaml-dev/LICENSE.md
usr/share/doc/libgmap-ocaml-dev/README.md
usr/share/doc/libgmap-ocaml-dev/changelog.Debian.gz
usr/share/doc/libgmap-ocaml-dev/changelog.Debian.i386.gz
usr/share/doc/libgmap-ocaml-dev/changelog.gz
usr/share/doc/libgmap-ocaml-dev/copyright
var
var/lib
var/lib/ocaml
var/lib/ocaml/lintian
var/lib/ocaml/lintian/libgmap-ocaml-dev.META.gmap
var/lib/ocaml/lintian/libgmap-ocaml-dev.info
var/lib/ocaml/md5sums
var/lib/ocaml/md5sums/libgmap-ocaml-dev.md5sums