Format: 3.0 (quilt)
Source: coq-deriving
Binary: libcoq-deriving
Architecture: any
Version: 0.2.3-3+ocaml1
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/arthuraa/deriving/
Standards-Version: 4.7.4
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-deriving
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-deriving.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 9), debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-mathcomp-ssreflect, libcoq-core-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-deriving deb ocaml optional arch=any
Checksums-Sha1:
 4fe86671564a06637c2c772896ef8530387ca734 45334 coq-deriving_0.2.3.orig.tar.gz
 2ae01bf140dab322d0ed255ccc96fcae56d4ffc7 2480 coq-deriving_0.2.3-3+ocaml1.debian.tar.xz
Checksums-Sha256:
 2d6329507e9483e1acc7645dc2ef5cbfb0b8428eafe7589bc4775b3b2ad16184 45334 coq-deriving_0.2.3.orig.tar.gz
 0ad960e1af0289d1ee4503080983909142db70c41125ccac7d8040978f57a786 2480 coq-deriving_0.2.3-3+ocaml1.debian.tar.xz
Files:
 6dd97db71f1d8f37ab504409e8cc8201 45334 coq-deriving_0.2.3.orig.tar.gz
 8136e27dd5a43a49f9a3c0b702503a4d 2480 coq-deriving_0.2.3-3+ocaml1.debian.tar.xz