-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: coq-reduction-effects
Binary: libcoq-reduction-effects
Architecture: any
Version: 0.1.4-2
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: Julien Puydt <jpuydt@debian.org>
Homepage: https://github.com/coq-community/reduction-effects
Standards-Version: 4.6.1
Vcs-Browser: https://salsa.debian.org/ocaml-team/coq-reduction-effects
Vcs-Git: https://salsa.debian.org/ocaml-team/coq-reduction-effects.git
Testsuite: autopkgtest
Testsuite-Triggers: coq
Build-Depends: coq (>= 8.16), cppo, debhelper-compat (= 13), dh-coq, dh-ocaml, libcoq-ocaml-dev, libcoq-stdlib
Package-List:
 libcoq-reduction-effects deb ocaml optional arch=any
Checksums-Sha1:
 b43dd0b132a2a8e1f3024ae6616f4ecf4d5862dc 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 424ab5b82740736846d83edd51e36f7e45455077 1516 coq-reduction-effects_0.1.4-2.debian.tar.xz
Checksums-Sha256:
 dc4ddc90bb63f3bcfeaee5d1da3ee921c097114993430abe50f4bb3004305a47 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 5c38ce62266e3085e3f322ee8e671f5d295b61c4856759d6c5c91b8d2982f5c6 1516 coq-reduction-effects_0.1.4-2.debian.tar.xz
Files:
 1f6c0770a41952367eca4c137ea1783e 10292 coq-reduction-effects_0.1.4.orig.tar.gz
 900e3883ae50ec404f950e1b9984cf7f 1516 coq-reduction-effects_0.1.4-2.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIOkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReIUQAJLcOlnMeq6hNNA8/oyKZ0dbH4e2ktqe
xJlXLMn5DEbDaIlMlptfFceuekG2/ZFU01T4GemBnz05s92JX3vaX9+AUGpZoR2b
ugK7+mtZThMngAeS6yB3SZsXRUDsi/s5EuXovSUTj3G2PXexarryeLEOGg+LnuBu
SR7Sh4xBUyTf9soBd1KNsW9Rz+x+RqV6OyLevkuylIHYYDGqbQhQ5Fq9Fc7JyaqL
YjMuITr4a/58uuigYMRI96uv+G4np7iOJZ9Q5z+mxt21VWfKjL8kzOAn5NsqrSV1
fbJkiGIxS8jAJKW3fxR0SOIDBoNR2yWs/Ds8nHwpAI44kCnhe54gfCaSGlFD4xbI
oHOPa0XA23cXlp3nZW8EIHCuWro8cOecLML0WZ74W0L4b2gBbHh0TqFM+zMVsFGj
uTwNJtyJ6R0jk3qLBivJLeYxrfdrdv7Z0c3Sk5r4zSw4rO6+p/cEpZNwsHy6Vv/7
ZkTg5geKHVj093/DU3nkslpSj3RUlqrwXIJlwx8oFtS6cnKA5M2tNXklTvbSpNuZ
QC5uGFrMsiz9nBNX+PyebQ18tg7aRTKCp2HttYDf4JPzdE8ISWAAsZ2kDlD9Tlfv
Ubpevomp4iDmnS4Px4M/U6olSeFS9BaREVySbrDc/4lj9zdw/t1q1i8AdwIQI0jM
qblFTdh8Myyj
=S+zt
-----END PGP SIGNATURE-----