все параметры
bookworm  ] [  trixie  ] [  sid  ]

Пакет исходного кода: elpi (1.16.8-1)

Ссылки для elpi

Ресурсы Debian:

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

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

Из этого пакета исходного кода собираются следующие двоичные пакеты:
elpi
embeddable lambda-Prolog interpreter (tool)
libelpi-ocaml
embeddable lambda-Prolog interpreter (runtime files)
libelpi-ocaml-dev
embeddable lambda-Prolog interpreter (dev files)

Другие пакеты, относящиеся к elpi

  • для сборки
  • build-depends-indep

Download elpi

ФайлРазмер (в Кб)Контрольная сумма MD5
elpi_1.16.8-1.dsc 2,4 Кб 8dd76c052a59ed9dfc9f087706ada4a4
elpi_1.16.8.orig.tar.gz 2 540,3 Кб 40d9346be40acb470af26eac7c7c31ac
elpi_1.16.8-1.debian.tar.xz 4,0 Кб 0b1b961b3a513a8474589a6ea17b04bb
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/ocaml-team/elpi