all options
bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq-elpi (2.1.0-1)

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_2.1.0-1.dsc 2.0 kB 6c5b42dfb47119dd9b052b51a7ef99d2
coq-elpi_2.1.0.orig.tar.gz 699.0 kB 8982b8e98b29deb53c03eaab9160ec10
coq-elpi_2.1.0-1.debian.tar.xz 3.6 kB a45434de24f216d5f11f4ddd8885c63b
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