» Ubuntu » Packages » noble (24.04LTS) » Source » misc » elpi
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]

Source Package: elpi (1.17.4-3build1) [universe]

Links for elpi

Ubuntu Resources:

Maintainer:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

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: atdts (>= 2.9.1)
    OCaml code generator for TypeScript
  • adep: camlp5 (>= 8.00.02)
    Pre Processor Pretty Printer for OCaml - classical version
  • adep: debhelper-compat (= 13)
    Package not available
  • adep: dh-ocaml (>= 1.2)
    helper tools for maintaining OCaml-related Debian packages
  • adep: gnuplot-nox
    Command-line driven interactive plotting program. No-X package
    also a virtual package provided by gnuplot-qt, gnuplot-x11
  • adep: libansi-terminal-ocaml-dev
    colors and cursor movements for OCaml applications (dev files)
  • adep: libatdgen-ocaml-dev (>= 2.9.1)
    OCaml code generator for biniou and JSON - executable and dev files
  • adep: libcmdliner-ocaml-dev
    declarative definition of command line interfaces
  • adep: libmenhir-ocaml-dev
    Menhir library for OCaml
  • 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: lua5.1
    Simple, extensible, embeddable programming language
  • adep: menhir
    Parser generator for OCaml
  • adep: ocaml-dune
    composable build system for OCaml projects
  • adep: time
    GNU time program for measuring CPU resource usage

Download elpi

FileSize (in kB)MD5 checksum
elpi_1.17.4-3build1.dsc 2.3 kB d93575e14e83bd6029ff8eb5520aa40b
elpi_1.17.4.orig.tar.gz 2,547.9 kB 3e6f4a6c238348e95cb9b9b95b4dcdbf
elpi_1.17.4-3build1.debian.tar.xz 4.5 kB 8ce165e4b6e0e50ad60ac20d84a0120a
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