all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-elpi (1.19.3-2)

Links for coq-elpi

Debian Resources:

Maintainers:

External Resources:

The following binary packages are built from this source package:
libcoq-elpi
Coq plugin embedding Elpi

Other Packages Related to coq-elpi

  • build-depends
  • build-depends-indep

Download coq-elpi

FileSize (in kB)MD5 checksum
coq-elpi_1.19.3-2.dsc 1.8 kB a45de535dbef1d228396a27ba7afa135
coq-elpi_1.19.3.orig.tar.gz 558.3 kB 17db60a99d07ca13976b794a8205327b
coq-elpi_1.19.3-2.debian.tar.xz 3.6 kB 625a6b8f7351706efa29a2639693eea2
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq-elpi.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq-elpi