-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 25 Jan 2023 13:56:43 +0100 Source: coq-quickchick Architecture: source Version: 1.6.4-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-quickchick (1.6.4-3) unstable; urgency=medium . * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev. Checksums-Sha1: a03af37dda7b0e6cfa22cbf14db9a51b9c135183 2261 coq-quickchick_1.6.4-3.dsc f03970485bb1998169c25223689baee4c4596f02 2724 coq-quickchick_1.6.4-3.debian.tar.xz 55a1d943a101032a44698227fe666edfb303940e 7687 coq-quickchick_1.6.4-3_source.buildinfo Checksums-Sha256: 287c26bc9dea58e9f38078af1c5eaf654972e3a7cf59ba5fa613d029e965d0dd 2261 coq-quickchick_1.6.4-3.dsc 0ed3da1269a64008f6fdf6ad0acb8a33220d57cf4c83f09cf942d6381929d0d6 2724 coq-quickchick_1.6.4-3.debian.tar.xz 017757ca1892cfecda9526d3ce2b0ecdefb8d5181fda61eceddc6f16615461cb 7687 coq-quickchick_1.6.4-3_source.buildinfo Files: 88adbcc080a4fe72201c8c9771ee55e7 2261 ocaml optional coq-quickchick_1.6.4-3.dsc 11f825d309dcc72d437e79223e81530d 2724 ocaml optional coq-quickchick_1.6.4-3.debian.tar.xz bf908cbc06490b75311b0c75ecd2f5fb 7687 ocaml optional coq-quickchick_1.6.4-3_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRJx0SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0OMP/RIqCuRFQ/zK7IpNCa+V8E5Qe35ZgQaf Jcj3d7bv6PLlrHRr6SqL0ezMT0NBfaXdJr8404WjAqK4VU720Fc/GKunWdiVgQXK n8mOpVjGDdODORsQ/uzD19KfCoPdLL8bxwjIq/lM/Gy/uHQbRm3dXArYwyTdt1iJ RYkE2MzycZrJEtnKN3TeqN1FSQyi9vOnWu16ZHxlTLvPU7dsjNT8ygxIMM87Xyal +BzWDUoM0L7tyRuQiS7ENZmOVhjmGPnARGouPTbsdEOGjvjB1HFPfHOB35MYq3VG sa3NG1osN5/YH4UtsRe/KCOAAo8HbgVZlCBiRdn6i0HF4EO2/eaNRcf2vj8e01pp NuJCNn2C8+xta+Jlc72kuOyR2xoTmHts9Bj+M0h/eiJPh7LGoNe/lU2fd4O24kpZ RHGTKIe6h0MIxA9Kvta77RqlaOMyVQrcKSBSQY/buWdvwIfpXHesugNRMgNrHJbm QDP2WQiyW3B0cym9iiXnn1qbUoC68xgcdgTbmlCml7UJvZjczUxPNXWifRnZLp1e AJBzcBFZDErRcwmT/KhPin8pByy2AILqDtq2UpchABFnn6ccCLdzfzHQuCroas/C toegku1TfIAUflzf5rpVAdgt4L6IsRVE+d97KZmCabRJI5BE7d7G/B6w+fAh0+PQ /EhF/5AwHCqo =Xlzp -----END PGP SIGNATURE-----
