Package: liblinksem-ocaml-dev
Source: linksem
Version: 0.8+dfsg3-2build5
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 60939
Depends: liblem-ocaml-dev-zeb82, libnum-ocaml-dev-p8b87, libstdlib-ocaml-dev-kjuo1, libzarith-ocaml-dev-0x2c5, ocaml-5.4.0
Suggests: ocaml-findlib
Provides: liblinksem-ocaml-dev-glz13
Section: ocaml
Priority: optional
Homepage: https://github.com/rems-project/lem
Description: Formalisation of the core ELF and DWARF file formats written in Lem
 Linksem is a formalisation of substantial parts of ELF linking and DWARF debug
 information.
 .
 The ELF formalisation (and parts of the ABI formalisation) are currently also
 being used as a subcomponent of the rmem architectural exploration tool, for
 parsing ELF files and setting up initial machine states.
