-----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-----
