todas as opções
bookworm  ] [  trixie  ] [  forky  ] [  sid  ] [  experimental  ]

Pacote-fonte: elpi (2.0.7-2)

Links para elpi

Recursos de Debian:

Mantenedores(as):

Fontes externas:

Os seguintes pacotes binários são criados a partir deste pacote-fonte:
elpi
embeddable lambda-Prolog interpreter (tool)
libelpi-ocaml
embeddable lambda-Prolog interpreter (runtime files)
libelpi-ocaml-dev
embeddable lambda-Prolog interpreter (dev files)

Outros pacotes relacionados a elpi

  • build-depends
  • build-depends-indep

Download elpi

ArquivoTamanho (em kB)Soma de verificação MD5
elpi_2.0.7-2.dsc 2.2 kB 8a65303a578affa40e03ba9ff4060b22
elpi_2.0.7.orig.tar.gz 2,580.6 kB af1ea7c67d8e5e5bd242d9fbfe733686
elpi_2.0.7-2.debian.tar.xz 5.6 kB bdef133b28d0707a22eccbc1289193c8
Repositório-fonte de pacotes Debian (VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Repositório-fonte de pacotes Debian (navegável)
https://salsa.debian.org/ocaml-team/elpi