wszystkie opcje
trixie  ] [  forky  ] [  sid  ]
[ Pakiet źródłowy: linksem  ]

Pakiet: liblinksem-ocaml-dev (0.8+dfsg3-2 i inne)

Odnośniki dla liblinksem-ocaml-dev

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego linksem:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

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.

Inne pakiety związane z liblinksem-ocaml-dev

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie liblinksem-ocaml-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 0.8+dfsg3-2+b1 15 398,6 KiB34 211,0 KiB [lista plików]
arm64 0.8+dfsg3-2+b1 15 418,7 KiB35 276,0 KiB [lista plików]
ppc64el 0.8+dfsg3-2+b1 15 565,8 KiB36 685,0 KiB [lista plików]
riscv64 0.8+dfsg3-2+b1 16 393,2 KiB51 630,0 KiB [lista plików]
s390x 0.8+dfsg3-2+b1 15 308,6 KiB33 507,0 KiB [lista plików]