-----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 <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> 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-----
