Skip to content
Sections
>> Trisquel >> Packages >> aramo >> Source >> misc >> elpi
aramo  ]

Source Package: elpi (1.14.1-1)

Links for elpi

Trisquel Resources:

Maintainer:

Original Maintainers:

External Resources:

The following binary packages are built from this source package:
elpi
embeddable lambda-Prolog interpreter (tool)
libelpi-ocaml
embeddable lambda-Prolog interpreter (runtime files)
libelpi-ocaml-dev
embeddable lambda-Prolog interpreter (dev files)

Other Packages Related to elpi

  • build-depends
  • build-depends-indep
  • adep: camlp5 (>= 8.00.02)
    Pre Processor Pretty Printer for OCaml - classical version
  • adep: debhelper-compat (= 13)
    Package not available
  • adep: dh-ocaml
    helper tools for maintaining OCaml-related Debian packages
  • adep: libppx-deriving-ocaml-dev
    type-driven code generation for OCaml (dev files)
  • adep: libppxlib-ocaml-dev
    meta-programming for OCaml
  • adep: libre-ocaml-dev
    regular expression library for OCaml
  • adep: ocaml-dune
    composable build system for OCaml projects

Download elpi

FileSize (in kB)MD5 checksum
elpi_1.14.1-1.dsc 2.1 kB bcd99b6541c8a6ff0369e88d846ce06a
elpi_1.14.1.orig.tar.gz 1,507.9 kB b01bd41c39ceac32d7f08040d5f7a02e
elpi_1.14.1-1.debian.tar.xz 4.0 kB f6a4940b09b058547557f66f9ccabe31
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/elpi.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/elpi