coq-reglang_1.1.3-4_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 06 Jul 2023 11:46:38 +0200
Source: coq-reglang
Architecture: source
Version: 1.1.3-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-reglang (1.1.3-4) unstable; urgency=medium
.
* Fix compilation with recent dune.
Checksums-Sha1:
263ae8f2be3991512218d2f873a73aaca3f9e99b 2117 coq-reglang_1.1.3-4.dsc
1c4be33fa5b8328bfe2f2427db262317f406bc1d 8436 coq-reglang_1.1.3-4.debian.tar.xz
a8bf9a21b2638db70ac58eea3d791c4abd9322bf 7568 coq-reglang_1.1.3-4_source.buildinfo
Checksums-Sha256:
44ab10383d30405301c30f56ba0067f926c46ee3b31045d2e6917cc55f1433f9 2117 coq-reglang_1.1.3-4.dsc
25a116f9db12de253b2b7b6f8d258942ef3571f67a5d19134486c5e1dc7bc8de 8436 coq-reglang_1.1.3-4.debian.tar.xz
757b72376272657c2c7e788fd94e21db879883048bc3d902ef99a6f81bd610a1 7568 coq-reglang_1.1.3-4_source.buildinfo
Files:
5906c1ded32431174d894b1c4c501441 2117 ocaml optional coq-reglang_1.1.3-4.dsc
c501f4349b9025b3d72fe10ed3488e0a 8436 ocaml optional coq-reglang_1.1.3-4.debian.tar.xz
9453a12675cad6998dedb59b7abf40ff 7568 ocaml optional coq-reglang_1.1.3-4_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSmjg0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVROnkP/0bMex8nHIeGf3IhgpwrOh/ymeLJhMDx
5IMmoGoBECQ6Hv8JYbnBzFGT/fpxr+nVi/cKOhJEWGAPzKedEamFBGHl6UcD1Z6c
aosQE2wypfJXU/p5cBxDeQcjDGK6E/OYY9y84njmYlCnloT4ladj78AdJ7TXcthf
54K03gGCVJTllvHgeD/yO1a+DG0h20YgeWuID4RbRZyEU7V0XQ6QNG6EWY6JxfrC
5SIxU8nFpYDAPq5s7p4wNxOoAr8DNKMMgbIOTT8A6tmFnY4Taf75whu8N0E1gpYi
aVQ+uQrojzwGOO65CoYmZNfOtRZxPOekxs4wPRDbxHUMDZko0nfpEBVk0kBu78Ro
+XkmFaRx3NKEknaqNy8xBH4VY6ao0whgi27sh2aq4quOagGJe0waQNlgFYjaPjxV
VzENNx54ztgq3u57QAWfuvsy50OrEmWA0vbtckQBvvALLFLHNk/i8twNScFXyM2e
9EW0YLkIKQlkIfXyumYrYd3r4BpHicE048wx7g9oN4J8RcV8ongIN3ethmluRpVe
C7hVJgyWmCm+WPeTbOzvzPmU/NH5uLBvoE0gbbkvF5mdbT01w4tpY98L/iKbm9om
MjqEwUUYzbbIvVs9UD5Szow6wUJ9UaFo/mGoC8MtbINdJM4CBbPrpfQjhhQLyiiv
q5bVO5nlD8DL
=R/A6
-----END PGP SIGNATURE-----
Reply to: