-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 16 Jul 2022 12:37:11 +0200 Source: coq-ext-lib Architecture: source Version: 0.11.6-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-ext-lib (0.11.6-2) unstable; urgency=medium . * Simplify autopkgtest. Checksums-Sha1: 973c5dabf2d383d00a4a646cb75b4d8a257abccc 2084 coq-ext-lib_0.11.6-2.dsc 2de72195163341d89dea67b64cb1127c978ef121 1956 coq-ext-lib_0.11.6-2.debian.tar.xz faf3821a33becb0223b15bc61d9d36d6be03f277 6824 coq-ext-lib_0.11.6-2_source.buildinfo Checksums-Sha256: c0f00eaf46f7b462019fad14aa6fcbd42c2a3e52dbf9ed378abe5177bc155e64 2084 coq-ext-lib_0.11.6-2.dsc d9f8b0a9d3158bb5088c41c7656542484061c47fb5aa8d2e1ddb23a95827bbee 1956 coq-ext-lib_0.11.6-2.debian.tar.xz edf595a8b8d03fe4bd6f19fecafd7c91aa9abdb0ba82a16079c3e3aa07f96c9e 6824 coq-ext-lib_0.11.6-2_source.buildinfo Files: b38455bf5799a61b91539d1629c0761d 2084 ocaml optional coq-ext-lib_0.11.6-2.dsc 72b801c99271dcead60f0203540dc52f 1956 ocaml optional coq-ext-lib_0.11.6-2.debian.tar.xz 27cd9bb694260c251478b834a923530d 6824 ocaml optional coq-ext-lib_0.11.6-2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLSmw4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRu8YP/0sLeUEUQYDWuUOzGpdSBEOKBWWtVbJi 4dlzZpy5O9qMFFeRUIcMrtyE78Z8GRpPU1t2hwaKLnSZr0hSeGnN+OLDvv/a9Xur bZ7igDACAnTduRqsHe8sifnsNZDOulb8F+23MWydrxM8t0SY8nzoFSDxlVkMJU+3 n8iOzf/OOdZGyGZfc+wAbha4AUJKO004k8ItOFYmeRUpRRXm188EOyjOVLP3ChT6 Pk+/pIFyCLJ8h+HeJD5zKQ5rP6MOaTu0iy6XG05iBvaQguklDJMFVihWxyYW1ySP jNUaK7t3++ZsSaj4QxFC8VMh82lFI2PHu0jxaI28a/JP9KlnPqlT6qaJYRo9N0aY xznEU7Ydr3InEFYlP1RKBriBrw5tN75Jlmi5h8HsikLuhtlFOCPatQBqpvt/n+IT nU469saK3pb5Ryum/7m9/UEayf1+jB3WjcmTDAI3MZSCN/f/t63m3JmrZWrgoPsq ohuVFn619MvRTGafYxG+lTZK0LxR2VS/1zAITz1TsYYtyeL0umVElV6dx0BArx0L SRMlyAHmcEtAq4dve7uAncx+OkjbwR8BfCHx0tStMWlectQDd3uWI+inXjZidmEm Muj6+OpGP6KLJD7RDq6C7zq3bIhdglYeqFl/0ZMEvaOcuDDpOJ2GDBDSjGPGVFUp BxopkqwhWBlR =4aNV -----END PGP SIGNATURE-----
