Accepted elpi 1.16.10-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted elpi 1.16.10-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 12 Jul 2023 11:05:08 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: elpi_1.16.10-3_source.changes
- Debian-source: elpi
- Debian-suite: unstable
- Debian-version: 1.16.10-3
- 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=DlxJGDADxqbLYAWG/iaaIaj8pkx3rv6pBW5gp7XzvVg=; b=m5up3MqEMbAeGDeV9YrjKJ4AFW W+7YuaawkdB98pF2EcWIQLATtF/BEJSBJPrJ/rIENmn5OBoOAtIkwQqwcCU/ZxWBwV0wl8aVY3rv3 8kg6/WWEUNEadbrp3LLU0OlHUF0DHkcgKIJEQAU85iamk9eOr0wGfg6vGI8IfoG90rqRGlXeR95AP 62mVJCZeslhTjRn4SiMWzx4e5A32O2ZhtvQSjdQPOmqZl8I1uQ+WVMbMWpT7hN8PC/tvuHwiQKxxE rWqPKvyCLlVpMorycsZMS++VmWPow8o7JrqwOAtYfhBVle5AREkBOiRg5/8gEQqW0zKfKsGOikpDG dJYi/0hw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qJXee-005omL-Vh@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 12 Jul 2023 12:22:35 +0200
Source: elpi
Architecture: source
Version: 1.16.10-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Closes: 1040541
Changes:
elpi (1.16.10-3) unstable; urgency=medium
.
* Team upload
* Force STACK to a higher value for tests (Closes: #1040541)
Checksums-Sha1:
2877dc5f0a13f294435250ff123882a172f64bc0 2207 elpi_1.16.10-3.dsc
dcd0bbaa4b62d97aeded91c97e7eb4de548a2494 4244 elpi_1.16.10-3.debian.tar.xz
Checksums-Sha256:
f91c385cb89a1dbc393640f6805bd9d9cd14a1d19b13784836c05ced466cfdc3 2207 elpi_1.16.10-3.dsc
3e3aa459775050f2f066cec0f5d6d4b3260c8af292a091ffc1e904f2fc25ce0f 4244 elpi_1.16.10-3.debian.tar.xz
Files:
0da8310d6c34fa4b6d9ee63e0f0c0380 2207 ocaml optional elpi_1.16.10-3.dsc
12d6611dd925391ea3df7e36b347302a 4244 ocaml optional elpi_1.16.10-3.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmSugI4SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBscEH/1jYQCzzKrzY2cAgd7YLPzyim9jjLfDE
aRqI1ue4F8Gaw6aM8ezzE5QdEK3SYSX1BemaivifDNu69ISVfceLQIAaZow41/cR
GhwDG5WkONU60q4kyf9lOSFK7PprluakpGA6KaZA1MK0mahjkfeMvTW+Y9OzyWYo
Bql2oOLSHcPkEwtaKIc8V8dSpTqOG6vPEy7MLjK2vdZer75K7cqO9R7NI/xjpSn4
1OjI3P+eV5Fjjse/G8cc6VCyhtcflEh3o2wCzyFAddi3aXO+CCIgl3WkgdzykP6P
87P8b1Rg2onwtCkht24lkMovd/BNmuy9IU/uYP7Ig1Hhw56cPmsl5sY=
=M0Vk
-----END PGP SIGNATURE-----