Format: 3.0 (quilt)
Source: coq-elpi
Binary: libcoq-elpi
Architecture: any
Version: 3.5.1-1+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/LPCIC/coq-elpi
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-elpi
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-elpi.git
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, elpi (>= 3.4.2), libcoq-core-ocaml-dev, libcoq-stdlib, libelpi-ocaml-dev, libppx-optcomp-ocaml-dev, libxml-light-ocaml-dev, libyojson-ocaml-dev, ocaml-dune (>= 3.24.1)
Package-List:
 libcoq-elpi deb ocaml optional arch=any
Checksums-Sha1:
 0bdef6e389172e48ef3b47675a3eae99893b1e4f 1144422 coq-elpi_3.5.1.orig.tar.gz
 ee4112467f17729fcf0703b8a4450ef8faeb6916 7536 coq-elpi_3.5.1-1+ocaml1.debian.tar.xz
Checksums-Sha256:
 473742f017730fae1406dd70e79c894bc08c9356e111802cfd3b0aed400961b3 1144422 coq-elpi_3.5.1.orig.tar.gz
 6a8d0273d10193a2d6b1f132964443053b826b12fd2b9242cd2eabc92099448b 7536 coq-elpi_3.5.1-1+ocaml1.debian.tar.xz
Files:
 d732699b3c1a9de4ebed294e314ce36b 1144422 coq-elpi_3.5.1.orig.tar.gz
 ef166235cb1f3136fd61e4e799c97831 7536 coq-elpi_3.5.1-1+ocaml1.debian.tar.xz