все параметры
bianca  ]

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

Ссылки для elpi

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

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

Из этого пакета исходного кода собираются следующие двоичные пакеты:
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_2.0.7-1.debian.tar.xz 5,0 Кб 74383bf4c02b7f53a714c48ac6f357f2
elpi_2.0.7-1.dsc 2,4 Кб 9baeeebe269ee76d08dadfd47826c92e
elpi_2.0.7.orig.tar.gz 2 580,6 Кб af1ea7c67d8e5e5bd242d9fbfe733686
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/ocaml-team/elpi