alle opties
trixie  ] [  forky  ] [  sid  ]
[ Bron: linksem  ]

Pakket: liblinksem-ocaml-dev (0.8+dfsg3-2 en anderen)

Verwijzigingen voor liblinksem-ocaml-dev

Screenshot

Debian bronnen:

Het bronpakket linksem downloaden:

Beheerders:

Externe bronnen:

Vergelijkbare pakketten:

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.

Andere aan liblinksem-ocaml-dev gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

liblinksem-ocaml-dev downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Versie Pakketgrootte Geïnstalleerde grootte Bestanden
amd64 0.8+dfsg3-2+b1 15.398,6 kB34.211,0 kB [overzicht]
arm64 0.8+dfsg3-2+b1 15.418,7 kB35.276,0 kB [overzicht]
ppc64el 0.8+dfsg3-2+b1 15.565,8 kB36.685,0 kB [overzicht]
riscv64 0.8+dfsg3-2+b1 16.393,2 kB51.630,0 kB [overzicht]
s390x 0.8+dfsg3-2+b1 15.308,6 kB33.507,0 kB [overzicht]