Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 30 Mar 2024 09:35:03 +0100
Source: coq-elpi
Architecture: source
Version: 2.1.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Changes:
coq-elpi (2.1.0-1) unstable; urgency=medium
.
* New upstream release.
Checksums-Sha1:
287b58eeb8e59291416ab0e2a92ad5d49ebc59c9 2023 coq-elpi_2.1.0-1.dsc
bc5530009c9c3d0173d547360f8f292163006853 715777 coq-elpi_2.1.0.orig.tar.gz
51286840702e8eaa52f0f5886d4c7c841d9ae3d8 3656 coq-elpi_2.1.0-1.debian.tar.xz
8ac865ddd24a49ed9747f2f84ba8959b071a9966 8822 coq-elpi_2.1.0-1_source.buildinfo
Checksums-Sha256:
345cb1c0b20c695bb2fe73ea13e6deeb2e26239226dc6e6725679b7f6640b4ec 2023 coq-elpi_2.1.0-1.dsc
2f891e9edb7ae798688ad7b739fe14d6906ff0619bded26dd94b8abbf1cc6da8 715777 coq-elpi_2.1.0.orig.tar.gz
cc67841986c57a0ac05d57808f9ef37529a900b73d120b35e5b4c3688bb9849f 3656 coq-elpi_2.1.0-1.debian.tar.xz
e31cdeb4a9573bb8c26d84406b9a06343e1bb36803736b68b1fbc6e3fe4a429d 8822 coq-elpi_2.1.0-1_source.buildinfo
Files:
6c5b42dfb47119dd9b052b51a7ef99d2 2023 ocaml optional coq-elpi_2.1.0-1.dsc
8982b8e98b29deb53c03eaab9160ec10 715777 ocaml optional coq-elpi_2.1.0.orig.tar.gz
a45434de24f216d5f11f4ddd8885c63b 3656 ocaml optional coq-elpi_2.1.0-1.debian.tar.xz
871fc607fca6a7d285ed95822deb0e0b 8822 ocaml optional coq-elpi_2.1.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmYHztYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0k0P/2Ghk/yl11YOocNyJwUuXt1NoWN7bw12 dz3GhivvkdDOqm1vQkLm8tPsi4XI4xx349WW3VFHm0nhLvugPU8cNUe7meEtYwgN VzzN5MTn5l2aJZKYx9p0CcyjyqEVgOgVwpE+YpnP9YDeyyt0qpebHWfYn+xEl5G8 eUfTG9brswlSTZKRMdCazTpeuUwUC/mQ9X9vw69dS74gbjH0/AspPsF8pZl9wkYh cBOjPsyC7f7KnQAU8YPoS+sSX4j5lpmTcq/2cg6IULptYGWZ9Df4Kzh7i9RzGa2v MNn1ZBGGL7VDDfRsWPi8Aq2D6sItp226MXFveDFYSnFHJoNwkYkrAkjPt4Qnrnf1 czx69djEby2K3B/B+MH/m/88Y6uYcoh5wYC3Q2+vsWVcRv1v7438+44JeehMQu5P VixC8OXncmKlTWe24fk1fPNsoLgreJFYBOkdRPvXKSRkdrPPu43rfqZWAl3jQa9f zn9fn+XUqi0S1I7T1HasbrRwl2IujFP86ugJf9EwCTv4mgc1dh6QMhU2vlEAp/NO BD1/XPFW29l6pRr1AObWEVW8Pafx9yTQ04fMUaiLSqHTLLibTCoJT0eSaATcaS/R XkbiJ2i1XyoI3JdiYpLAMcL3LJYOuaXbAGeZGmrz9DA7ej4+OGQ6GoWoVpQXIiXy
EIP4B0yhFwZV
=1xiu
-----END PGP SIGNATURE-----
--==============�13202556385969008=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZi0UgQAKCRCb9qggYcy5 IQ6yAP9rndIEUJpxQoNq8xTLdgCBK8uk61+5Q0b3KW+aldsdewD/RPAsnDyFqwUN tieI3oXE9fWyDRtEeOajbC1gh3St/g8=3zMH
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)