Пакет: libelpi-ocaml-dev (2.0.7-1 и другие)

Ссылки для libelpi-ocaml-dev

• Отслеживание заплат eLxr

Исходный код elpi:

• [elpi_2.0.7-1.debian.tar.xz]
• [elpi_2.0.7-1.dsc]
• [elpi_2.0.7.orig.tar.gz]

Сопровождающие:

• Debian OCaml Maintainers
• Julien Puydt

Внешние ресурсы:

• Сайт [github.com]

Подобные пакеты:

• libelpi-ocaml
• libcoq-elpi
• elk
• swi-prolog-bdb
• swi-prolog-odbc
• swi-prolog-core-packages
• swi-prolog-core
• swi-prolog-nox
• swi-prolog-full
• swi-prolog
• libelk0-dev

Другие пакеты, относящиеся к libelpi-ocaml-dev

• dep: libc6 (>= 2.38)

  GNU C Library: Shared libraries
  также виртуальный пакет, предоставляемый libc6-udeb

• dep: libcompiler-libs-ocaml-dev-4b6d0

  виртуальный пакет, предоставляемый libcompiler-libs-ocaml-dev

• dep: libelpi-ocaml-zfj86

  виртуальный пакет, предоставляемый libelpi-ocaml

• dep: libmenhir-ocaml-dev-cjjw4

  виртуальный пакет, предоставляемый libmenhir-ocaml-dev

• dep: libocaml-compiler-libs-ocaml-dev-cv331

  виртуальный пакет, предоставляемый libocaml-compiler-libs-ocaml-dev

• dep: libppx-deriving-ocaml-dev-kejh4

  виртуальный пакет, предоставляемый libppx-deriving-ocaml-dev

• dep: libppxlib-ocaml-dev-uon82

  виртуальный пакет, предоставляемый libppxlib-ocaml-dev

• dep: libre-ocaml-dev-xtyr4

  виртуальный пакет, предоставляемый libre-ocaml-dev

• dep: libsexplib0-ocaml-dev-yj523

  виртуальный пакет, предоставляемый libsexplib0-ocaml-dev

• dep: libstdlib-ocaml-dev-m4xw9

  виртуальный пакет, предоставляемый libstdlib-ocaml-dev

• dep: libzstd1 (>= 1.5.5)

  fast lossless compression algorithm

• dep: ocaml-5.3.0

  виртуальный пакет, предоставляемый ocaml

• rec: ocaml-findlib

  management tool for OCaml libraries

Загрузка libelpi-ocaml-dev