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 Changed-By: Julien Puydt 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- pgpvnSoNrvyC8.pgp Description: PGP signature
coq-stdpp_1.10.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, 12 Apr 2024 15:56:06 +0200 Source: coq-stdpp Architecture: source Version: 1.10.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq-stdpp (1.10.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 5edfd385a48d7485e123acbe45deaf78798381a0 2073 coq-stdpp_1.10.0-1.dsc bd61652950b198edfbc710821c3048da7aa05826 303203 coq-stdpp_1.10.0.orig.tar.gz edc190a80fd571dfcaeb69d2ed07e67279e8370f 2628 coq-stdpp_1.10.0-1.debian.tar.xz ba3467b6430637690a2ca77e96e999ae102eae63 8052 coq-stdpp_1.10.0-1_source.buildinfo Checksums-Sha256: 4806a500d33f2b378791663c7b9e518f54be307fee131a397f8604f4f9f16071 2073 coq-stdpp_1.10.0-1.dsc c53b8cd58f778d610a010520929ebf61942cce950391ebca67fdcb3abebd5ee7 303203 coq-stdpp_1.10.0.orig.tar.gz 62274b98cf9a77343bd6da0a0462ea8a7172cd39c61d47c99db54a9f53927c82 2628 coq-stdpp_1.10.0-1.debian.tar.xz 916faffb0cf4ae6c31595e7109216780f9db6f3e36b31cd9c08897692c0a7868 8052 coq-stdpp_1.10.0-1_source.buildinfo Files: 1188abf92023f2e1750dbeaf4305d7e2 2073 ocaml optional coq-stdpp_1.10.0-1.dsc d8bc7abe369a1bb18e9c37133712ff90 303203 ocaml optional coq-stdpp_1.10.0.orig.tar.gz 5f667ec0f4275283cd1e73d286564486 2628 ocaml optional coq-stdpp_1.10.0-1.debian.tar.xz 77022f0cefb05c8beb86939b15ece945 8052 ocaml optional coq-stdpp_1.10.0-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYZPbISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR/mcP/2qi0ybNxD/Yu4Uq4CyC7K5rpaIbVYAw jW0Q4vHqpVwwqP7lTjaCre3MQ0Oy21NgH821l1rEs8IrpQravaBntrYpnp/HCIJh I1D0LA7UPkZNLgOMlygBbBZmeCBGG7EDkOskM5mgcSWlhS1G99wEyHJybcMNyDdi OXsoJzyfefWlY9NuDMppynzdfK/qjbcPdb9OcPkPcwNpJyvN+cHou+26cL16JJJB DhWnVZ03qWDuNT/K5cg/ZGJKtIModOXS7V/g9wE7Hp+NSzzI1uzsgt7HULpUOxUz z3YfNZZFZzujVZ59ZMoFlIVHcV1mFSmYZ1ggk/uGEWJVc+LVCWQaZys5Hz53/GZ1 YfHVPAmeTgBx+HKkSYy1ZnB4V9Z6+uLs68EGIs4ALdhkJLUIZkZOilaT23RCissF WNQqrnnBJ/zISC6fO9vpZQP/lFewPUU8eGfKWHEe3uBHOHkp27uqo8U36x8HMGfl cWa5BmyyIOAh7de0MB1ykZOk9Pr7h15Btw6+XGtCH2ZnpvZodVftbfEUOukDBMTB /Z9OntXFN1/Gge8P80s0WMsqvLWosrZF6MSLAFs9GJCzUd9kqN8q8ha798z13d4C 98NIwXt03PuRqqDVoFbGfNjNJ14oytXRISIAY4xPHDSsGcTldCTPJ0OCuri7MeD1 WlG0LRkyLzbU =iSff -END PGP SIGNATURE- pgpfY5kMAhlw9.pgp Description: PGP signature
coq-reduction-effects_0.1.5-4_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:50:51 +0200 Source: coq-reduction-effects Architecture: source Version: 0.1.5-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq-reduction-effects (0.1.5-4) unstable; urgency=medium . * Fix target distribution (dch -r issue?). Checksums-Sha1: 6f350bec8bacd30130a3a5b73c0954859d202c52 2214 coq-reduction-effects_0.1.5-4.dsc ed95a4d922612796025428561a46dfa3fa85f804 1804 coq-reduction-effects_0.1.5-4.debian.tar.xz a9a1485341027e02391baeb707a57a495b60a90f 8188 coq-reduction-effects_0.1.5-4_source.buildinfo Checksums-Sha256: 9faecab0311d4a8e4d1e09f95052900fd4ea6d8354c5fdf4b65c936d2b507cb9 2214 coq-reduction-effects_0.1.5-4.dsc 086f1417bfcf0a5691e569adaf7d598ff02c56bb029d932ccf97724ef0bbec0f 1804 coq-reduction-effects_0.1.5-4.debian.tar.xz 0361cb7771c58b31793a0b6a7fdd640c83ab90fe8a3a6a481155279a091cf572 8188 coq-reduction-effects_0.1.5-4_source.buildinfo Files: 08adc07cf5cc73d03fad4ecb864e6022 2214 ocaml optional coq-reduction-effects_0.1.5-4.dsc 56ca53077a580b9ec291dbcdc7ea78fd 1804 ocaml optional coq-reduction-effects_0.1.5-4.debian.tar.xz 78a6ba9834cecdfe6fb53ea95d076925 8188 ocaml optional coq-reduction-effects_0.1.5-4_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrsX4SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR9aAP/3R9Kh08uc3nUepKwYmtA4OHozUwj3de Or/VUeoweEFiWL/JmPYmJeqZQaFEvLGkIGaDEPyz75fke2VAeR4SV6raSdT8qft7 xB54tI+ZPw9UJewfMDsKLNrI6FzMPI6smW+I+P4o+URWy12kKi0liEToYiFbBJln G0ix5I5i8vIipDoy95x/dYtwaccKVa/2KtW2+I2kxl7SlC6/2i9QOyPGCFN0CVJP i/UQ5Fzgc+sCl7VDwnca2+W0+z2aRT5Cr6KwVol2NROAAg/nlIJWy3zKJSrvQ+A6 ANE9SRuYELqqd6qgioKqKxl+A3sjlSPQMRkEAtfIfqOWtI3XI+hE1wOW4xf0piAx Nl8HuDZ2EptDwDsxeV2ByKQFtGK8vRMNH4y/Wjb3v80WZU/aGAanUVRMSvw1wSvb QJUgMNpaXhiIF6OLJdiDHstspBEXlMUK64Zm9DtPeYJ4GVgYKhDOWswUnG7Te/wC Pvf42H92+/lKTseWwz3j7DM7o6KKr3V9+MausKPonSoyJX00BPyoYjn4plIlYub9 bV4YfQgMAL4YgyZSWjNvZd2b096X2Wi4XbJeR31b2BBJGM9dBl3VgH+c0Punm6RR pUaV+Y5o4C+EPCvaPt0o5b3RKuG3svV2ZkY/EeulBY4ASF9PyYqt0OEEObgq2yJa SI6HBu6i2xZ9 =GeHf -END PGP SIGNATURE- pgpqFxyuYGnQg.pgp Description: PGP signature
coq-interval_4.10.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: Sat, 30 Mar 2024 11:44:41 +0100 Source: coq-interval Architecture: source Version: 4.10.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq-interval (4.10.0-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 6319d6dee537a685db06e562d0b869c634bc4052 2194 coq-interval_4.10.0-1.dsc b5fe1cb12c7303fc692dbdc8fc48cd3b1a6155f6 299750 coq-interval_4.10.0.orig.tar.bz2 7fa16896223749dec18bff115d249c29feb912c6 9216 coq-interval_4.10.0-1.debian.tar.xz f39406d1cc3c4f5b5325bdd745d9f3acbf1afa6b 9043 coq-interval_4.10.0-1_source.buildinfo Checksums-Sha256: 89ab66274e5d6bb174b6d84aef2c17a153575965d7e68b20f29cabb562bed5a2 2194 coq-interval_4.10.0-1.dsc b2df60516c66ffe239e43738fcf9bc234741e1ca554409efa6a44491e640852e 299750 coq-interval_4.10.0.orig.tar.bz2 5a2d9495b2366a4826428dd78a0a03f9bd6292f1c60765add6b0c1ab85884dd3 9216 coq-interval_4.10.0-1.debian.tar.xz 242546c862299c6a462155631ad9ab070c8cd1e12a937c9c7f4da437164d1b4f 9043 coq-interval_4.10.0-1_source.buildinfo Files: 3f44388c607112ab3914adf7bbdd13d6 2194 ocaml optional coq-interval_4.10.0-1.dsc 4015bfff66a211ce3739fd4de7e5e6af 299750 ocaml optional coq-interval_4.10.0.orig.tar.bz2 6d86caa2432890f0b820b24e0581076e 9216 ocaml optional coq-interval_4.10.0-1.debian.tar.xz e63736ee7f623f1c58c82347779b7f26 9043 ocaml optional coq-interval_4.10.0-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYH7VsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRNQYP/3M1wW9cGFGphr1Zm5ixShmL9+qK9zYv +H3kv2H/m8HtVmza//KpL5a3ogKgsFFHrpr8bqAQUYch/DBe4YmgN4wkfTU5p6ga iAhEvc2tVUcrnZeDN3cz0wsPMFCaE2EPDJbDkHsglMiA0wSGMlmGVTwPMYZ+Wb3F Z8VLHdCBcJGjzwm+XC9tD0NxWvrDtj2ieC54t3GUShJd/ZPQxE2adURnqUTLmO1K GnJQkQ2kcsUCr2ceCkzz/ThYZE+woNBsd+VJldWKEiWin/DILcjx3YQ01xE59Ydi cmIprDNqMauwCfVSGxTuSg8bOOO6exzU0sA0y186CeJkzuGziCpSfj7vVQpBn/g/ zD2a0QgDQhSZnk+diXTBZkhxyZhERq0UxJQNaOBvZx8NHIzEI/Vc3IQYS4Dak/xP jIywy13gx6ITQmmEJopV0J5FDR7sq/JIxOfcEkaN6NGBdVCY8B5FaCGN1chvadnr 1K4A3VPUhOzA86Z978AdVU+WJqp2/eypxJtmjIUSAgjcIl1Kf8yqk/RFYMQeVDcZ q8V+RCWs9cvEM95jcHVjLHAA2LPLDun2sK18OVdDt9iALiy0Uxl3teypJVUXf+PN jweFMjS/SNCey6MHqrZzL9cJka72rr8N0+LthgUrWt+aq6VmEht3NBUZ0CE39APt IN9ayFKtRK3a =7u1S -END PGP SIGNATURE- pgpDc0Rsj5gRV.pgp Description: PGP signature
coq-record-update_0.3.4-2_source.changes REJECTED
coq-record-update_0.3.4-2.dsc: Refers to non-existing file 'coq-record-update_0.3.4.orig.tar.gz' Perhaps you need to include the file in your upload? If the orig tarball is missing, the -sa flag for dpkg-buildpackage will be your friend. === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. pgpz_3GkdMWtv.pgp Description: PGP signature
coq-extructures_0.4.0-3_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 16:02:24 +0200 Source: coq-extructures Architecture: source Version: 0.4.0-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq-extructures (0.4.0-3) unstable; urgency=medium . * Fix target distribution. Checksums-Sha1: efdd167cf7182866089868020bf02e368b39ef1b 2166 coq-extructures_0.4.0-3.dsc 52ccf7b4511fc76b4bef50d7bce6c18768602bb4 2272 coq-extructures_0.4.0-3.debian.tar.xz ad178b8a82426204fdc8a2ab08061f6406a07781 8766 coq-extructures_0.4.0-3_source.buildinfo Checksums-Sha256: 3225931576abf16713801ae1a8142ab27869d07d2a5f072bffa2e45cc5c9b510 2166 coq-extructures_0.4.0-3.dsc 9f5d1da32b130e789e3a82184d67fb6b8b19824eae2d39f65fcac69eaf401428 2272 coq-extructures_0.4.0-3.debian.tar.xz 9a470ac5d7688b999a748f4ba59401381d314b4b1fd6bda0df2c24fd4daf363e 8766 coq-extructures_0.4.0-3_source.buildinfo Files: 30896e4fe5bf7db53c4b4cd299d09737 2166 ocaml optional coq-extructures_0.4.0-3.dsc 323e91e10e3ae3ba761b8b2b833b020a 2272 ocaml optional coq-extructures_0.4.0-3.debian.tar.xz 4cad2108d943d756e61dfc24355be496 8766 ocaml optional coq-extructures_0.4.0-3_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYrtCASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRWygP/2ipNx922N4fQm5VWbH6m5i8ilBwCr/L igYDEBlnwURkzoeWRCZTwtnuT80IHNi0H5ELgViqTRDHZ1yJ2ANp1rHrx3LC/Yq3 DqZgojOIQH6jlaSw93qs7cZz/Q5pQTygC3EoFr6gG/IDcD7hnqmHSXTvQnDlKqGk J26neIoeBmst9goKbwUIgFK4MHM2uPiIAkLi9JV/hKlUoTwlM2DhWuMphXemwqUn EoGJ2R7sw9kV8nr8UAbwqE3PX3OM9EJH/1ujkXAHJatvVcevqq7JJUasccoJS2P9 kmNYyViCvp1dUSeBRxwQ2VCWISOh1x2+7izkuT7qZoyj8XMC3tsrwDK+gK1252dU B9NtJvIftb/lXZYxYC5h8kFi3wzBS9Il9IhmwekYCBzHEyxhtH9+izwBn5FNq5eU FrW6R90UTzPuc0KO7G5ttkVmaqEwJDBpSsJrKtrnT2FX7ewPkAyeB2xPhb2rIdqW auE1UIpBOKRS4jRc/hvEgRFUcJaf8yCIgCrH7tA6OR1HVrFfPaRybfgLcHf/wmYy 3UAsyxacd9UcFqNBtMLDuvDfK97HMcYJYnjiHnzU1fvNBB8og8C4Dm+gk0fu4bVp ljp4dFl3Og8a2Cw0XwzOamnJRC+in3qpDSYEWmR1pIRNtMrRSp+cpK0wVVQA7UwO 7iEUsc4FnLFY =3RfQ -END PGP SIGNATURE- pgpzM4TIfD9r7.pgp Description: PGP signature
Processing of mathcomp-analysis_1.1.0-2_source.changes
mathcomp-analysis_1.1.0-2_source.changes uploaded successfully to localhost along with the files: mathcomp-analysis_1.1.0-2.dsc mathcomp-analysis_1.1.0-2.debian.tar.xz mathcomp-analysis_1.1.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of mathcomp-multinomials_2.2.0-2_source.changes
mathcomp-multinomials_2.2.0-2_source.changes uploaded successfully to localhost along with the files: mathcomp-multinomials_2.2.0-2.dsc mathcomp-multinomials_2.2.0-2.debian.tar.xz mathcomp-multinomials_2.2.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of mathcomp-real-closed_2.0.0-2_source.changes
mathcomp-real-closed_2.0.0-2_source.changes uploaded successfully to localhost along with the files: mathcomp-real-closed_2.0.0-2.dsc mathcomp-real-closed_2.0.0-2.debian.tar.xz mathcomp-real-closed_2.0.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coqeal_2.0.2-1_source.changes
coqeal_2.0.2-1_source.changes uploaded successfully to localhost along with the files: coqeal_2.0.2-1.dsc coqeal_2.0.2.orig.tar.gz coqeal_2.0.2-1.debian.tar.xz coqeal_2.0.2-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of mathcomp-finmap_2.1.0-1_source.changes
mathcomp-finmap_2.1.0-1_source.changes uploaded successfully to localhost along with the files: mathcomp-finmap_2.1.0-1.dsc mathcomp-finmap_2.1.0.orig.tar.gz mathcomp-finmap_2.1.0-1.debian.tar.xz mathcomp-finmap_2.1.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of mathcomp-algebra-tactics_1.2.3-3_source.changes
mathcomp-algebra-tactics_1.2.3-3_source.changes uploaded successfully to localhost along with the files: mathcomp-algebra-tactics_1.2.3-3.dsc mathcomp-algebra-tactics_1.2.3-3.debian.tar.xz mathcomp-algebra-tactics_1.2.3-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-quickchick_2.0.3-2_source.changes
coq-quickchick_2.0.3-2_source.changes uploaded successfully to localhost along with the files: coq-quickchick_2.0.3-2.dsc coq-quickchick_2.0.3-2.debian.tar.xz coq-quickchick_2.0.3-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of mathcomp-zify_1.5.0+2.0+8.16-2_source.changes
mathcomp-zify_1.5.0+2.0+8.16-2_source.changes uploaded successfully to localhost along with the files: mathcomp-zify_1.5.0+2.0+8.16-2.dsc mathcomp-zify_1.5.0+2.0+8.16-2.debian.tar.xz mathcomp-zify_1.5.0+2.0+8.16-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-interval_4.10.0-1_source.changes
coq-interval_4.10.0-1_source.changes uploaded successfully to localhost along with the files: coq-interval_4.10.0-1.dsc coq-interval_4.10.0.orig.tar.bz2 coq-interval_4.10.0-1.debian.tar.xz coq-interval_4.10.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-extructures_0.4.0-3_source.changes
coq-extructures_0.4.0-3_source.changes uploaded successfully to localhost along with the files: coq-extructures_0.4.0-3.dsc coq-extructures_0.4.0-3.debian.tar.xz coq-extructures_0.4.0-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of mathcomp-bigenough_1.0.1-13_source.changes
mathcomp-bigenough_1.0.1-13_source.changes uploaded successfully to localhost along with the files: mathcomp-bigenough_1.0.1-13.dsc mathcomp-bigenough_1.0.1-13.debian.tar.xz mathcomp-bigenough_1.0.1-13_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coquelicot_3.4.1-2_source.changes
coquelicot_3.4.1-2_source.changes uploaded successfully to localhost along with the files: coquelicot_3.4.1-2.dsc coquelicot_3.4.1-2.debian.tar.xz coquelicot_3.4.1-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of ssreflect_2.2.0-1_source.changes
ssreflect_2.2.0-1_source.changes uploaded successfully to localhost along with the files: ssreflect_2.2.0-1.dsc ssreflect_2.2.0.orig.tar.gz ssreflect_2.2.0-1.debian.tar.xz ssreflect_2.2.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-deriving_0.2.0-2_source.changes
coq-deriving_0.2.0-2_source.changes uploaded successfully to localhost along with the files: coq-deriving_0.2.0-2.dsc coq-deriving_0.2.0-2.debian.tar.xz coq-deriving_0.2.0-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-iris_4.2.0-1_source.changes
coq-iris_4.2.0-1_source.changes uploaded successfully to localhost along with the files: coq-iris_4.2.0-1.dsc coq-iris_4.2.0.orig.tar.gz coq-iris_4.2.0-1.debian.tar.xz coq-iris_4.2.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coqprime_8.19-1_source.changes
coqprime_8.19-1_source.changes uploaded successfully to localhost along with the files: coqprime_8.19-1.dsc coqprime_8.19.orig.tar.gz coqprime_8.19-1.debian.tar.xz coqprime_8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-mtac2_1.4+8.19-1_source.changes
coq-mtac2_1.4+8.19-1_source.changes uploaded successfully to localhost along with the files: coq-mtac2_1.4+8.19-1.dsc coq-mtac2_1.4+8.19.orig.tar.gz coq-mtac2_1.4+8.19-1.debian.tar.xz coq-mtac2_1.4+8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-relation-algebra_1.7.10-3_source.changes
coq-relation-algebra_1.7.10-3_source.changes uploaded successfully to localhost along with the files: coq-relation-algebra_1.7.10-3.dsc coq-relation-algebra_1.7.10-3.debian.tar.xz coq-relation-algebra_1.7.10-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-simple-io_1.9.0-1_source.changes
coq-simple-io_1.9.0-1_source.changes uploaded successfully to localhost along with the files: coq-simple-io_1.9.0-1.dsc coq-simple-io_1.9.0.orig.tar.gz coq-simple-io_1.9.0-1.debian.tar.xz coq-simple-io_1.9.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-reglang_1.2.1-3_source.changes
coq-reglang_1.2.1-3_source.changes uploaded successfully to localhost along with the files: coq-reglang_1.2.1-3.dsc coq-reglang_1.2.1-3.debian.tar.xz coq-reglang_1.2.1-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-corn_8.19.0-1_source.changes
coq-corn_8.19.0-1_source.changes uploaded successfully to localhost along with the files: coq-corn_8.19.0-1.dsc coq-corn_8.19.0.orig.tar.gz coq-corn_8.19.0-1.debian.tar.xz coq-corn_8.19.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-math-classes_8.19.0-1_source.changes
coq-math-classes_8.19.0-1_source.changes uploaded successfully to localhost along with the files: coq-math-classes_8.19.0-1.dsc coq-math-classes_8.19.0.orig.tar.gz coq-math-classes_8.19.0-1.debian.tar.xz coq-math-classes_8.19.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-equations_1.3-8.19-1_source.changes
coq-equations_1.3-8.19-1_source.changes uploaded successfully to localhost along with the files: coq-equations_1.3-8.19-1.dsc coq-equations_1.3-8.19.orig.tar.gz coq-equations_1.3-8.19-1.debian.tar.xz coq-equations_1.3-8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of ott_0.33+ds-3_source.changes
ott_0.33+ds-3_source.changes uploaded successfully to localhost along with the files: ott_0.33+ds-3.dsc ott_0.33+ds-3.debian.tar.xz ott_0.33+ds-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-unimath_20240331-1_source.changes
coq-unimath_20240331-1_source.changes uploaded successfully to localhost along with the files: coq-unimath_20240331-1.dsc coq-unimath_20240331.orig.tar.gz coq-unimath_20240331-1.debian.tar.xz coq-unimath_20240331-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of paramcoq_1.1.3+coq8.19-1_source.changes
paramcoq_1.1.3+coq8.19-1_source.changes uploaded successfully to localhost along with the files: paramcoq_1.1.3+coq8.19-1.dsc paramcoq_1.1.3+coq8.19.orig.tar.gz paramcoq_1.1.3+coq8.19-1.debian.tar.xz paramcoq_1.1.3+coq8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-hierarchy-builder_1.7.0-1_source.changes
coq-hierarchy-builder_1.7.0-1_source.changes uploaded successfully to localhost along with the files: coq-hierarchy-builder_1.7.0-1.dsc coq-hierarchy-builder_1.7.0.orig.tar.gz coq-hierarchy-builder_1.7.0-1.debian.tar.xz coq-hierarchy-builder_1.7.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-gappa_1.5.5-1_source.changes
coq-gappa_1.5.5-1_source.changes uploaded successfully to localhost along with the files: coq-gappa_1.5.5-1.dsc coq-gappa_1.5.5.orig.tar.bz2 coq-gappa_1.5.5-1.debian.tar.xz coq-gappa_1.5.5-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of flocq_4.1.4-1_source.changes
flocq_4.1.4-1_source.changes uploaded successfully to localhost along with the files: flocq_4.1.4-1.dsc flocq_4.1.4.orig.tar.bz2 flocq_4.1.4-1.debian.tar.xz flocq_4.1.4-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-reduction-effects_0.1.5-4_source.changes
coq-reduction-effects_0.1.5-4_source.changes uploaded successfully to localhost along with the files: coq-reduction-effects_0.1.5-4.dsc coq-reduction-effects_0.1.5-4.debian.tar.xz coq-reduction-effects_0.1.5-4_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-stdpp_1.10.0-1_source.changes
coq-stdpp_1.10.0-1_source.changes uploaded successfully to localhost along with the files: coq-stdpp_1.10.0-1.dsc coq-stdpp_1.10.0.orig.tar.gz coq-stdpp_1.10.0-1.debian.tar.xz coq-stdpp_1.10.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-unicoq_1.6-8.19-1_source.changes
coq-unicoq_1.6-8.19-1_source.changes uploaded successfully to localhost along with the files: coq-unicoq_1.6-8.19-1.dsc coq-unicoq_1.6-8.19.orig.tar.gz coq-unicoq_1.6-8.19-1.debian.tar.xz coq-unicoq_1.6-8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-record-update_0.3.4-2_source.changes
coq-record-update_0.3.4-2_source.changes uploaded successfully to localhost along with the files: coq-record-update_0.3.4-2.dsc coq-record-update_0.3.4-2.debian.tar.xz coq-record-update_0.3.4-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-libhyps_2.0.8-3_source.changes
coq-libhyps_2.0.8-3_source.changes uploaded successfully to localhost along with the files: coq-libhyps_2.0.8-3.dsc coq-libhyps_2.0.8-3.debian.tar.xz coq-libhyps_2.0.8-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-menhirlib_20231231+ds-3_source.changes
coq-menhirlib_20231231+ds-3_source.changes uploaded successfully to localhost along with the files: coq-menhirlib_20231231+ds-3.dsc coq-menhirlib_20231231+ds-3.debian.tar.xz coq-menhirlib_20231231+ds-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-hott_8.19-1_source.changes
coq-hott_8.19-1_source.changes uploaded successfully to localhost along with the files: coq-hott_8.19-1.dsc coq-hott_8.19.orig.tar.gz coq-hott_8.19-1.debian.tar.xz coq-hott_8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-elpi_2.1.0-1_source.changes
coq-elpi_2.1.0-1_source.changes uploaded successfully to localhost along with the files: coq-elpi_2.1.0-1.dsc coq-elpi_2.1.0.orig.tar.gz coq-elpi_2.1.0-1.debian.tar.xz coq-elpi_2.1.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of elpi_1.18.2-1_source.changes
elpi_1.18.2-1_source.changes uploaded successfully to localhost along with the files: elpi_1.18.2-1.dsc elpi_1.18.2.orig.tar.gz elpi_1.18.2-1.debian.tar.xz elpi_1.18.2-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-ext-lib_0.12.1-1_source.changes
coq-ext-lib_0.12.1-1_source.changes uploaded successfully to localhost along with the files: coq-ext-lib_0.12.1-1.dsc coq-ext-lib_0.12.1.orig.tar.gz coq-ext-lib_0.12.1-1.debian.tar.xz coq-ext-lib_0.12.1-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-hammer_1.3.2+8.19-1_source.changes
coq-hammer_1.3.2+8.19-1_source.changes uploaded successfully to localhost along with the files: coq-hammer_1.3.2+8.19-1.dsc coq-hammer_1.3.2+8.19.orig.tar.gz coq-hammer_1.3.2+8.19-1.debian.tar.xz coq-hammer_1.3.2+8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-bignums_9.0.0+coq8.19-1_source.changes
coq-bignums_9.0.0+coq8.19-1_source.changes uploaded successfully to localhost along with the files: coq-bignums_9.0.0+coq8.19-1.dsc coq-bignums_9.0.0+coq8.19.orig.tar.gz coq-bignums_9.0.0+coq8.19-1.debian.tar.xz coq-bignums_9.0.0+coq8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of aac-tactics_8.19.0-1_source.changes
aac-tactics_8.19.0-1_source.changes uploaded successfully to localhost along with the files: aac-tactics_8.19.0-1.dsc aac-tactics_8.19.0.orig.tar.gz aac-tactics_8.19.0-1.debian.tar.xz aac-tactics_8.19.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-dpdgraph_1.0+8.19-1_source.changes
coq-dpdgraph_1.0+8.19-1_source.changes uploaded successfully to localhost along with the files: coq-dpdgraph_1.0+8.19-1.dsc coq-dpdgraph_1.0+8.19.orig.tar.gz coq-dpdgraph_1.0+8.19-1.debian.tar.xz coq-dpdgraph_1.0+8.19-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq-doc_8.19.1-1_source.changes
coq-doc_8.19.1-1_source.changes uploaded successfully to localhost along with the files: coq-doc_8.19.1-1.dsc coq-doc_8.19.1.orig.tar.gz coq-doc_8.19.1-1.debian.tar.xz coq-doc_8.19.1-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of coq_8.19.1+dfsg-1_source.changes
coq_8.19.1+dfsg-1_source.changes uploaded successfully to localhost along with the files: coq_8.19.1+dfsg-1.dsc coq_8.19.1+dfsg.orig.tar.bz2 coq_8.19.1+dfsg-1.debian.tar.xz coq_8.19.1+dfsg-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
elpi_1.18.2-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 24 Feb 2024 09:49:22 +0100 Source: elpi Architecture: source Version: 1.18.2-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: elpi (1.18.2-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 8cdf2543b64854426fb21a0de193bd800fa659a7 2497 elpi_1.18.2-1.dsc b43041ffdec814c3cc742485538447a4a4fd3eca 2630264 elpi_1.18.2.orig.tar.gz ded8851fda5fa166478db3a0cd4035b26ff9d036 4516 elpi_1.18.2-1.debian.tar.xz 38f66442e31811b0668bc48b99192d6d9958b03b 16229 elpi_1.18.2-1_source.buildinfo Checksums-Sha256: a4001648c27438d364a3196c2d302f780798ec27fba7b062284cae1c47646a1d 2497 elpi_1.18.2-1.dsc f955129965ba3e6e1b9fafe149e20fcbb42d353584072d8b385d67d9fd10e25e 2630264 elpi_1.18.2.orig.tar.gz cca11726a79a5fcd37521c6b832d3b6c4e57052bb861200bc8cb6561dce87139 4516 elpi_1.18.2-1.debian.tar.xz 16521713134df769b1c4bab78eb3bdd9850717c30d820ea9e1e3c685f55425ff 16229 elpi_1.18.2-1_source.buildinfo Files: 8b4945018fbf0acff200c21e5fb29ed8 2497 ocaml optional elpi_1.18.2-1.dsc e9bcaaf135735055f7d3205af5d43bf3 2630264 ocaml optional elpi_1.18.2.orig.tar.gz a4b474e735082cc2d52c2e0eaac3f0e3 4516 ocaml optional elpi_1.18.2-1.debian.tar.xz 50229a52af0760636bd68ff64c98e2b8 16229 ocaml optional elpi_1.18.2-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHygQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR70IP/iiwURWqWiie92mcMPJhqW/nTpLna06K 3/5K0ypkMUxpOOXiSSEulvvGaWrTFFIJoLOZDIF3CYtFfDFkiHJkJrXhgG4Qk7re DRceiX7IR8OVHJ6FRH30fWqvFz57NxDmgDTRiC1Nn3A55HwmJfHSGoA9LmkPFf9e ixk7Z8kmPxAhV4alA0vIJ/fDDoTAqh2f3rtHc8TZLPOF0giLKihuQxr5c4c+VHcD lc4vH0xs27quMmktqugg41ODegUavPh9cMXJvKMA/3xWTHmvo2EJfjTaubDBZsM5 2j9+Csh0S5JUigVeKWlVSFjY4XC1m9EAM1jQmoaykNSvEnHaI32Wo/EfQThseh2q 2XyEnDPl4hgj/RJ458iznUeCcDb5YoJNo87Tf+A53zh5FnD+TEWdx6Ur/e1tlTXM kxAziePCUttyUKh847E5+khdQc1ASCDhhOJ0Gya8I/LXgDtlcwWPvx1BySnsKvd6 t7JIU3T5q7Q8jMEn5faeD964m9dYP9hlAfQg1rFct/ERxBLxlMlT9dPllWQcZkUI U7m3fdEK8616eBj+vni9ytV52sJ6mHRzNxnwSwo1g6bm9KxwtOY2dGYXMawRwXQl CCRUUPJJxMeUh7sq1RbBEMhgnZyXn8rieuvps2WWeTFH0du44FOpqs/Xgu8LaAqW h/DzzckuMd+i =mhEG -END PGP SIGNATURE- pgpldsMGiu_u4.pgp Description: PGP signature
coq-doc_8.19.1-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 15 Apr 2024 09:08:18 +0200 Source: coq-doc Architecture: source Version: 8.19.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq-doc (8.19.1-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 20b2bb2ab5a8f7f4ae0c1114d4e019aa1c18ce0e 2560 coq-doc_8.19.1-1.dsc c10750900544adabc9c6b5a1cbf5e908d1ace5c2 7675945 coq-doc_8.19.1.orig.tar.gz ff60793332eaebfb6d5b97409cf8599b945e1a70 8080 coq-doc_8.19.1-1.debian.tar.xz f0cf1196a31314042a659e7570e02586486e785d 8502 coq-doc_8.19.1-1_source.buildinfo Checksums-Sha256: c816cd5a7dfa70b07ee1f1fe661223b9f885a1f9459f4449c3c061eada4360b0 2560 coq-doc_8.19.1-1.dsc 1e535ed924234f18394efce94b12d9247a67e8af29241eb79615804160f21674 7675945 coq-doc_8.19.1.orig.tar.gz b6b54677eef0e3d406a2bf296f7c77b0b8b20a9e432a8f4990b3189f117c8769 8080 coq-doc_8.19.1-1.debian.tar.xz 4715ed82fceb6680de5d712cdb1f22d5dbf8b7a7fda44e5523b3b73f63c089ac 8502 coq-doc_8.19.1-1_source.buildinfo Files: 92c7cd01f78050e54a8959cd45d893fb 2560 non-free/doc optional coq-doc_8.19.1-1.dsc 13d2793fc6413aac5168822313e4864e 7675945 non-free/doc optional coq-doc_8.19.1.orig.tar.gz 5c15462a3153fdc5a1eb3e3738c4bb16 8080 non-free/doc optional coq-doc_8.19.1-1.debian.tar.xz 658ccbf4253468438992391256e14109 8502 non-free/doc optional coq-doc_8.19.1-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYc0qkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRlk8P/i3S62xaG+NYTgrSK9mlfcL3bZKSsRd9 plLv9XoYrE49dBVj9I4lwMkfVej3z2XzeLiw445cbNsO+H2FIVn6a6YyDIknmpD4 l8h6zksxVbIw5i+ltKlHZI4uM8rO3uGWBGOI3tGMgQt90alibew8dQwynvWQUY9S eysUfqzfDUit4OH6Cd7aVLzTDBwFsss21CItBYlLkC+08nkMwWi/bjxiUzV4QigL oA+VqmUrCzeOoj5Q/TZQX76k90xgyi+eSnsveYiy8lmCSrCztVTIhIkGIq9iQ3OU yqLEsUy8dOq9mSuV2YYaoHeA2vE5xZkIA2VWCsrcx3HOjs7we54QnOMVCtDen6Im pd2y0fdP7pp/GePraYPcDYWGYA3VIBfbIETRru+mxd0eY+KkBmrVVHI/JVCfDeY6 HxS2n7oACvq3fr/6HFuYRHUTA0d7dUIakKXGtBrkEKTPVjUcwc+qFKkRTybKWO2Q Kak5qMyjmfl36qa3xtSpAYgmLyL/LP+BX37Xb6iRijxTDn4kv2pb6IZdfI/gvxr2 LoHVbQ9bWsQqKo9KdghF3GKyeBA8Fau7lv0V0cjX0LABA+s7lFV6g7zwEOPc5vCE Hw3ofgEfSBRVec/peezz3PcntrsNalPU6j7fWFfpxtfifJg0eH1S9C+547ayInlF /eVwYjRO7SwA =MNYa -END PGP SIGNATURE- pgpV_Hy3rEcV7.pgp Description: PGP signature
Accepted coq 8.19.1+dfsg-1 (source) into unstable
-BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 11 Mar 2024 15:46:22 +0100 Source: coq Architecture: source Version: 8.19.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq (8.19.1+dfsg-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: f9ad21ca3a60f53b16f58e3f15b5e537ee8f8d54 2573 coq_8.19.1+dfsg-1.dsc 674cd32b741c1235653e4a8737ef3f15e3895259 5589471 coq_8.19.1+dfsg.orig.tar.bz2 007830d7ce983fe895c1a8175c51f9913be22bce 32828 coq_8.19.1+dfsg-1.debian.tar.xz d423381a9ab57d5d3b42153e116fa5e0914dd8b3 17341 coq_8.19.1+dfsg-1_source.buildinfo Checksums-Sha256: 0fec862c679aa3e361177a7bd3ba70f214d041944fd06ecb9eb0960c81d0cad5 2573 coq_8.19.1+dfsg-1.dsc 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2 630c9ddfcdb5ee1349050f831ed86a614a66f399bf12ecfe1addcc79689087a9 32828 coq_8.19.1+dfsg-1.debian.tar.xz 915fb4065cb2105740fe9e207efcf3d17582caf135e70f57ca79ece50154a1e8 17341 coq_8.19.1+dfsg-1_source.buildinfo Files: c7968d2a09a40b727cc3594f2d0ed86a 2573 math optional coq_8.19.1+dfsg-1.dsc dea6de51a6e8218824751962ae449098 5589471 math optional coq_8.19.1+dfsg.orig.tar.bz2 f71efabfc0ab53d7d84d9c817bc56dcf 32828 math optional coq_8.19.1+dfsg-1.debian.tar.xz e59605465cbc20027b09601592edfafa 17341 math optional coq_8.19.1+dfsg-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHykYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRj/oQAICOQwmch6uhdtM1QCjbGz9w0U/ahVlN o4YTDuF19uKO2ak470aqgbpFdA/N/iRPWmMk1vrN3BMxon83h0LKbc/1XPTO6EoX qlq0v00m+tqIouIHefamS/9WygtXOjMJ+P2GYOzQ+lKS68DTgzCwZPDwctNaotTr BabDm9awEsiroAcP3WWaGk+OSVnMAmXk82b3cpwd2DMlLrQF4gN0OdQ739SlTAUy pkbAqD4naAcfChZMsFkYKJoVbqfuE0czBM5WnoXA9JZ+SCpU6wokLrc/esmtpDFZ oClIcfv1UXpvjxx/opO6Bp/o4DFsfbMJ448WlmJpvtiB6EQfTunrWXD52vZPQPwh iHKk2CHshDVyi1LtOmkQsExNzEKkEPbr2vxYle8Z+QUCpvJMIrLt+FhvKLE9rJAZ nZ51zNB5Rkv+Fk70fal0yVHTrIdO43ixqC+XxuqCgCHXaPcraO8sJA0S55PhQbl4 fTg63Ks27kywnOfc1Z/CHMtGqB6fMJDs8nb3dS1xFUIUdTBjRzzheZRmpw9SLju2 siKmnP+px3B1LwJz9OPY5j6o/mfMOnfqAUG9r2Q2aAgaW4QuYfpncEyNU/V2dkuP mwXKXwMxzt/vpQu9ftqgtXw5hGS7eUDGca0BczU5MS0TOQXWJVQV6KjhsT3My3Eq dC9YIhmK2wn2 =KbkJ -END PGP SIGNATURE- pgpUwHdzbPNrI.pgp Description: PGP signature
coq_8.19.1+dfsg-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 11 Mar 2024 15:46:22 +0100 Source: coq Architecture: source Version: 8.19.1+dfsg-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Julien Puydt Changes: coq (8.19.1+dfsg-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: f9ad21ca3a60f53b16f58e3f15b5e537ee8f8d54 2573 coq_8.19.1+dfsg-1.dsc 674cd32b741c1235653e4a8737ef3f15e3895259 5589471 coq_8.19.1+dfsg.orig.tar.bz2 007830d7ce983fe895c1a8175c51f9913be22bce 32828 coq_8.19.1+dfsg-1.debian.tar.xz d423381a9ab57d5d3b42153e116fa5e0914dd8b3 17341 coq_8.19.1+dfsg-1_source.buildinfo Checksums-Sha256: 0fec862c679aa3e361177a7bd3ba70f214d041944fd06ecb9eb0960c81d0cad5 2573 coq_8.19.1+dfsg-1.dsc 27e8da966b976fe64c496b81da2c90477dcbecea6f8af4424e9caff06d419350 5589471 coq_8.19.1+dfsg.orig.tar.bz2 630c9ddfcdb5ee1349050f831ed86a614a66f399bf12ecfe1addcc79689087a9 32828 coq_8.19.1+dfsg-1.debian.tar.xz 915fb4065cb2105740fe9e207efcf3d17582caf135e70f57ca79ece50154a1e8 17341 coq_8.19.1+dfsg-1_source.buildinfo Files: c7968d2a09a40b727cc3594f2d0ed86a 2573 math optional coq_8.19.1+dfsg-1.dsc dea6de51a6e8218824751962ae449098 5589471 math optional coq_8.19.1+dfsg.orig.tar.bz2 f71efabfc0ab53d7d84d9c817bc56dcf 32828 math optional coq_8.19.1+dfsg-1.debian.tar.xz e59605465cbc20027b09601592edfafa 17341 math optional coq_8.19.1+dfsg-1_source.buildinfo -BEGIN PGP SIGNATURE- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHykYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRj/oQAICOQwmch6uhdtM1QCjbGz9w0U/ahVlN o4YTDuF19uKO2ak470aqgbpFdA/N/iRPWmMk1vrN3BMxon83h0LKbc/1XPTO6EoX qlq0v00m+tqIouIHefamS/9WygtXOjMJ+P2GYOzQ+lKS68DTgzCwZPDwctNaotTr BabDm9awEsiroAcP3WWaGk+OSVnMAmXk82b3cpwd2DMlLrQF4gN0OdQ739SlTAUy pkbAqD4naAcfChZMsFkYKJoVbqfuE0czBM5WnoXA9JZ+SCpU6wokLrc/esmtpDFZ oClIcfv1UXpvjxx/opO6Bp/o4DFsfbMJ448WlmJpvtiB6EQfTunrWXD52vZPQPwh iHKk2CHshDVyi1LtOmkQsExNzEKkEPbr2vxYle8Z+QUCpvJMIrLt+FhvKLE9rJAZ nZ51zNB5Rkv+Fk70fal0yVHTrIdO43ixqC+XxuqCgCHXaPcraO8sJA0S55PhQbl4 fTg63Ks27kywnOfc1Z/CHMtGqB6fMJDs8nb3dS1xFUIUdTBjRzzheZRmpw9SLju2 siKmnP+px3B1LwJz9OPY5j6o/mfMOnfqAUG9r2Q2aAgaW4QuYfpncEyNU/V2dkuP mwXKXwMxzt/vpQu9ftqgtXw5hGS7eUDGca0BczU5MS0TOQXWJVQV6KjhsT3My3Eq dC9YIhmK2wn2 =KbkJ -END PGP SIGNATURE- pgpbAJEie3OGZ.pgp Description: PGP signature
ocaml-linenoise_1.5.1-1_amd64.changes is NEW
binary:liblinenoise-ocaml is NEW. binary:liblinenoise-ocaml-dev is NEW. binary:liblinenoise-ocaml-dev is NEW. binary:liblinenoise-ocaml is NEW. source:ocaml-linenoise is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient. Packages are routinely processed through to the archive, and do feel free to browse the NEW queue[1]. If there is an issue with the upload, you will receive an email from a member of the ftpteam. If you have any questions, you may reply to this email. [1]: https://ftp-master.debian.org/new.html or https://ftp-master.debian.org/backports-new.html for *-backports pgpXac3NXEAl_.pgp Description: PGP signature
Processing of ocaml-linenoise_1.5.1-1_amd64.changes
ocaml-linenoise_1.5.1-1_amd64.changes uploaded successfully to localhost along with the files: ocaml-linenoise_1.5.1-1.dsc ocaml-linenoise_1.5.1.orig.tar.gz ocaml-linenoise_1.5.1-1.debian.tar.xz liblinenoise-ocaml-dbgsym_1.5.1-1_amd64.deb liblinenoise-ocaml-dev_1.5.1-1_amd64.deb liblinenoise-ocaml_1.5.1-1_amd64.deb ocaml-linenoise_1.5.1-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of approx_5.12-2.1_source.changes
approx_5.12-2.1_source.changes uploaded successfully to localhost along with the files: approx_5.12-2.1.dsc approx_5.12-2.1.debian.tar.xz approx_5.12-2.1_arm64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of bisect-ppx_2.8.3+dfsg-1_amd64.changes
bisect-ppx_2.8.3+dfsg-1_amd64.changes uploaded successfully to localhost along with the files: bisect-ppx_2.8.3+dfsg-1.dsc bisect-ppx_2.8.3+dfsg.orig.tar.xz bisect-ppx_2.8.3+dfsg-1.debian.tar.xz bisect-ppx_2.8.3+dfsg-1_amd64.buildinfo libbisect-ppx-ocaml-dbgsym_2.8.3+dfsg-1_amd64.deb libbisect-ppx-ocaml-dev-dbgsym_2.8.3+dfsg-1_amd64.deb libbisect-ppx-ocaml-dev_2.8.3+dfsg-1_amd64.deb libbisect-ppx-ocaml_2.8.3+dfsg-1_amd64.deb Greetings, Your Debian queue daemon (running on host usper.debian.org)
bisect-ppx_2.8.3+dfsg-1_amd64.changes is NEW
binary:libbisect-ppx-ocaml is NEW. binary:libbisect-ppx-ocaml-dev is NEW. binary:libbisect-ppx-ocaml-dev is NEW. binary:libbisect-ppx-ocaml is NEW. source:bisect-ppx is NEW. Your package has been put into the NEW queue, which requires manual action from the ftpteam to process. The upload was otherwise valid (it had a good OpenPGP signature and file hashes are valid), so please be patient. Packages are routinely processed through to the archive, and do feel free to browse the NEW queue[1]. If there is an issue with the upload, you will receive an email from a member of the ftpteam. If you have any questions, you may reply to this email. [1]: https://ftp-master.debian.org/new.html or https://ftp-master.debian.org/backports-new.html for *-backports pgpVmnnZ1vJJC.pgp Description: PGP signature
Processing of camlbz2_0.8.0-1_source.changes
camlbz2_0.8.0-1_source.changes uploaded successfully to localhost along with the files: camlbz2_0.8.0-1.dsc camlbz2_0.8.0.orig.tar.bz2 camlbz2_0.8.0-1.debian.tar.xz camlbz2_0.8.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
camlbz2_0.8.0-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 07 Apr 2024 10:59:29 +0200 Source: camlbz2 Architecture: source Version: 0.8.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 1043934 Changes: camlbz2 (0.8.0-1) unstable; urgency=medium . * New upstream release. * Drop patch example-use-bytes, this is fixed by upstream * Update debian/rules to use the dune build-system: - autoconf is no longer used - build, building the doc, and installation with dune. This also resolves the previously leftover doc/ directory (closes: #1043934). - clean target: use dune - replace build-dependency ocaml-findlib by ocaml-dune and ocaml-odoc * Add in libbz2-ocaml-dev a Recommends on ocaml-odoc since it contains the stylesheet used by the documentation * Drop debian/clean which is no longer needed * Update debian/watch, to follow recent gitlab change. * Standards-Version 4.6.2 (no change) Checksums-Sha1: f9ac4356e315354f6aeae9a370b5385920cc02cd 2104 camlbz2_0.8.0-1.dsc 01d60024c25d8571d3fb6ea456ea34e4e8130a29 16560 camlbz2_0.8.0.orig.tar.bz2 bd1ed381efff854fd0b3d774a671bb0d6881de21 4272 camlbz2_0.8.0-1.debian.tar.xz bca72c6e98d8fb8c276a61af268e7e5f942b5b2e 6880 camlbz2_0.8.0-1_source.buildinfo Checksums-Sha256: 13c132c284132999ffaa1b818792982bcbc4e19c7bfd464b735a84e66d34450d 2104 camlbz2_0.8.0-1.dsc 76bfddcb8922ead8e7dfab9e1203ff4ae1f1bd7d7d8a1ec802230f49912338f2 16560 camlbz2_0.8.0.orig.tar.bz2 da71f027acbab1c26bd3453637f5a0c8717bfbab693702e3fd1259af08e22bdf 4272 camlbz2_0.8.0-1.debian.tar.xz 21a368fb121c0c11822794ae2259f77221c66256638dd33e5d75b392f6364e4f 6880 camlbz2_0.8.0-1_source.buildinfo Files: 6b0b3d5b341f52aef4907ceeeae821d7 2104 ocaml optional camlbz2_0.8.0-1.dsc 5c42ed3df3f485b85ce88e04c6566c59 16560 ocaml optional camlbz2_0.8.0.orig.tar.bz2 7d684267b625a0c06dcb1308f8c575f3 4272 ocaml optional camlbz2_0.8.0-1.debian.tar.xz 2ec35824e0f9850777604ea84b7dae98 6880 ocaml optional camlbz2_0.8.0-1_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmYTL1wACgkQdFxHZtTK zf+0DQ/+IpJ1pYkipJZ1/BbJRZC6qVzbwtcr+QqCyVOAtZmThawVc10LsN2381wr UMQUoGtApIptCheIHkI7tjLM+ZDlLniNkvqD0RZwl/gLlZIvr2+dburIovoPSKvx 2O/Qo2R4/msq9RYKuFCE0R83UVziySDwKwqqUdn7aPjHAfCw67QHPWQ4QTZPwKB9 Hzn/sdX0ozfbRXOzhA3KeFpcfPTJbMuXClBp57bnxG7WcK04/wOIPQxQmjIjWCxC 3uVyfuA1KvHDeub5b8zI6J6FA1S2ThpK9vWQQxuym+tWsIFTkq/iwUM6bST/Ds8z +cG7QzFfbZwCfe7FFB4sp8/kyPASDxYLT7eyo33nUmXnjIma2BAGqfDNkivwlvXA 6sVs/m8qPm8Bf9SfEzH7veJBpHPBpWlqTMZVk8ocDTToxz2jZf3+OYwsGQ0ZYZ1c gcIDcbiOY8SiGEaNL9RwzUn703255M4rv9NAbksIhXvzMbzyoQKANwzqK6aSrRPc aBQ/Je23f6Q39i5JtGtTekfOPugfQrsRRnP0f6Pv0k4USl2QNJZNu3E3YZG79Oy0 yFHhbGODolkDVCGEtBd1jTCRgnWfWv/pQvecDR9MldGuAA2/WDEPhNUXFDs3WPE6 J7GllK2QpS+k9MJBo+k9Z/DFWbXIDFyqU2rrl4HPa1k7snbQttI= =UuMc -END PGP SIGNATURE- pgpv_hHplB6vJ.pgp Description: PGP signature
Processing of ocaml-metadata_0.3.0-1_source.changes
ocaml-metadata_0.3.0-1_source.changes uploaded successfully to localhost along with the files: ocaml-metadata_0.3.0-1.dsc ocaml-metadata_0.3.0.orig.tar.gz ocaml-metadata_0.3.0-1.debian.tar.xz ocaml-metadata_0.3.0-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocaml-metadata_0.3.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: Sat, 06 Apr 2024 10:03:54 +0100 Source: ocaml-metadata Architecture: source Version: 0.3.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-metadata (0.3.0-1) unstable; urgency=medium . * New upstream version 0.3.0 Checksums-Sha1: e218aaf9b9a9bf5af4c876ddc526290a496a2c64 2033 ocaml-metadata_0.3.0-1.dsc 42eb8b404be621d1b91cf9718d9f7b73382f8206 207621 ocaml-metadata_0.3.0.orig.tar.gz 12790447e00e771f86c5fa93ae58fe7a7ddd2cba 2116 ocaml-metadata_0.3.0-1.debian.tar.xz 892b94f5c4d15c20989564406f41646d51181693 6698 ocaml-metadata_0.3.0-1_amd64.buildinfo Checksums-Sha256: 6e642238ee170a18cab81264b48c410fbe9bdea01fd6d90a4488037a69d78338 2033 ocaml-metadata_0.3.0-1.dsc d38653b8601f3c93bd1fbea3c523c579d320c76f8c6346b551eb25511a919e5b 207621 ocaml-metadata_0.3.0.orig.tar.gz f08e53d14c23bc83dbac193e4954b0b1d407a9e99262d37cffc235e411a3e1db 2116 ocaml-metadata_0.3.0-1.debian.tar.xz 0db01c5b988131798c9bedc31d31455a548158be6da7813fc7a19cca238358b4 6698 ocaml-metadata_0.3.0-1_amd64.buildinfo Files: c482d9da3fdcde48efba96bcf5f90f0f 2033 ocaml optional ocaml-metadata_0.3.0-1.dsc 368839ac027c397ce57cf3e4922888a7 207621 ocaml optional ocaml-metadata_0.3.0.orig.tar.gz 63be2ee6849129ef8c13afa63172100f 2116 ocaml optional ocaml-metadata_0.3.0-1.debian.tar.xz 971157084562a6eb82f0a26f5f95bfa0 6698 ocaml optional ocaml-metadata_0.3.0-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmYRELYACgkQhU8Hvggt 8U9OxA/+J53bFc9ZCQ4oEKwmvWtctFjRH9xgLl7a/0CPL6xp0nvzGjCxJu9goEjd 6DRENUasditEZCH1N2tdwBOxkcN8s3c83KgckSEIQOPXd5sByoKmzJjrdi6+rMNH AsEsGgUL1LpiYRpK5WR5sAq4FJ2X7VBgWf+sPsxTzIHolE2w/wvgfgfieNDQrZRr tlb8h2+EWwvECOt/mGUv7BZ9kB3t84DHxVaBWd5LKmLRvzNENN7+qEJEyhdX9hzs DDSW2wGFSnDvG0m4lVl7wIXjTNUg6V1B7E7vx72Z+Hqbs9/UruWlVPi0JUFEmjD0 84Sif3qJLyKtXd4EW5pcC+IkVjUynE8R8KCP1pgutwBLOhw0qeH4znr06xu3cEzM +C0en+DKKzaRaIcRJE1Nfj1FodqShKFuB4FvF/QfL7feOQUvoRGKVFQAt1OdqPTM NWcnal59/eUO7blY6UhwSyY/3mhlvy5r8XBAY3EOhwPKnuHFiMxRsRyE4CmlT+zQ MaG8f82uvaYER8h0EdWBNauQyfESnyhSuvc/XKUcxtZdIfblbQO9xoUdiuvkOAfC Ynk3PBb39K+Uul+bL/qnqxVzDCuIWaIz301Dr/P1BWgRE6ajZP97Azs6Qj+KuKyQ KB4CJFT1GWjpeL+V7Sb5CmbvQkAsiiFmBuwZtaoO0d3anZXV99I= =pbv/ -END PGP SIGNATURE- pgpaoRLESvx7k.pgp Description: PGP signature
Processing of ocaml-lastfm_0.3.4-1_source.changes
ocaml-lastfm_0.3.4-1_source.changes uploaded successfully to localhost along with the files: ocaml-lastfm_0.3.4-1.dsc ocaml-lastfm_0.3.4.orig.tar.gz ocaml-lastfm_0.3.4-1.debian.tar.xz ocaml-lastfm_0.3.4-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocaml-lastfm_0.3.4-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 06 Apr 2024 09:57:53 +0100 Source: ocaml-lastfm Architecture: source Version: 0.3.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-lastfm (0.3.4-1) unstable; urgency=medium . * New upstream version 0.3.4 * Move from Pcre to Re Checksums-Sha1: 76bb8e27003c6fabc735fc959676f3c8b1eebd8a 2127 ocaml-lastfm_0.3.4-1.dsc db489eb20fe5e28f6c43d6aecd433306da78aa19 21241 ocaml-lastfm_0.3.4.orig.tar.gz 8e8614c7cc76960e4081255f6a5aefe4ad01effc 2964 ocaml-lastfm_0.3.4-1.debian.tar.xz 7e1b86fbe01bed562094920c45ada6d598293cbf 6999 ocaml-lastfm_0.3.4-1_amd64.buildinfo Checksums-Sha256: fff8c16077666e7a96af69afe2d44a18f337b5f71467b86d1267f2bad30d7e98 2127 ocaml-lastfm_0.3.4-1.dsc 7c3916707ed3d7ffc0dc7d8e3d2ec846b7e51563e313415b75cfa27d4aed134d 21241 ocaml-lastfm_0.3.4.orig.tar.gz 4fed87bedfb306b7804a1a554b49bc83427581205eb6beffb244e39721fcd986 2964 ocaml-lastfm_0.3.4-1.debian.tar.xz a5c295a2ec12983e31dfbb0879e88aee85cbecb3cad950ba3a3412334cdf79ea 6999 ocaml-lastfm_0.3.4-1_amd64.buildinfo Files: 369d609c3ca660b03ac36d9349f4ee73 2127 ocaml optional ocaml-lastfm_0.3.4-1.dsc 491d45277f6afcb57f5d7ad8abaf4212 21241 ocaml optional ocaml-lastfm_0.3.4.orig.tar.gz 98b62334cbe24a47b890ae4f2c7dbaab 2964 ocaml optional ocaml-lastfm_0.3.4-1.debian.tar.xz c162a2521e4047debe25e6e181617ff7 6999 ocaml optional ocaml-lastfm_0.3.4-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmYRD2IACgkQhU8Hvggt 8U/UVRAAmR8fOYyJzMxEarAWW4ypu/dc/AYW/M9gMmjKoYov+7H1fSzcFT66x9p2 +lmJ4lRl7OJKSzAWNdpFYgbtoWuY3t9+nZzGu2Kekr5Af725+tJJVsfvqbkMGTK9 sab+2QftRJczHBqRI3y4kOWM9zmuDqEsgi/VxDpe067wLJl7iopFIVowXItc+1Lm Ay22HS/Es+hNACfaVJZPFA3evWLECOZmiZ8W64eP2KjLpTelHK6cH2OXGSBWssCv aPZJOho5oOQU0/GzixClwiVDlwyXuDMict4geCGZPzs2u4AsD0luAI7VPKRorGTg gCDdES6uK73J41rc0cmAKk4TpSqU6i1a1gx8bRQLghpa8r5D12YF3Vks0GE7hm/b fgCefcH+a9NlJyGGpTXbVrNpxxf7G6+onLV4ZWiRqQw1pamlLS8hiNDrZHr4zqHk Xl4B+CXaPMj7rnjuwTtsJfdZiUjWVtMgqcwaAUDWClPR/YecNqXbhrd8WY64ueeX mBmyTgy9BrxqSlKZ9Weenyd2kASdMOCv7hhgIkkIxIVO2qpAEPej4DPSZqsAXt6/ EAlhf6OIIaUl/1S+BhVgMimWLA4wD8crRzOiT63twbvIctnJmu3sq9AN5VOon93a H8K9Hnx7ZShwOt69wKDRx1cu+tTUJp5zzZk1LsOgxPCeJAG4BgQ= =6j9S -END PGP SIGNATURE- pgpojwd1FqGGr.pgp Description: PGP signature
ocaml-ffmpeg_1.1.11-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 06 Apr 2024 09:45:08 +0100 Source: ocaml-ffmpeg Architecture: source Version: 1.1.11-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-ffmpeg (1.1.11-1) unstable; urgency=medium . * New upstream version 1.1.11 Checksums-Sha1: be416c53bb7c7687a79db081e268ff87d71073fc 2221 ocaml-ffmpeg_1.1.11-1.dsc 55b56aacdc5bbd46d5d5fce3979a46a89db2489f 108784 ocaml-ffmpeg_1.1.11.orig.tar.gz 43ba6a59bfafc5365f7c94bd1d7a15726df093b8 3196 ocaml-ffmpeg_1.1.11-1.debian.tar.xz fc3a8c4d76ca7c6cc13fac39d082eef148e0452d 13727 ocaml-ffmpeg_1.1.11-1_amd64.buildinfo Checksums-Sha256: 6a85fb119512410a48489f5fc58efb819bb4fbfe0c98ca70086aa3c1b2aba9ea 2221 ocaml-ffmpeg_1.1.11-1.dsc 0bbfe78f0b9619009029b4a8d7d65895aa0d2161e6fc5d199315dea56c4e2a0a 108784 ocaml-ffmpeg_1.1.11.orig.tar.gz b7d9856ce09b4ef02c3d461ad4090ffc207f435505100420efaad9ec40c42bbc 3196 ocaml-ffmpeg_1.1.11-1.debian.tar.xz 06eea0f6de25d1f816dd6973822bec0449b0b2f0d8d3a7b89c45e6bd9ab9a9fb 13727 ocaml-ffmpeg_1.1.11-1_amd64.buildinfo Files: 31c074fba19db0dce54b8d26f7fc84d6 2221 ocaml optional ocaml-ffmpeg_1.1.11-1.dsc 543fd7ecba7eece376d0a84d11355f61 108784 ocaml optional ocaml-ffmpeg_1.1.11.orig.tar.gz 36ad239c113182cfa3ed82f19b25d25c 3196 ocaml optional ocaml-ffmpeg_1.1.11-1.debian.tar.xz 0c02de6bfbaec89e3200942492fb3483 13727 ocaml optional ocaml-ffmpeg_1.1.11-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmYRDG4ACgkQhU8Hvggt 8U/QpBAAo5CXLOJqFXqZjgn/vcsLc1uCjKdOHBggoQQoWAkFSsRJosyYAT1Ol3si d9ekmBSn3dP4+0pyqTAiEyRyNN4ufAmb9RyFtKAOSgFqPmoV3ZIeaxftC8rqybKG YxTIyGwrAdM+6DNCoZZYnfjylT6djmdOnqa/FScTMgNwGimDlY0XxEwv/XKAbOsy sYz5viEQkCSpggRTSguVFLjAcyMZPHPKUJhD6bnSqaqfoKn5rwxZLZueBPGJ2ppr /cQzsFQV1LeYF6A+ecvUoX5m4se1tRYiVaeB3v6qU1CidIqDxa1igDXBS2KS9E3N DWNxsV6vpZpAPlb6/S52fqIzUsf71HzeMnR2FrIHXEUxu+xqpQ1vt1wDbXTae1OG YZEngw315+BXGBeYJMI+qv+J/+FHyHnTjSW6BQEY3kRA3ypaDO71rUCxZZ1f2Zz1 nUejG7NzRHw+ADGj8QwzmisWgCpMQbALaxDg+VNfP22NXU6BXTtEpXXDXAoH/aOe 1E0+EyeiYWr7dwQtfm+dL1k2AaP+MkVbvcnWcOgkw1jj1e3O82PLFXEbT1qCXYDg Q77jpzPj7z2pRFUi3LnMpXzIZeqkTAFFdjgX1MygZjTWNS+r4GyRUOhEjqdz7EHn w9p9Dx/AaX+pL8S5HAHRQFW+H9Y53droSDEowqfCaRh2nqMBQDo= =erHI -END PGP SIGNATURE- pgpY9cFv34lWT.pgp Description: PGP signature
ocaml-duppy_0.9.4-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 06 Apr 2024 09:38:17 +0100 Source: ocaml-duppy Architecture: source Version: 0.9.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-duppy (0.9.4-1) unstable; urgency=medium . * New upstream version 0.9.4 * Drop patches applied upstream Checksums-Sha1: ddb4a35b4a252fa997f14b4db09b1db4aeddde0d 2082 ocaml-duppy_0.9.4-1.dsc e62a93241689412f76fe88bf90464be85014668b 34106 ocaml-duppy_0.9.4.orig.tar.gz 1cc45554ce5908cef958aa205c905ef3903cc6fd 3572 ocaml-duppy_0.9.4-1.debian.tar.xz 652b5c0cf7d281b0c994edefc146fd9b07454c1f 7289 ocaml-duppy_0.9.4-1_amd64.buildinfo Checksums-Sha256: 4c976f998bbc8941626448fba5a1fc53a289c9ea1adbea1520a848757f9dd061 2082 ocaml-duppy_0.9.4-1.dsc b10f5b61495f934996c3f5ac7b01f2e4ea1b31e3418adb7c3fed4edc32a42686 34106 ocaml-duppy_0.9.4.orig.tar.gz ea9be6b030d13a82327f3d27817503c17f430632c38833ef087962bcfcf66680 3572 ocaml-duppy_0.9.4-1.debian.tar.xz b4e109d371f3f969a4e74b96a81fe888f9094fccfb4ade020457aca0d940f475 7289 ocaml-duppy_0.9.4-1_amd64.buildinfo Files: 2217cb4a3e781d4c7c7dd7a565d05b04 2082 ocaml optional ocaml-duppy_0.9.4-1.dsc cfcdb5749d63408aa871d76c8ab10457 34106 ocaml optional ocaml-duppy_0.9.4.orig.tar.gz 68a45ff105b3560b301be8009d5ba522 3572 ocaml optional ocaml-duppy_0.9.4-1.debian.tar.xz edd75d054116434acfa3c223ab75861d 7289 ocaml optional ocaml-duppy_0.9.4-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmYRCt8ACgkQhU8Hvggt 8U+I7RAAmiJOCjdNYs/AYFVR1rkJLdqAb5onA3IdLVGnaFg0kEwaIm0oKJh5PQSw dMTQVB32nRAz7B7VwvI2GqrnjKRJB0iPDw4bDiHWs3b0jENl5VG+ZvzRi94TYIHq J5voz6zgf5ErYdFKty2OkLJB231jxsIjZ8oOR6GR5BkfoL+MJIxX3DXgKZDMR1G5 a4XHFCGkZ+zWGfNfameqNel/bJU5SEs92edIWhEMXXjH2sEJtwG1uUVGQKOTEHuh PiSmiwqLrWGhuDNeQY3lVMMo/nrnKOi9UhRffZtdLigvEOCU+C4bxIFXfbMKoQ/M WN0kPHMTToAEZLiGm24+kO8y5cXdNefzL+IiX19oN3eIrD/yjhroQVq1mjHEkdC/ iQQjvsnmXCvcTO1yVMM89PnBL2xYxJRZ5sfkN/MIx3w0bNiSD0sMHkRCIy/oEMSq 0/Exwjdk8mSSdYPuRyGS49Sui4wabc83YXNDOORzjERK6zdiw5YByYS1K9HYdZZg HXNY2mnjRwdgz3n8tsCm4l6RzDcybTEKY+NxukarsnyfNfBqOuGOvD3fxx4Fozxc mryz2F3ZHaY/xgiG5q86KYqgU1qXQX1AsFr2SRb1pYiB+BOQLWtFPS3N2mCgi3nG DGbvGVQp2tupQHoJs0gka5r7CgYDAowFlv4O0X4qbQRmgUUEAf4= =lYOC -END PGP SIGNATURE- pgpC_xQ0RrSwO.pgp Description: PGP signature
ocaml-cry_1.0.3-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 06 Apr 2024 09:29:34 +0100 Source: ocaml-cry Architecture: source Version: 1.0.3-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-cry (1.0.3-1) unstable; urgency=medium . * New upstream version 1.0.3 Checksums-Sha1: 2c43456f1727b5fc2d0e256bfbae04c43a4d6fd9 1994 ocaml-cry_1.0.3-1.dsc 1a68d6db925b11fe33cd22dd4457a9090dffd496 20613 ocaml-cry_1.0.3.orig.tar.gz c74b202bd6158a4dbebb70e493ac811a4c735a66 3144 ocaml-cry_1.0.3-1.debian.tar.xz 042c20310790db4c644f1fc6c092af2f3c15677e 6717 ocaml-cry_1.0.3-1_amd64.buildinfo Checksums-Sha256: 6dc36f7d7d5de3e209c9e18742a99f9d3c2db39ce93f14fdb6ed721b22802b50 1994 ocaml-cry_1.0.3-1.dsc 6b55a0ce21f53412cde6fc3b575be948f8ba37ef7122c93a86b7b2dfe7d93e24 20613 ocaml-cry_1.0.3.orig.tar.gz 26d76b617400e3f9557684c3e249404dc6a6cc08bc6dafdef1ddcd6996457aa2 3144 ocaml-cry_1.0.3-1.debian.tar.xz b57403ce70473adaa7973c4a50f9330fd1c8dcf62eeca3e585d373692239313a 6717 ocaml-cry_1.0.3-1_amd64.buildinfo Files: 7230320cc3ad3c25fa2843ec7e46f554 1994 ocaml optional ocaml-cry_1.0.3-1.dsc 456541e0120a8192920f0bc4137d7e63 20613 ocaml optional ocaml-cry_1.0.3.orig.tar.gz eab4b1b64f260f8c7e8fb16a3321cd45 3144 ocaml optional ocaml-cry_1.0.3-1.debian.tar.xz 41cb78cf316165b4df0562ce3d540bb4 6717 ocaml optional ocaml-cry_1.0.3-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmYRCIsACgkQhU8Hvggt 8U+7TA/+K3WzsireR18wqT+RCbIfLSwvuIAYd6IUe2s4ySvyqFgUOruCparIisMv QeG3nCbqr0q1EEj6Zct9RQvyhfpkwTSqZWXPaJncdNR9LI5erGmn1h02Aa4U6Qvs dBXflglyxN7sAXvcKaPa291+bQESw6kemG8Xn57UcE+HyMxxMGvJ7UMsisXiLL6q 7c8PhrotPeEi8BkVYqEZ+pwaMqOY6Lj79fSZ9XcKP8g5NDZmwCFlgM7I9sWd7XKJ 3x6O3wgJxDF+fBp8PUJod/PPuTcHjr4eBs4gD0eANdCLcV7vcpzlRpztk5yG0lyi js/trUZkvEfWVu4L29BuAAYxAeeqE2OHxKJupGGzAr9YDrNLl02BysbiMvA4JHRB ab897BnO7hU3MgkF+4ds9+BF8V5V3jxL2aLF+94L+/2Dp8vFaLx/U0RhT5F142Qz a+3sNVZMRC4Vb+ACBnPH8jYLDldkx+bYHUVD+a8syO43Sng7mcqaISNas+DMuyL3 62DHGtVqL1jgLZKa8KWpkOjncTszyOe5UeYbjALBnO2rNCq1iDP+OrNti4WXukTJ Zi4yWdYVy7EYNw9CbaNEY0QGl7OcnE1fQXzu7LmnXY8R7Pq7ygQ+VXEjfav3ucTX llmtwzBVP2YEdO4IizKMcnugQeQn3ulwVy1RXm4Y0W8wn4a4Cw0= =n3jM -END PGP SIGNATURE- pgpvMOcPQwwsS.pgp Description: PGP signature
Processing of ocaml-ffmpeg_1.1.11-1_source.changes
ocaml-ffmpeg_1.1.11-1_source.changes uploaded successfully to localhost along with the files: ocaml-ffmpeg_1.1.11-1.dsc ocaml-ffmpeg_1.1.11.orig.tar.gz ocaml-ffmpeg_1.1.11-1.debian.tar.xz ocaml-ffmpeg_1.1.11-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of ocaml-duppy_0.9.4-1_source.changes
ocaml-duppy_0.9.4-1_source.changes uploaded successfully to localhost along with the files: ocaml-duppy_0.9.4-1.dsc ocaml-duppy_0.9.4.orig.tar.gz ocaml-duppy_0.9.4-1.debian.tar.xz ocaml-duppy_0.9.4-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of ocaml-cry_1.0.3-1_source.changes
ocaml-cry_1.0.3-1_source.changes uploaded successfully to localhost along with the files: ocaml-cry_1.0.3-1.dsc ocaml-cry_1.0.3.orig.tar.gz ocaml-cry_1.0.3-1.debian.tar.xz ocaml-cry_1.0.3-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
liquidsoap_2.2.4-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, 21 Mar 2024 16:02:22 + Source: liquidsoap Architecture: source Version: 2.2.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Closes: 1064128 Changes: liquidsoap (2.2.4-1) unstable; urgency=medium . * New upstream version 2.2.4 (Closes: #1064128) * Drop gstreamer and lastfm support to fix build Checksums-Sha1: 541c10cce6fe979f80a0563791009948fbe1d161 3783 liquidsoap_2.2.4-1.dsc 76f0522a1cd48946513548b22c4166e273c3a8ca 3120941 liquidsoap_2.2.4.orig.tar.gz fd3745cfadee60654eb5c863c73ea6d09286d276 12212 liquidsoap_2.2.4-1.debian.tar.xz 75de1b2489a010f9050e117e0eb2e6700cb01582 25795 liquidsoap_2.2.4-1_amd64.buildinfo Checksums-Sha256: be987acd7b6515ff28ac2cb82a2e2d1edde396ff03cc55632ab4d479e6265ca3 3783 liquidsoap_2.2.4-1.dsc 391c43a910084ad6421a61bdb5390b8e8fff42564ec097e6fc6d4532c2036765 3120941 liquidsoap_2.2.4.orig.tar.gz f8bfa6b184152edcf5df78857917ff2b90ec9206ff7f9be264cedf607a8c4bd3 12212 liquidsoap_2.2.4-1.debian.tar.xz ebfe778e837cd646befed293d2fb14d2d3991bba6423979105ec98917b23b03b 25795 liquidsoap_2.2.4-1_amd64.buildinfo Files: 8a2a0bc98aeeaf858a57ea545645d2b0 3783 sound optional liquidsoap_2.2.4-1.dsc 76f8d12f8245cc1a28845983c7661e51 3120941 sound optional liquidsoap_2.2.4.orig.tar.gz 64ea510c4b4de5b1adc6e6dd5d462ec4 12212 sound optional liquidsoap_2.2.4-1.debian.tar.xz ffe7e6baa5d530087d1049455854ca51 25795 sound optional liquidsoap_2.2.4-1_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmX8W+oACgkQhU8Hvggt 8U/GTA/5ARp7Cb1lkwGOra2EqwsNnzfhDOLYEz0Ob0iWPZdDZ/tAfX/qC3Of5aBY CJWzcX2Kf3XqwcRRTVwlN2YmLjbE7iu1BOSFumJB7xdaDbffLBRP+kgz4ciiNV3q aDeNlloVr175UqfDXZPWC8kUKQaqQ6TUbia11Gaw+YnU1F4E+qn38amTI2j2EZW0 elgTYvmokbyZMaAmlPZOIhCFpHncaKvnZTefpBtqPdJ79RsjFJJSDijarpJTKFw+ 9kRIYKu78mm6tXNILR8MPI8P7/C98fsJ3BtBqdpckXBPGGsVmCDs5KwS/AwJYK47 7hfYBrWBUu0n/D4bberx64YYeAzdvHEpvzBPbYZUtDkJQSqxPX1Y2rVo/2wqKFST 2nfPX9BvchRTu28mKsQUd+grbuJoYNLiCOidZu2lSjq4ZSckRBziOC96KlyNxqy3 xnoOvaPyOycSrcpO16Obogo06xh9Jp0jl8kfvSwZl47ok0d6J7joOudYjWlkOr8G XbJjByFATc8KObEMAFt35PH3Cn2Ct3tBLcv9yzjP2rV4biHd0Qg1VcB15Upy2dnw QCc8tMlshTEo9WWZ5P8wppOdZMf0omolmWiSlmJ9eD2kfLVgW4fYY1kdh/j+DrZD 1OeoZTXHK+lFoBGKhT6VFPo6IY+uwhcjWMDbh+mlJ2S8RnuxTI8= =pO77 -END PGP SIGNATURE- pgpoInDH2PJ0T.pgp Description: PGP signature
Processing of liquidsoap_2.2.4-1_source.changes
liquidsoap_2.2.4-1_source.changes uploaded successfully to localhost along with the files: liquidsoap_2.2.4-1.dsc liquidsoap_2.2.4.orig.tar.gz liquidsoap_2.2.4-1.debian.tar.xz liquidsoap_2.2.4-1_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of ocamlnet_4.1.9-5_source.changes
ocamlnet_4.1.9-5_source.changes uploaded successfully to localhost along with the files: ocamlnet_4.1.9-5.dsc ocamlnet_4.1.9-5.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocamlnet_4.1.9-5_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Tue, 19 Mar 2024 11:11:20 +0100 Source: ocamlnet Architecture: source Version: 4.1.9-5 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Closes: 1064086 Changes: ocamlnet (4.1.9-5) unstable; urgency=medium . * Fix netcgi loading in Apache (Closes: #1064086) Checksums-Sha1: 23cf66d1b26e38e14504acddd5f973e2de9d 2417 ocamlnet_4.1.9-5.dsc 63ed7dede0a4e3abe77bcee47994f6b0ece66468 16624 ocamlnet_4.1.9-5.debian.tar.xz Checksums-Sha256: 33472071f0b64dd7f6fff282ffb0d40f50791494ca0b1f19ff5c0ea72d5b4f4c 2417 ocamlnet_4.1.9-5.dsc 839076e3bc5884f936ad6e01e20f75122a11d555c020aeba04be322b9e010470 16624 ocamlnet_4.1.9-5.debian.tar.xz Files: 07e274ca8222822643d20049a382e02e 2417 ocaml optional ocamlnet_4.1.9-5.dsc aff3d5eb3d973b5447018bab5e872c72 16624 ocaml optional ocamlnet_4.1.9-5.debian.tar.xz -BEGIN PGP SIGNATURE- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmX5ZpASHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB3XUIAKNQ/PrT0WxAC0iTKYw4W98UJpYm/DsQ r9UkUPuZ+3XrB2qCLHIN2hxgCjeTOgX/nEhXQN+lnt9OFaZXwc8bDL+mbpLYfNHK S6Sc8RAubD9KUoTUSzG+R7bRgyejm+NBuTpJt7zTJNjD0rrrIqOLO1LmNnH8YWX2 yeEskRsu6HgBSelmu6/jd7y2r367YrUcwBmUG+tVUxN/bEtSfm6Dw5HiiHHzCckm lY215TKD3VCVuLhUDZ8iVpo6BZ4GF8deLFW6fjvwHHU7bENFPsUQPKD385Mi2w6j oRAOOvk1eO3CgoIgUZlVnZ+k6tMXt0FmA7W0M+Li+QydDDrsQIf4GmY= =8epD -END PGP SIGNATURE- pgpxXuiEiVXbJ.pgp Description: PGP signature
ocaml-mm_0.8.5-4_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 16 Mar 2024 19:26:51 + Source: ocaml-mm Architecture: source Version: 0.8.5-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-mm (0.8.5-4) unstable; urgency=medium . * Replace explicit dependencies with dh_ocaml Checksums-Sha1: 02cb1ba12e8ae12d8a1d3188b8c7600636b3d736 2157 ocaml-mm_0.8.5-4.dsc fc73ceff9b86140395a5678d117f8db14976e050 4344 ocaml-mm_0.8.5-4.debian.tar.xz 321a9d45fc364548d3a80ef1d2846caebffde165 10024 ocaml-mm_0.8.5-4_amd64.buildinfo Checksums-Sha256: 76394d6f571aafd545c27b81b7e65a648ff2f79261a680e6590b1c9d9137d7d1 2157 ocaml-mm_0.8.5-4.dsc 9887a7a05bfbfa2b057443d0bbdbccd80d4755f2761374aab4eee5e70e160456 4344 ocaml-mm_0.8.5-4.debian.tar.xz e5cd27ba409a8c87ebeb29a0a82675d5b4b462fd58ce1e015c7469614ef21748 10024 ocaml-mm_0.8.5-4_amd64.buildinfo Files: 8c6d9c539e67ddaff11e8c8912741728 2157 ocaml optional ocaml-mm_0.8.5-4.dsc e03b6924d1091985acb36602ee7c1772 4344 ocaml optional ocaml-mm_0.8.5-4.debian.tar.xz c28c88ac89c1bfe2226336ff249b5464 10024 ocaml optional ocaml-mm_0.8.5-4_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmX18xwACgkQhU8Hvggt 8U8u3xAAmVz+Cq6qeQ/LfxtgxRMaTiP7c6ZeRNsd4dGhom4HRMqqpfG5WvoIxfB/ xzak35hFtaQoPLsT9tmh1Ii+nN3Mgl03yWTh/PL45cklLMQ04vxJ8CVK0UVFncbn CUzO0Z+NgVc1t/7UiJAwVjK2Nr/3vfIzoAKp+zF84U1PeAQILCUM7DPNIJtYwFx2 9fHnEfYEJ1nQPzAgvCQWFshQFXGYM2sYXiYivXq++qoh91DsyzASiBqbH0H9H6Yf EKAnc267lFwQpCqBOb1RMOaFpqBWFC8pqdN/690FkwZinSL3AviOri/zMWB1EvjG qEf5Gy0h1leM9XtVQ9GIUNo49pyE8XXQqIxGXC72gziUdVYOe/eJX9qzpt2K90DF WKYweKTHImcnJhGa2CEhmZ0oUqfhW4Lnx7zmeJQ4MYV4V6lvPYdFk+hGgFJsgO8F UdZTpc+aDZLIKCpmODE/wW/4FX3kWJxZeW6cd2DlXR3pj31QvhmkTt2uRQxsVNgg 1AcwBcjIqWxWk3fmT2H+ZY07a0U1zxXLuFCGKfYtSOMZtAlU3W0QQF579+L+jxu+ BkRZSUPc6Z1RMVjzZTS5SkWjTjvkUvBct3vBABXsEx+LNpSot0OKzRGoNuNKsRCe Vz1+5elVTH7Ht76a6DvaV3lkc84mZRZGIycJYHK3yUsoXfGlSXQ= =F759 -END PGP SIGNATURE- pgpD329Bj6x93.pgp Description: PGP signature
Processing of ocaml-mm_0.8.5-4_source.changes
ocaml-mm_0.8.5-4_source.changes uploaded successfully to localhost along with the files: ocaml-mm_0.8.5-4.dsc ocaml-mm_0.8.5-4.debian.tar.xz ocaml-mm_0.8.5-4_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocaml-mm_0.8.5-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sat, 16 Mar 2024 19:13:23 + Source: ocaml-mm Architecture: source Version: 0.8.5-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-mm (0.8.5-3) unstable; urgency=medium . * Drop extraneous dependency on gstreamer and ogg in dev package Checksums-Sha1: 745b7c15a5671f99cc2bc6a8b798278ee7a4fb1e 2157 ocaml-mm_0.8.5-3.dsc 21831557c4dea4fd834687dff5f364ffad667613 4336 ocaml-mm_0.8.5-3.debian.tar.xz 68469161183db9083f6c7f5481113c18d25ec9a9 10024 ocaml-mm_0.8.5-3_amd64.buildinfo Checksums-Sha256: 2cb407e0e8dc0f83723229c6c44486b5297e0e3540fa018305b361712981c6bb 2157 ocaml-mm_0.8.5-3.dsc 71cfc69ca71e662c966235e8efd8fda3fcdb1795d1719588d8b1b675ba49f912 4336 ocaml-mm_0.8.5-3.debian.tar.xz 2fc5fceb502fdd86cc2fc2053c07d69b97e2a57d4d5bffab7a9e801f0db87198 10024 ocaml-mm_0.8.5-3_amd64.buildinfo Files: f498401b447a4bcfe44b05acacd86ad5 2157 ocaml optional ocaml-mm_0.8.5-3.dsc 9804e273e2a53c66a838acb3b7456223 4336 ocaml optional ocaml-mm_0.8.5-3.debian.tar.xz e4deccc5fb14cc495a686162bff3697c 10024 ocaml optional ocaml-mm_0.8.5-3_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmX18QgACgkQhU8Hvggt 8U+ksxAAlcVJ8K1DOhCY4WdzGosQbzVBZvNcjbmlIRvfFScljrCkFccWeya4Yah1 SQNuhZ3A+TQV7Azxa/c3RzmenSMDCIBDllW9H+PMNKrJF55jrIgvrH1PKEMElzXQ HUIQFs57SYyyxjZMuJgLiYAnPjweZV+xF3LstSPd5BUsrNJAqKhJJoZ060osaZq/ pKjX7d4Mp1MyrypaVJMhiZPg5s0y0u9eXek6MZc6RDkv2qSqgDon6FWgqIMJPKMC Tvlzy+n0UMwGOED6lyQOiGFGaiaJlCDr8tiQFSn/7+5mswINOQpeMqP7JjZ4P45Q th0vGcGXWYn5sM63EXCo0mTF4yrd1qvc/YqwaPjv0TxkphywzQg+IXTNAG2c9xo0 1kXQJ0AGahQrVbOFDyQp5BvT8EqWOO3J7fHjZP7CpQ08D6oQqtKcyhbYMGAPXQfA kil4o11dQjQCMl2iSoiXWECP/vYtYytqED86FtXduZ65NNIgxXPCx7KFM1TO+4SD LiuNL/uH2Oz5ypBLMHE0D7gNcfyhrSjV51WJZ28hgGSUzDq2v3rmILHcsw/5YCa6 qPmB9sKexNj41cTg+RkG2vAfSm2ymJrEX+Ic5+j92s6v80DghWO19qz293nWtzUo yQ0op7UDu3ACWcM2pvD7lIgfGko5Gew9KrOpINRFeWLPBewQWjA= =bpb7 -END PGP SIGNATURE- pgpxX0aaQEIcR.pgp Description: PGP signature
Processing of ocaml-mm_0.8.5-3_source.changes
ocaml-mm_0.8.5-3_source.changes uploaded successfully to localhost along with the files: ocaml-mm_0.8.5-3.dsc ocaml-mm_0.8.5-3.debian.tar.xz ocaml-mm_0.8.5-3_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
morsmall_0.3.0-7_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Sun, 10 Mar 2024 10:45:11 +0100 Source: morsmall Architecture: source Version: 0.3.0-7 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: morsmall (0.3.0-7) unstable; urgency=medium . * update to morbig 0.11.0 - patch taken from upstream: follow Morbig API change - bump version of build-dependency libmorbig-ocaml-dev Checksums-Sha1: 99b95ffb9a58e039f842bbd7dd73aeec39fac2d8 2132 morsmall_0.3.0-7.dsc c74e6b89402e9614f567bd8e98d1df1ddf99a467 6364 morsmall_0.3.0-7.debian.tar.xz 2b71d6320ae15fee80abf06c76963786ebcdb89b 7483 morsmall_0.3.0-7_source.buildinfo Checksums-Sha256: ec820a364ec299410a481ee4590d5b98ce60e93d7981501e0613cb2f4d38271a 2132 morsmall_0.3.0-7.dsc 970283b4c53d5dd6af9e9116e091d12dd0bec7977a69fc09b068b6d747ecfb22 6364 morsmall_0.3.0-7.debian.tar.xz 655be0f09807514d0c9441e7d81b8da0e2cd681313ab61f4b817e7b59bf094b0 7483 morsmall_0.3.0-7_source.buildinfo Files: f13d4759484654635e8d635bf85b996e 2132 ocaml optional morsmall_0.3.0-7.dsc 7329fc870283d209b19857a728fef106 6364 ocaml optional morsmall_0.3.0-7.debian.tar.xz 21faf6c35c6e134a3b55729bf8bacf70 7483 ocaml optional morsmall_0.3.0-7_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmXthZMACgkQdFxHZtTK zf/n6g//SAwpgOMfx7kQoJXvCZL6YJErd4sLZvUOM6pIKEvhCv/xaEj8/pLgfBId EGy6dIQnQNbobFS8sf2YP5BVXZL2V1WxvEbQWaBPQ6cRq/xAm7Wei8V1DIDT3BrA NiTmq6XOf0Uxs8mPorDHltYxykkrSv/fuvd1SocHVZXERBRReLcp2KsGb7EmCx/v DyPf4VcovB0ocIx9PgjOEVSSwZKIHycyg/m1PkRLx7dOfg9pg7houXVwyuU5fJxs dKeZ7qrd9i/aYimy6Ld4SBJ0APkV4zqr+FGd20IJbkgrvY4qMhYlESDezWBM64Hm JlnSkDFy12NPzElSm8OlqzCNEHPjzdEZFkmkWsQLM4uZKvmoXI/7HPw24QU2pEwm t2lFVLqzjvzbw+wF9gn6tj+7AFRXUW2seR7Ek8SfYSgLCIOiJRRQNnBkyIsg7fF+ p8mEdw+l6pd6lgmhwSMjHNapM5V632keUIp5//Mbju1HjKKW2Q9pYdZRtbZEHpA7 t+mUMtKjY5BLH+OVgNzcsmygVcGo+8RUscjmTyIP7c6lca9YjkwKU9lHdIwb7omo y2cOLeBB1z/jnebBb1nOECrvoXoPE5iJ7cTEDy4+hg8i77b6tZFxXw9gpSKqXqXC rrbeYL01bavvzIaFSKpuD1Vxbm8QFdX9R0voJECOtyLiUUQw098= =eFn5 -END PGP SIGNATURE- pgpF95IDJqKMC.pgp Description: PGP signature
Processing of morsmall_0.3.0-7_source.changes
morsmall_0.3.0-7_source.changes uploaded successfully to localhost along with the files: morsmall_0.3.0-7.dsc morsmall_0.3.0-7.debian.tar.xz morsmall_0.3.0-7_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
morbig_0.11.0-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 29 Feb 2024 23:31:15 +0100 Source: morbig Architecture: source Version: 0.11.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 1047349 Changes: morbig (0.11.0-1) unstable; urgency=medium . * New upstream version 0.11.0 * Drop patch fix_yojson_2, this issue has been fixed upstream * Depend on minimal version 4.11 of ocaml, following upstream's README * Drop override of dh_installexamples since it is no longer needed, upstream dropped the annoying .gitignore file in the examples directory * Drop override of dh_dwz since dwz has been fixed to not fail on binaries without debug information. * clean target: remove src/_build and src/morbig.docdir (closes: #1047349) Checksums-Sha1: 142feec3a8feb7bd6252817966099752955c9665 2275 morbig_0.11.0-1.dsc e4431d6a18b3c133241c9eba3b4d3a89de9c0320 98104 morbig_0.11.0.orig.tar.xz 35f6f8ffb4690d064584ddc847bdb38415082e1c 5036 morbig_0.11.0-1.debian.tar.xz eb34abca46e807b1ab2635c2d0c4b8b54a5ce261 7432 morbig_0.11.0-1_source.buildinfo Checksums-Sha256: c988bfd165bd4f57fca95630061eefc795574abc452e13de496a80dac0fc5392 2275 morbig_0.11.0-1.dsc 162aa377ae19cf4d72e59e7473d75176bc8498f95e2d4d8921262ee1230de8eb 98104 morbig_0.11.0.orig.tar.xz 6a53fb0db8d06da54be9483309f05f97381633ceade0ae16d7875ccc38eb33f1 5036 morbig_0.11.0-1.debian.tar.xz 0d7709c72d5a359fc400c13029b4179b170b4c4e68fd9d98e2cff850d4f4a7eb 7432 morbig_0.11.0-1_source.buildinfo Files: be448bc62f9fbeb0bca1bdc13cf20987 2275 ocaml optional morbig_0.11.0-1.dsc 6d6ac2e4447a51bbb8d2b63ea537c978 98104 ocaml optional morbig_0.11.0.orig.tar.xz 3b13fec0d1f7d643cf74ea4509c4b223 5036 ocaml optional morbig_0.11.0-1.debian.tar.xz a3b8734524d03de6ceab41e152346474 7432 ocaml optional morbig_0.11.0-1_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmXhCPsACgkQdFxHZtTK zf/2ZxAAhykUWh2ug4VsJFi8eHSIp5Ga9V81sm6lhpmL54V1mOjWjG1oRtFjdhiI pfmNyYbkEavXVIYO1/+5FQ2G74lwA1UOTVaHTjJ8TVFU+iOxqP9vAv8BIBcSqaUz VAs38n4lQRSEOQW2uv8pUmYHfbhdccJPPPdTDDrNWYbLqG1rjenXrVrdQtkWto4h u3tIUgr7YI3ptYidWMaBS0SUBrP6LI0LR109da/0TwMliK07IxT7D1ciWXT75hBi 7bNCd6jqsn1tM7XdrE36U2iIPYDaMM7XysuOC1BABAsQ149m3xEqVxLyaXxVz7ed vGtB84QrWwDkWchEpcXKB8gDH6vmMOIkiKXAL8FWd7S/HZOjziKMOoTHyVFkhiBl H6s6gUQpYmbTrVX1CedLoH56DEamD13WAS9Q7kXHzBnKxga0H41s59pbWfETUtil 4Wuj5gJaM5DS03b4oiBpqYy7Jbyhmfjd/P5VHYUBosKtq8v+FTv1qcr7lmH3iSx0 tD2Ub/Mnr97GkxMZ0DVKgZypK/Eu5+kAJyfaOrdN2o+v9jy2hR+Du+Qvp2yzmcsT 66gdWNVsEyOywzNhGQhR0736X/Netpcmg464L5UGSwiuUl3r3XmSVnspac4x7bWP hBqp/R1YbeZODc3CONqwsY8bs19oYN8RYh/FESeAievT/lyGd0E= =AWXo -END PGP SIGNATURE- pgpzteLMnO_2K.pgp Description: PGP signature
Processing of morbig_0.11.0-1_source.changes
morbig_0.11.0-1_source.changes uploaded successfully to localhost along with the files: morbig_0.11.0-1.dsc morbig_0.11.0.orig.tar.xz morbig_0.11.0-1.debian.tar.xz morbig_0.11.0-1_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
camlzip_1.11-3_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Thu, 29 Feb 2024 08:13:08 +0100 Source: camlzip Architecture: source Version: 1.11-3 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Changes: camlzip (1.11-3) unstable; urgency=medium . * Note that patch meta-version-1.11 has been forwarded to upstream * Update debian/watch, now using the github API * Lintian-override: reduce context so that it does match again Checksums-Sha1: 784daa24d4b43e224a37d80ed47757694104a334 2094 camlzip_1.11-3.dsc d906afa344b4e4237cfff46105562581aeabc929 7340 camlzip_1.11-3.debian.tar.xz e930b45ac0baec7acb3c81c3e9f3d4dbe17b1397 6829 camlzip_1.11-3_source.buildinfo Checksums-Sha256: 17f50e4e6595108d8866a2804b43fc630d9409c7efd91ba4686d230b3e75cfd4 2094 camlzip_1.11-3.dsc c5064e823410ee3ecb80bb2e731e3624c9d4cd4a0f075ebfa19cda9224ad4223 7340 camlzip_1.11-3.debian.tar.xz 788ec7a8e18ce80de750765c2a8563bff7a1a617496265949fddf05487fc4766 6829 camlzip_1.11-3_source.buildinfo Files: 3e8de4fd7dcd7c85b78b91bd1670eebb 2094 ocaml optional camlzip_1.11-3.dsc dd784e87b0ffe7f1fcfea3ab291e01a0 7340 ocaml optional camlzip_1.11-3.debian.tar.xz bd3b00c85d96d33d8be7f5f98fd9a263 6829 ocaml optional camlzip_1.11-3_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmXgNWQACgkQdFxHZtTK zf/7mw//VsDE/NAqA5cmpWcC8r5WoaS4+OwyAlw5blEGhYiwWKVF6RduRsEPdmW5 teMzHJjn+mklRlH30jJfDHfRAAJTO7uP35hgzaaAixL5c5NRm3ZzLfZT/SqiFlZ0 XpY3ArScJi4fnv2XTBEXHs2ONubNycki5n8g5qM1KifsB9N8mIDwB+hNNoHz/xxn d7FVA8TKhUxguHqWphKbWXGBhDPSkR6AGq9KGnEBIl6Hy81DHsjoXY0mm3sApq7B lZyZPkihIrSF3v9gnTPC0Y+syvdfhVjeR3VbF7gHRR+fFQlWLkvUZvRbQhaPpq8j 6pcCnJclX6DRnRa4TqSkGItcVKAGTAgddiwo5ZEcLdSej7v8WjNquML7iHJwPER1 KY2vJ/CQ+sXuF6HIfPMlCSu9e2Ot7qk5RnPzrvgC0PZ6U+5hv+DfmjbtS5XwNVzZ e8yZI20S6psm1ZrCN/9yAji2YGMZ4gi/WNiiMBZ6PhsegE3CE3qozo7Mqims/wuq 497beJ8LGS2FgTmgDnpRcdA/Qzm4bMskBG//CCKiGGBTSKa2JAs7EEFS5Uv9FWLJ /pxV/1EliIR0KEqteb8Fvs8kyctAKOrRbZyJMJjW+lbdpM2BFzLGpJNZgMT/ZUXz GvD88aczuaLTrZKPq5LjPIHc2MyhDhFuCrHQr5b5P/fdYVHJq1I= =+UYW -END PGP SIGNATURE- pgpgFTQDvmMoD.pgp Description: PGP signature
Processing of camlzip_1.11-3_source.changes
camlzip_1.11-3_source.changes uploaded successfully to localhost along with the files: camlzip_1.11-3.dsc camlzip_1.11-3.debian.tar.xz camlzip_1.11-3_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
camlzip_1.11-2_source.changes REJECTED
Version check failed: Your upload included the source package camlzip, version 1.11-2, however testing already has version 1.11-2. Uploads to unstable must have a higher version than present in testing. === Please feel free to respond to this email if you don't understand why your files were rejected, or if you upload new files which address our concerns. pgpiZNGNO3k8m.pgp Description: PGP signature
Processing of camlzip_1.11-2_source.changes
camlzip_1.11-2_source.changes uploaded successfully to localhost along with the files: camlzip_1.11-2.dsc camlzip_1.11-2.debian.tar.xz camlzip_1.11-2_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of planets_0.1.13-22_source.changes
planets_0.1.13-22_source.changes uploaded successfully to localhost along with the files: planets_0.1.13-22.dsc planets_0.1.13-22.debian.tar.xz planets_0.1.13-22_source.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
planets_0.1.13-22_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Format: 1.8 Date: Mon, 26 Feb 2024 22:31:12 +0100 Source: planets Architecture: source Version: 0.1.13-22 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Ralf Treinen Closes: 1047502 1060847 Changes: planets (0.1.13-22) unstable; urgency=medium . * Fix typo in package description (closes: #1060847) * Update homepage * debian/clean: remove the file "test" (closes: #1047502) Checksums-Sha1: e9a82f9ad4a27e188ec29ff505155f81508bbacd 1990 planets_0.1.13-22.dsc 24d1cb54467782a888686c8a32eeca26bada5022 8248 planets_0.1.13-22.debian.tar.xz 525cb252caf3a0523800a77edc557f5f844e30ed 8844 planets_0.1.13-22_source.buildinfo Checksums-Sha256: 1e12a29097c718a9c39daf0fb97c4b3554d6a7f37ec66872adced2d33201df15 1990 planets_0.1.13-22.dsc 972c8bdc5a1564a69877aef596de5b605e9f9a9ee41b9bc14f229b841896b9f7 8248 planets_0.1.13-22.debian.tar.xz dd5f278bc41f3a0028bf9b1e165ffbbc1e9bb9587543bd8142404125fd260b37 8844 planets_0.1.13-22_source.buildinfo Files: 8679f663b676161a04e05a222fed5bd2 1990 science optional planets_0.1.13-22.dsc d14b31008939a3044a5a93c1ce7fd161 8248 science optional planets_0.1.13-22.debian.tar.xz 2e629eeb6eede658a4446a8f662c51a5 8844 science optional planets_0.1.13-22_source.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCAAdFiEEAgVIKeEtDyqOZI5idFxHZtTKzf8FAmXdBXIACgkQdFxHZtTK zf9KYg/+IJAjxf50dz5ThULEfhQH+8h7Iw8YPhAvg5b2UH+dkYwvBInDzPbTHJOr iwCUG7cxfioNL2Tkcj7YjK/ADMdxInn/tXzikl95XQ9kC9dSrT/k4lCzz4F0ctXa q772ZAQNt/Eo4uCUCmT6UNe5nQoxaMoxNGixsQMnM+0URgVHYaEXi43louUxD4Oz E2BCvFryKmjBAW79jqLAQ9N1zcCuiYWQOl5mXwc8hUY9ZqQjUz8zz0sJ0A+S+Tne yGgbWDorAiivOMBvaDhcT6k7+3/mjVuq+soep4wI9LUdUrls1mo5uiVm5xQc0Ik+ NhhNdegT2Ipz3b5dSrrL3QdTGzDd0n6DzvXLQVZRVALJdx3+AewbJQpKhZUF2lRg D75gUkujeQCY9i0Nc2B9e088vLx1hp9RDyyHf14Wl89dharjoJ8NroKbSE2cEE3e a93VW2coU2XcuMYMULtl8yA1OrK4aRyAKijLJpvxFMhWmMYkEnWjnlU4CZ2If4F2 F7P6OlXcorfJ80Rcd6Eu1xkL5CRcDZoBFLHpOuhM8K+oqWk/AQ+LlBaI8/aG88zv h6XF2tilcw39WalKeo2E7dJN4j5MgPNXu7vHHLhDyPXahMqGbpNaMP014kxVU2Ds FDE4Z5A7Ez6xLM5+aFmpnmTbG6SLK2yZ3iYTicRPmJLjFqPkoII= =sbbS -END PGP SIGNATURE- pgpO7N_o4LBKg.pgp Description: PGP signature
Processing of ocaml-mm_0.8.5-2_source.changes
ocaml-mm_0.8.5-2_source.changes uploaded successfully to localhost along with the files: ocaml-mm_0.8.5-2.dsc ocaml-mm_0.8.5-2.debian.tar.xz ocaml-mm_0.8.5-2_amd64.buildinfo Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocaml-mm_0.8.5-2_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 25 Feb 2024 05:31:37 + Source: ocaml-mm Architecture: source Version: 0.8.5-2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Kyle Robbertze Changes: ocaml-mm (0.8.5-2) unstable; urgency=medium . * Drop extraneous dependency on gstreamer and ogg Checksums-Sha1: d13dd40789c0ffd5ef677de0a27887dcf006b84e 2157 ocaml-mm_0.8.5-2.dsc 13c3c77e6c0d05f324bb62757afd520377e0444c 4324 ocaml-mm_0.8.5-2.debian.tar.xz fb7f14cf9047f31319992c548434ca9805c417a9 10282 ocaml-mm_0.8.5-2_amd64.buildinfo Checksums-Sha256: 884dc172c5d1467fe797ca6259392b823db5ea04520dcfd376ddf3c28308692d 2157 ocaml-mm_0.8.5-2.dsc 24318834e428b040c23381955e681557653cdf1977ca6871be37851e98e3940e 4324 ocaml-mm_0.8.5-2.debian.tar.xz 96ec8663606170012dd8adfdde7054927808292e77c59b059c0aedfc8ad1d51e 10282 ocaml-mm_0.8.5-2_amd64.buildinfo Files: 0bd39d11dfc13836b1012f868dfa2c4b 2157 ocaml optional ocaml-mm_0.8.5-2.dsc c1c1298affc3308583e88cd02c889aa0 4324 ocaml optional ocaml-mm_0.8.5-2.debian.tar.xz c58b25d710aa895f22a718bcbea1 10282 ocaml optional ocaml-mm_0.8.5-2_amd64.buildinfo -BEGIN PGP SIGNATURE- iQIzBAEBCgAdFiEElqWPGCu4+bgcXyczhU8Hvggt8U8FAmXa0WwACgkQhU8Hvggt 8U8uuw//VDgYVyLsBDs1j+exUCzx3dDurKC5JwB5pY3lMYCqf848VHqLwcGrezRz bHLH4EAz3eTlf+6PJ2zmCuRlBOQOVOIB+yK/ViA0y6qZl73HImcBVhJxh75oIsOE OddajWsMOWn9z4qfCPRcl65pHx2FH/J6WzNpT8oFUF0mzYAMuIYcHTY9WBzjHopp Wh87Ubc4P1kzZX/MVM7G08nTi7ZZYb5YZgVxV2hlQmR0T45CespPlMhMmezugIFq 0UASczIv3GXXiag41od+Mq9ymegIZi9QLeJGyrwehWl4VIWbkVZqgVDQzMC1TysZ 3e3rvIWAcDrCpp5Y9A6nsXfyRs3kw52uX42nhOWT1oNSMlEsk5FyqV7zWrnm+eqN 7zX2UErLB3mz9Ca/yT+bPrAJRG4YWlM1VbZ0eznPoxSVaC1MYv9DVqi5u1o064we sodohgj25mVgY4q9wubIunpvBEjCF/gq7dHMVJFYNDNhhEDMLTYei+DO5iL6Sax9 QKQxJ6oksNSci23z/cryj3cr4ikWQaI2QRYgeN2ccQ/Y9ib1vmG0jTPeM/v+OhVr E3heCMEASEF4IQwRKCD6liLRBsy1//YuSNW/LE3ET1lCuWAhpVKdEZESElPw8SkX 0kARptbHeG0MTrjFSaPbyzRdW3Gc87jnV0U0nvNshU5CIpbIqFM= =VvCj -END PGP SIGNATURE- pgp_wiJbWUoiq.pgp Description: PGP signature
Processing of ocaml-odoc_2.4.1-1_source.changes
ocaml-odoc_2.4.1-1_source.changes uploaded successfully to localhost along with the files: ocaml-odoc_2.4.1-1.dsc ocaml-odoc_2.4.1.orig.tar.bz2 ocaml-odoc_2.4.1-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocaml-odoc_2.4.1-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Mon, 19 Feb 2024 13:10:29 +0100 Source: ocaml-odoc Architecture: source Version: 2.4.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-odoc (2.4.1-1) unstable; urgency=medium . * Team upload * New upstream release Checksums-Sha1: f2ca664ab92d169bf9f34a2dab39db317c1e961e 2362 ocaml-odoc_2.4.1-1.dsc 1f46a73d7b195f28fb6ad777084eb04d21bc6ba3 1741828 ocaml-odoc_2.4.1.orig.tar.bz2 61ba6bc1ce6395716964f30cc445451ff3d40bc6 5008 ocaml-odoc_2.4.1-1.debian.tar.xz Checksums-Sha256: 6d39cafae3e2d5bb6642598f5864878351fae0d37164590ce16b597495161a41 2362 ocaml-odoc_2.4.1-1.dsc bb78557cc6714cd2554ae7fff036722a276aa95764e1b7aff16cc92c7045cb9c 1741828 ocaml-odoc_2.4.1.orig.tar.bz2 22a749fedc6a1c059226f13a2f553ee87bce1902487054d40ff8d8d4acad0790 5008 ocaml-odoc_2.4.1-1.debian.tar.xz Files: 5c55e55060aca796502b654b27fa5d13 2362 ocaml optional ocaml-odoc_2.4.1-1.dsc e6b81db0933be60c5dad8c36f95d4d21 1741828 ocaml optional ocaml-odoc_2.4.1.orig.tar.bz2 7605b8788860c216d3ba1c484cff9ed3 5008 ocaml optional ocaml-odoc_2.4.1-1.debian.tar.xz -BEGIN PGP SIGNATURE- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmXTRdUSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCB0RUH/j0r8UoSvH20zB5wUiX73wnu8yV84PPF DyL5wjkhPMVvPKim0GMDNyJovcDT/iXSqqq9AXhGRMbbTAo3n1CAEiRqdeuKh+SM q0w3v63NazrGgGlQ3uJrOL7cT3U4Zu/U8I/o/67aevdzPv1wxRh677ea6WEuAc7J eoAtppullErOsvkD7/pbNQ3e9J9iP/bViL7FQdJqJDqasdTn8i9m7UJQ81x+wHup Ea/ccRM4T+esv2GRJ8rfFaCTnWMoAin5fAsNsf+lakm5VVcN7EEW3t8D4fcSmO7N P8+n32WWNEm0ZbsbZ4PGWvfvlCDt1mleWxfs51clcXFYeG95ZpT8/pc= =9BoZ -END PGP SIGNATURE- pgp294rq2LYc6.pgp Description: PGP signature
Processing of lablgtk3_3.1.4-1_source.changes
lablgtk3_3.1.4-1_source.changes uploaded successfully to localhost along with the files: lablgtk3_3.1.4-1.dsc lablgtk3_3.1.4.orig.tar.bz2 lablgtk3_3.1.4-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)
ocaml-inotify_2.5-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 18 Feb 2024 11:52:54 +0100 Source: ocaml-inotify Architecture: source Version: 2.5-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-inotify (2.5-1) unstable; urgency=medium . * Team upload * New upstream release * Update debian/watch Checksums-Sha1: 5948ddb851f256403fddc47188c0c4ca73a9f70f 1949 ocaml-inotify_2.5-1.dsc 87324ac1d938696f75c6cc5c624d1cb4f8e6ef16 16548 ocaml-inotify_2.5.orig.tar.bz2 2c4fac3ded08f6970ff55093b2fb489128837837 3268 ocaml-inotify_2.5-1.debian.tar.xz Checksums-Sha256: da70e37fe5fe0cf181800aea59fdc7516e5663c513ad8f06ab099c635b175806 1949 ocaml-inotify_2.5-1.dsc 829aec332ccb46f61876b23c38059afcf7802516d3697c1aa15e1916be72114b 16548 ocaml-inotify_2.5.orig.tar.bz2 fdaf27dcd332f597610f2034ff72636d853851852dcc5dd2ab561197927e5eda 3268 ocaml-inotify_2.5-1.debian.tar.xz Files: 50513ad9c6648de7d114ad2c8a88202f 1949 ocaml optional ocaml-inotify_2.5-1.dsc 41f567c54ea75215271484328f65468d 16548 ocaml optional ocaml-inotify_2.5.orig.tar.bz2 1b25fc271a3fdddb615e8f5631851b31 3268 ocaml optional ocaml-inotify_2.5-1.debian.tar.xz -BEGIN PGP SIGNATURE- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmXR4bESHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBMAUH/3t7+1vWmVIOVFL2xpvavdHG+s7B6fo0 zFXCwe9naig6RaA86cjWdbqICjyBdVjTt3sBteoGr8+4eEk6UW6+xAdk2gQJMBFb gnfYwa2OO8D517zBkEw7ViuDHNqH5nnpmlZNE9syJxsAx2Str2ahdmsI+VcUZ6rk icBN+JrWeMNwRpHJkXATutzSVp/qyr2i6dvCwJRi7vcX0Oi6x6ndxxZd6u5SoQ2v BNVuE4z0fE6AJh7pvjVvbe3lyiTZP/Jbq3hY7MUPk5nTng3NFIhloLLLDZML1OiX +KebqdNoHgN9ii2CTFrIyJOhwvjGpvR1hbHiT3OwWibK0FbSWeXmGrk= =Lis/ -END PGP SIGNATURE- pgpesEm1Gpef6.pgp Description: PGP signature
ocaml-atd_2.15.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: Sun, 18 Feb 2024 11:40:42 +0100 Source: ocaml-atd Architecture: source Version: 2.15.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: ocaml-atd (2.15.0-1) unstable; urgency=medium . * New upstream release Checksums-Sha1: f06877a504691860bfffb07611e905613213f3b2 2342 ocaml-atd_2.15.0-1.dsc 6c00f05c94ce41d6bcc27cf396ae4dca51fdc819 3284706 ocaml-atd_2.15.0.orig.tar.bz2 6cfdc3007690c28257f3c39c410e70bed3db2783 9312 ocaml-atd_2.15.0-1.debian.tar.xz Checksums-Sha256: 98bbc0d3ca80bca4bc2e89a7399f0b01ca2631ec8549caa20d3e2d14649bce47 2342 ocaml-atd_2.15.0-1.dsc ba4279bed54d13dcf3f6703a4b31744db815df22c0502d9965d6c674ce083933 3284706 ocaml-atd_2.15.0.orig.tar.bz2 05f3c56029f8cdfe232b2e743ca0bf14008c1d73075444cc4333999f8a243662 9312 ocaml-atd_2.15.0-1.debian.tar.xz Files: 277b210eb58fba7068b2d396128acdf6 2342 ocaml optional ocaml-atd_2.15.0-1.dsc 4d44f659def19f7b37a5722ec95891b3 3284706 ocaml optional ocaml-atd_2.15.0.orig.tar.bz2 96f0c6fccbd59b550852b4cf86ac728f 9312 ocaml optional ocaml-atd_2.15.0-1.debian.tar.xz -BEGIN PGP SIGNATURE- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmXR3toSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBsiwIAJ+Ea9SrFgkjOYyWdvf4WA32RtIIZkTi aXz9KTNnzayit4tQnvP174eQdwkLgD9N92kPhEtEw1JpdwSbeHxMA+pgnplxQkgP sm8q5hu1X9eCAB6kUbtH2gab6IVfdcfe3okDp7dUBW6xfmRLH5T8aYikObq2S5F9 TA2UNqCftGEEuh+RL+e/O3nTMqWnc2g2zvgSrG5KSre65QgZmodpdTBaFXITsK8v x5pqb//LmUi5l//dU09q1vMqUp5hvZ3pnCA0YvJ1B5V4UomO1qD3TKKZd00hckQp TlM0qShFEFOGQseoFS+7uYiyqfIiiO1g9tHHucDjmeD0HKUje/oINIM= =Tnh1 -END PGP SIGNATURE- pgpxxiPgwclez.pgp Description: PGP signature
lablgtk3_3.1.4-1_source.changes ACCEPTED into unstable
Thank you for your contribution to Debian. Accepted: -BEGIN PGP SIGNED MESSAGE- Hash: SHA512 Format: 1.8 Date: Sun, 18 Feb 2024 12:01:12 +0100 Source: lablgtk3 Architecture: source Version: 3.1.4-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Stéphane Glondu Changes: lablgtk3 (3.1.4-1) unstable; urgency=medium . * Team upload * New upstream release * Update debian/watch Checksums-Sha1: 759b6334bd6aa1c46ad9c972aa9a8fbb6b01f1a4 2524 lablgtk3_3.1.4-1.dsc 5eceb29443a0ca73b983d9bcdee9db08b2ecbd77 810987 lablgtk3_3.1.4.orig.tar.bz2 6b89300c5d4e4775b71b22a69e082ad9c0973f5d 5648 lablgtk3_3.1.4-1.debian.tar.xz Checksums-Sha256: 0cda5bcef51810e3f7bbf96e9a25cdb6010b57a7467dd2caaf60b327bb385743 2524 lablgtk3_3.1.4-1.dsc 481a4d57397de2829f8f6138a2bf6ba2915900cd84f86be2786dcedaa6f07625 810987 lablgtk3_3.1.4.orig.tar.bz2 2f8996f79a92c8e68e2495e1d6c91d85c929d71cc74e5ebbe0c79db3d894006b 5648 lablgtk3_3.1.4-1.debian.tar.xz Files: 54ea74790b12a5bac972e27ad008638c 2524 ocaml optional lablgtk3_3.1.4-1.dsc 0334a2b7c921875b4d14d7135d429577 810987 ocaml optional lablgtk3_3.1.4.orig.tar.bz2 1eafae3bda3404a1fd65755e4f917228 5648 ocaml optional lablgtk3_3.1.4-1.debian.tar.xz -BEGIN PGP SIGNATURE- iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmXR45gSHGdsb25kdUBk ZWJpYW4ub3JnAAoJECG47vGxiTCBGKcH/2Hq4U04xBX9lYRe5oy8O70JAVA94xpt 1pYDryZC2zp1QIUlZGTopjHYccmZ1uv0DF9TevfarezS8j+T3Wcy4DaVN93ARqfT vz0kifL7hsq+/4kIXGaE6ycxrx9vQlmrkx0l7Zzavnwi5dAeidWD18jmyAqkvf38 24ZRYXLM6eKkqYiXjH2sgtsrWJlBDi7dgePinpeedaarPQNNO8nJXHAfRWA3iY+t KEKwTQzWLayrSGoy86u3KFcZ3hqHJ2bbNB3lHwr7hY1U3Yo3SEab8GAN4Ut0/FzB Y6aIDvi2ZPo7wo5tHpL9bAoIwuOCXh2A80FM3IRl9LalghXILXPWcUk= =esXy -END PGP SIGNATURE- pgpjzmLi77rSW.pgp Description: PGP signature
Processing of ocaml-inotify_2.5-1_source.changes
ocaml-inotify_2.5-1_source.changes uploaded successfully to localhost along with the files: ocaml-inotify_2.5-1.dsc ocaml-inotify_2.5.orig.tar.bz2 ocaml-inotify_2.5-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)
Processing of ocaml-atd_2.15.0-1_source.changes
ocaml-atd_2.15.0-1_source.changes uploaded successfully to localhost along with the files: ocaml-atd_2.15.0-1.dsc ocaml-atd_2.15.0.orig.tar.bz2 ocaml-atd_2.15.0-1.debian.tar.xz Greetings, Your Debian queue daemon (running on host usper.debian.org)