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

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

Ссылки для 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_2.0.7-2.dsc 2,2 Кб 8a65303a578affa40e03ba9ff4060b22
elpi_2.0.7.orig.tar.gz 2 580,6 Кб af1ea7c67d8e5e5bd242d9fbfe733686
elpi_2.0.7-2.debian.tar.xz 5,6 Кб bdef133b28d0707a22eccbc1289193c8
Репозиторий пакетов исходного кода Debian (VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Репозиторий пакетов исходного кода Debian (доступен просмотр)
https://salsa.debian.org/ocaml-team/elpi