[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

coq-unicoq_1.6-8.19-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 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-----

Attachment: pgpd7G4etuN6_.pgp
Description: PGP signature


Reply to: