Accepted alt-ergo 2.4.1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted alt-ergo 2.4.1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sat, 28 May 2022 07:03:48 +0000
- 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:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=L/hxENybVlKNXf+Wms6Xzk3+lhLzL7ODgmUFi+rA3cY=; b=ZF3I5saWS0DvaRwqz4ZQKyAcqJ 7Jlw3ue1w8O9hSCIFqzLq+ntiO6rmVaSakKeA8c+O4BSs1gZdK1lycKdBccVDl+5wpndMz70CRQgd gK7a2SUFEcHilThG2QYlQGeRGDgePi2IcCrfHAmjeY8HaIEscBeJ2FdHzI5PW4VFawxkv7YLqNTze EkXBCQVB4kNSaYitX9KhDALC9JIeYjouCzMXef1zrU471Y+7/Ub0cHmKnVhaC++PSQFGQddeyndGh 3e929Coa7FVpzuM6vjARCjWpSFsfYiYGFO8+X42wcbPK+IJux217hAcPiK+JHqNL8e7GCT4C8hB6Y 4wgp8vYQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nuqUG-00064j-AM@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 28 May 2022 08:36:08 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1011966
Changes:
alt-ergo (2.4.1-2) unstable; urgency=medium
.
* Team upload.
* Ship the examples (Closes: #1011966).
Checksums-Sha1:
3ed04315627dc7753d314ca7e0ee7f0bc26d0ed8 2271 alt-ergo_2.4.1-2.dsc
0e5e3f8d4fd49c3a247eb1dd6eaee6d8b4c81cd1 7136 alt-ergo_2.4.1-2.debian.tar.xz
ea74c3966c33b5ab8a220de451517fd300b38fc0 15558 alt-ergo_2.4.1-2_source.buildinfo
Checksums-Sha256:
59b9997dde83b1206a93326b8b72d630dba6999bdf48b8ce6675877cd38720a7 2271 alt-ergo_2.4.1-2.dsc
d0665637409757526e8beda242ca5eec28875d48c2fce0896e3b1c400c893ccc 7136 alt-ergo_2.4.1-2.debian.tar.xz
0b19aedad10ae43b055c55940c17f62a64875b329a743967258920b2a75292b2 15558 alt-ergo_2.4.1-2_source.buildinfo
Files:
3a956a5768241d8b2bb8edb6b1c2b1d4 2271 math optional alt-ergo_2.4.1-2.dsc
df160fbd8bce7cca14466fedf992d346 7136 math optional alt-ergo_2.4.1-2.debian.tar.xz
7a4756340566362b6ede7cd9ac49efa0 15558 math optional alt-ergo_2.4.1-2_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKRwvkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfyoP/jZkJ2FryVC/CTyApm6XLjbog4LcJyDl
drY79yTD7nVpiCoHbORL043LYG4WtXAgAGUWdOXCg7dv/3RD7kMXyYeQ0L+Iat7S
R442jNQdalzRUH5Vod1byxETVmE7xA+cOzFSN2Yk/YShAfycv0GTEYBmcFyqUeac
wZmYa0BVf2QjvsVF8dgLhAItuDwSQc3CfDBo8JnRU+IoKapEUngGJ0Bp5Dn9Gtw+
rif/jSHiWddwFXuc5Bx1zq2fluxovR12xKX3iVcJ6Yjhs+6M9Vf1l6Ux73caUYog
SS6+dTmL3KQZGHg7gcR/0/zmgya2PjbCSjk1KnbOHceHufY4xszuUwtPBtXSV2Ae
F2Ci7Z++B47CgBI5el0K94+uYiR1tLPHCCGpGFbqa5A0pC+l3gJYB1XE7l9ZDFq+
E+ZZCeFTpMEgFshtt1fmIIPgG75TGZ59OWdA8BKwS6IOhY8yxarmEhLKf3jVVV85
hUw5RgEMTR7CmLL8wv4/3svho6SPE+C/HQ0OeJF8WCtuKVZDJ/ajGwXalAL5t2QW
q1hVUUmBAyJfxzS/hcKpS7QRrN62xCSmsUo1aetZ7YTXwRUAILhiilYnYyn1h21X
Uwm1SwtJopLdRFvVKhma8EdxRNatw/YfEplWyRcFKxtvcoWS4mvuK2vFeUgtx1Z9
0cODbCNSr5+f
=vgnn
-----END PGP SIGNATURE-----