Format: 3.0 (quilt)
Source: coq-ext-lib
Binary: libcoq-ext-lib
Architecture: any
Version: 0.13.1-2+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/coq-ext-lib
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-ext-lib
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-ext-lib.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-ext-lib deb ocaml optional arch=any
Checksums-Sha1:
 703469ecd3244f4366a796504611faf37d3e299f 85531 coq-ext-lib_0.13.1.orig.tar.gz
 1b4074df023e7796e94dd39c5072adf4ee13c209 2600 coq-ext-lib_0.13.1-2+ocaml1.debian.tar.xz
Checksums-Sha256:
 b3bca20b41d2bde744a484e5bf8fa783386372868a0bd6b24a4824648c73d133 85531 coq-ext-lib_0.13.1.orig.tar.gz
 7cd4f50fee7286dfc5bad445a2d47353bcebcfe65c46ef12038dcadfff84e99a 2600 coq-ext-lib_0.13.1-2+ocaml1.debian.tar.xz
Files:
 2e20520bf90bfc691ae6b7de71beb0a2 85531 coq-ext-lib_0.13.1.orig.tar.gz
 6be4a03de11c612f6e72e9db58786bc9 2600 coq-ext-lib_0.13.1-2+ocaml1.debian.tar.xz