ssreflect_2.2.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Thu, 25 Jan 2024 06:34:31 +0100 Source: ssreflect Architecture: source Version: 2.2.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By

coq-corn_8.19.0-1_source.changes ACCEPTED into unstable

Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Fri, 26 Apr 2024 14:52:01 +0200 Source: coq-corn Architecture: source Version: 8.19.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By