パッケージ: liblinksem-ocaml-dev (0.8+dfsg3-1 など)

liblinksem-ocaml-dev に関するリンク

eLxr パッチ追跡システム

linksem ソースパッケージをダウンロード:

メンテナ:

外部の資源:

ホームページ [github.com]

類似のパッケージ:

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.

その他の liblinksem-ocaml-dev 関連パッケージ

依存

推奨

提案

enhances

dep: liblem-ocaml-dev-ukej1

以下のパッケージによって提供される仮想パッケージです: liblem-ocaml-dev
dep: libnum-ocaml-dev-4uaw3

以下のパッケージによって提供される仮想パッケージです: libnum-ocaml-dev
dep: libstdlib-ocaml-dev-m4xw9

以下のパッケージによって提供される仮想パッケージです: libstdlib-ocaml-dev
dep: libzarith-ocaml-dev-h79v1

以下のパッケージによって提供される仮想パッケージです: libzarith-ocaml-dev
dep: ocaml-5.3.0

以下のパッケージによって提供される仮想パッケージです: ocaml

sug: ocaml-findlib

management tool for OCaml libraries

liblinksem-ocaml-dev のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	0.8+dfsg3-1+b3	15,394.3 kB	34,209.0 kB	[ファイル一覧]
arm64	0.8+dfsg3-1+b2	15,412.3 kB	35,274.0 kB	[ファイル一覧]