Accepted coq-elpi 1.19.3-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-elpi 1.19.3-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 03 Jan 2024 08:44:22 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-elpi_1.19.3-2_source.changes
- Debian-source: coq-elpi
- Debian-suite: unstable
- Debian-version: 1.19.3-2
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=fKiKckEEVGHU/tFm0RWVVRnrRkwfu9x/zfv6KZCcyRo=; b=L7Mi13fGwV+PXMGYZyhYElKdZA zpAI5RbMUmQNz5xTGVebSDj1fqxNCmCIe5FX2fjNbgWhJxC9pvGNwVqh59uVZDqR4TjDwJvyaqG57 x3patQ5ZC9znRKbsLu50Z7EH48Z1W5Ej9o+wnDDThphOFom2MlXra9u2JYrUwBbeXBGSgYo1v3Y1t dugCNdbIgftPRu6h5lHAzLZ1sbWNOYB8A+VZgCxEGnS3mjQd990W7fUYYLzUvWBlycS0lO3p1YGEw TjbOmPzuV4gw31WROnGSIcakrePaj8fkZ2S/UXdet0PJzpGiJn1wotAa7nH2jD4jyl+gNSmgDmN0n cZ/qq99Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rKwrO-004j67-63@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 03 Jan 2024 08:51:24 +0100
Source: coq-elpi
Architecture: source
Version: 1.19.3-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
coq-elpi (1.19.3-2) unstable; urgency=medium
.
* Team upload
* Increase timeout in test that takes a bit longer on riscv64
Checksums-Sha1:
57e0c1a5e96c754012e1a17f91486f6ad0bee58c 1799 coq-elpi_1.19.3-2.dsc
e01ad0f4a027a050542080e77d04ad03807d2b49 3644 coq-elpi_1.19.3-2.debian.tar.xz
Checksums-Sha256:
e851d688fa688c52204df758763b03d779515598a0eb25c3d46618e3d17a0cb8 1799 coq-elpi_1.19.3-2.dsc
677e3da1f8c02cdbce7262629722e6067ba1a584e8c23037dc62ab426724bf2f 3644 coq-elpi_1.19.3-2.debian.tar.xz
Files:
a45de535dbef1d228396a27ba7afa135 1799 ocaml optional coq-elpi_1.19.3-2.dsc
625a6b8f7351706efa29a2639693eea2 3644 ocaml optional coq-elpi_1.19.3-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmWVEpISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBG4UIAItcEHzKIzd+AK3eVgDtBnCpItTtQZsF
uFHeIsAlqJ4JeURqJsI/XDz5iii99KCbVmzvzA6jZIn96tOtw7ynh6519UNTgqwJ
xY4E0ihI4TX94CCUmDAfETbnsqTGQXQw1WlL2pFBz0pQ4e/On+b9KyZKTnQ2OOJc
BiPojp+X01rnUxRfaSTPL3TrRm8N3xRgJ3Ko8JRTEQByGfwoABkd3xeLa4VxqBog
OMLHrWbpTVcaxLi+va9TDaOswWjJVF8pGx8ji71k6MaO7vGpcvk3g6Rdj/Od9clY
/3hXQGLgF+E4r6duErv/0W0Gzz6Sx0nSU//SIlPa4ZztoAFzSwvZiYs=
=UH7J
-----END PGP SIGNATURE-----