všetky možnosti
trixie  ] [  forky  ] [  sid  ]
[ Zdroj: linksem  ]

Balík: liblinksem-ocaml-dev (0.8+dfsg3-2 a iné)

Odkazy pre liblinksem-ocaml-dev

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík linksem:

Správcovia:

Externé zdroje:

Podobné balíky:

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.

Ostatné balíky súvisiace s balíkom liblinksem-ocaml-dev

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť liblinksem-ocaml-dev

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 0.8+dfsg3-2+b1 15,398.6 kB34,211.0 kB [zoznam súborov]
arm64 0.8+dfsg3-2+b1 15,418.7 kB35,276.0 kB [zoznam súborov]
ppc64el 0.8+dfsg3-2+b1 15,565.8 kB36,685.0 kB [zoznam súborov]
riscv64 0.8+dfsg3-2+b1 16,393.2 kB51,630.0 kB [zoznam súborov]
s390x 0.8+dfsg3-2+b1 15,308.6 kB33,507.0 kB [zoznam súborov]