-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 08 Jul 2022 09:10:10 +0200 Source: coqeal Architecture: source Version: 1.1.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coqeal (1.1.1-1) unstable; urgency=medium . * Simplify the autopkgtest. * New upstream release. Checksums-Sha1: 6c959012ec1d2db8d8f6c82ec57fce55b9cde799 2153 coqeal_1.1.1-1.dsc 6b1c030d4f07a4b758621882dcad83763b729492 218742 coqeal_1.1.1.orig.tar.gz 9bac15116b70b7896a3541af804f2f94ddc72614 2080 coqeal_1.1.1-1.debian.tar.xz ace0911d8712e35843c7095f4e45f64f514995fc 7291 coqeal_1.1.1-1_source.buildinfo Checksums-Sha256: d480ebad2007998c7abe71a496a835145f3c2f32ba1b49d1f3d6b614ea40b85c 2153 coqeal_1.1.1-1.dsc 15eb51680208d41e584ff51c31c7292dd4b9617eb694f14b33e7d1c9cf1be046 218742 coqeal_1.1.1.orig.tar.gz e2eb79ee0a5772d3c6f3213b7e8efc367f76875a954c6d047c99baf1565f7c87 2080 coqeal_1.1.1-1.debian.tar.xz 1927b8ad110ae482a87fdfb73e2769f4c444ca9a15056a2c0621ce40a73c538f 7291 coqeal_1.1.1-1_source.buildinfo Files: 403ee9f87de30c2e9cc63f1aeada3ff1 2153 ocaml optional coqeal_1.1.1-1.dsc d9d9be9f5b316207d10b8c51f0248889 218742 ocaml optional coqeal_1.1.1.orig.tar.gz 90bee762855345b75438aca54c904abb 2080 ocaml optional coqeal_1.1.1-1.debian.tar.xz 81b6ca2d78c0270e3158fec07d27c2b1 7291 ocaml optional coqeal_1.1.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLH2HISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/+wP/0BSCyT7hcN1pFPtTdReNz6sIYqyG2Ya jtuHqOWUwa7qIzMJpvWWxbHK40JMsXMr0eIl5ObLJIpi4+gqysikQrCcndDjctmf W/vmEraKYQvkNzP/lZGzEFeBtDOAfALDe3djrE5pBuxKy9UNRC8hKLt/9q+AYbS3 IMmnEBeBDdKQajeAoI0PK0c5HhQFLgrC4WOO8R+nEL1o8kx4hBRmChpJANbpPS5p etqQdw0cCqmRu8Arq4Ey2GpyVQ22BWl1zpoLsSmK1GC9kD4l4qJ4UpsbhCXh7xB4 GO7GhdQ/ifRRRd9rJSF66R1pP/nis1cdtJK/kA5uNAC4Azy/m0Vue4cqCIVWqf5j g45DpCfmlfwt2RPzmCSG5psbw37HacTIiv7V53cV4t9psNv7SFcyUfkLEKkSwIpb wJYD+b/Vppg1TdLykgGzqDOiaUMivC50tqghmu2ifmuQ8zSaXqpPWw7kvqZX2Atk 9Ip7CAqmvT2/4k4TtdJMdQYvxrM1rDuUhKcp9mVt6I5MN9a0ut4Fbaw8RsjevJkW 3MD1bYt7ttblJnbgeCecnIfIRPrpPZtzwfv8wVrtJE5YIDsbLGnOMmQHBJqnHF/4 d2VhI9VnsdvC/vhHEZCTSE93tsdDjOKPu1RR6NRLRaYcBomhFScVcbNWBRybD1Rh FVhwfpjdVq7K =gXv6 -----END PGP SIGNATURE-----