-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 15:27:08 +0200 Source: coq-unicoq Architecture: source Version: 1.6-8.19-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unicoq (1.6-8.19-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 51d2b3b4e19fdb729d2d50039a020f20bff2d63f 2094 coq-unicoq_1.6-8.19-1.dsc 75eebbf70381200eb536e3ea3c558f5a089c4e1c 593676 coq-unicoq_1.6-8.19.orig.tar.gz 356201613de5d88a57c3c4e7ffe75f805331b63e 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz 81a52e399e7ecfe66ddef4966b970b9352af35ad 8134 coq-unicoq_1.6-8.19-1_source.buildinfo Checksums-Sha256: 98b3df66a18b80e1837355f704c4c9541b04bdb459993b52d9af5fb7a17956de 2094 coq-unicoq_1.6-8.19-1.dsc c4374e42d176f8da31d96e6d87808b1d05fd0672a30a84739a883f283a8a0542 593676 coq-unicoq_1.6-8.19.orig.tar.gz d297d553929e693a51206af73e9bb8af86f8ec21786253d59f935606a26754e7 2608 coq-unicoq_1.6-8.19-1.debian.tar.xz a742de1826bfad1b9fbe3af77c5ae9affa8f21bb2515d1cfcea6fb122f9b1d1c 8134 coq-unicoq_1.6-8.19-1_source.buildinfo Files: b080aa689377afbbbd56d91b48d7dfbe 2094 ocaml optional coq-unicoq_1.6-8.19-1.dsc 7ab2b1818a532acb1d1aec540cc4c30c 593676 ocaml optional coq-unicoq_1.6-8.19.orig.tar.gz 2e0a396b8313fc537f29df777c6c8bab 2608 ocaml optional coq-unicoq_1.6-8.19-1.debian.tar.xz 9f7bcce7cd8eb9458c4d83ca31f63d7a 8134 ocaml optional coq-unicoq_1.6-8.19-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrq8ISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRt50P/A8iyDpoYM+FfVy6R1bwYeddycw0GM/k JAEp/TBP580x+aunQuj5ud/iDEgp+CofsnS6hFvJcHq5eFyo1xo162Rnduv28S4E D0FwrTp19r2IIoRlz7WHkRjaIXSA4IahAXmJmUtStH76tTq5P311HKftdmPVGSht qzNQZWitoRXGbz1qZDpYTkrKQRDH9ddYLfP06hUlpJi1oy0cE4FZv9O88RGofayq IGoBR4kywqAhWG1PgNgtBOV448UBvprLDfxYRpKzvl9sGpXVfzI741JlQD6qs86K 6sVG+cN5F9y4xc6y2wkaTmBZOtotg2qYSnWNzAd6GcoK0u2RezK0QwUi9G0Vqs5Y PLl/z0xn5QOZgNPqFvp2uHvq7FE6WH2ngzEAK7nymjbZB7YN+CJ+51IDYEw87loO QefEIzXyLWj3AbzPph+mGPtoGKwO4Z94PjRhZztlgrIb7+WAbWhT50pa6VLyN4hH 9ZIkTlZNUo92a1yC+iVU/j79V5MEDaxXHjeySZ1FknZH4yPD0ATrXIJf40aFiwiu +3Y2/1s4mHjy5zOswbP6HMdbB03Cg/UIhd3B+MLHPQ0Ucm5VhGFbid0faOOuHGqh AXDYPapK2p0lPGWk5xl7bk9lfQdEb7NhTNDF5e5f6ogwuibMV7117y1wvULfIC8H K1kPL0BRvkmK =bjea -----END PGP SIGNATURE-----
