-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 30 Mar 2024 11:56:17 +0100 Source: coqeal Architecture: source Version: 2.0.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coqeal (2.0.2-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: c3ecba18be4bebbdda5b4c29455c4a71273861c0 2171 coqeal_2.0.2-1.dsc fb950462de2db1231958f913cfae36dfc25d7f3f 217033 coqeal_2.0.2.orig.tar.gz 1c36437a6488a797700bd6fe0ce30a85ad4f75fc 2316 coqeal_2.0.2-1.debian.tar.xz 9e0edc04f8ec6a00ddae3a42e0827092ef6c9a14 9309 coqeal_2.0.2-1_source.buildinfo Checksums-Sha256: 84c2833ca127b7268ac6ceb7bd7f723993c37fd4cee4b8b13f226f5ceaff22c9 2171 coqeal_2.0.2-1.dsc db2a26aee493f1cbcacbde9e7d88f778407ddf0f197d7c65a7ec1c3e411f2c21 217033 coqeal_2.0.2.orig.tar.gz d87666409899e0ef9089e6bf16808277f4f198447ff88e03e16145723d731697 2316 coqeal_2.0.2-1.debian.tar.xz 6a5a3cc228d6d2539504a62b40c9ac63c503577008a81fef1d60c0b80c0d1c63 9309 coqeal_2.0.2-1_source.buildinfo Files: 8029918756f8e5f2beba7c050a889658 2171 ocaml optional coqeal_2.0.2-1.dsc d2a05f683295d62dd3d03428a679e01b 217033 ocaml optional coqeal_2.0.2.orig.tar.gz 00021971ff8c2d5430f94c5c5820f687 2316 ocaml optional coqeal_2.0.2-1.debian.tar.xz f1bfcdd31391b6fb40249f386651e9c5 9309 ocaml optional coqeal_2.0.2-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH92oSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRIu0P/iHMUhEz6MisLHflTqXvNiNcWomDekr2 UqeMdS4/Fd7mdnI6svTe511NoDEb+LsWb/UkDhPfp4BqKbJGeySts9C8czfGxxcv 6Hgz69bP375IGMjrhGLmHIYmGRoW64dZ9hM9ERTpExRC5JC38DJQks0fAUADv6RS 74MqcJyeRTnoPMuowy1j6YzMgP5f0wAsdhB537kj1bNEOmxRqqEiyzbeqIOiBr0e UFlILcGMWJX4BI5ib9Tno8uOnnJHXnhXUwKK0kn/kW1tTHOtL7MLNjXcgBkcjldz ZEaGqI7faB+WPyD52Aw+59KZIk6Idgbyq748LSj9uer2ALEKb7TB7TGlXJOvM6Ye SX2nTFOTCHncXUDNWDJkNer42vjI/dwe3R6+sa10AQN8W6ToKq4DixKaxjYdB4kS EPOFYwqgdu3X/3cJUT1S2QbrmJlpyAsh3v1FglP4lWDx+9ZhBVNv+xBH4nW5zw7E wb/A4sFiGLBhotltA5mBXWKx6IVdwn4O/ngEzOrpX02+Cg2b2lHOt8ZpetA7h9+C 4h8+kX5VwmDsMr1Z+7bR1S9Qc7qiv21wu4Wzx2O8la2azSnJNZ9RF9X/8acqBBI7 Kk2OnuJjxwoG1JRZ+rds+QFZvpwnJjrhj8xtTIqmy6FvyfW2BhTeBl82jHORbIzd YFheY209vTTq =/ak+ -----END PGP SIGNATURE-----