Accepted alt-ergo 2.4.1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted alt-ergo 2.4.1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 22 Apr 2022 09:18:45 +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=IzmqAgGv/YpKH3Bl4pn0PLk5Ob+FXm8g4fwm04j03DY=; b=oqqTm0c0bRN2GUi8BL42FxsQAo FqFNcM2ZHwMrn3z5FTEjViw0OtDcycYcK7wxyzZxjXuqgceev16m3BXBtRFopDHve4oy7Dwgn5nYE mmNubMx8y20ZXhkylorejr6IdW5fU4om3YcZcrcNpjGsEC2refG4cKkEuLIsTr6dQwfFrophGwJmV PWUMiXPaTiyEMvEzadIJcexmFKbEnpnIPVgKEEpg0hikNdYCZh6io39DXSFkvh/FyHnErC0Iaj2if t/CWy74iu21ki4Afw97FQnSy9A3k5t1ktkaOFhiE9vqVdc5jtPiqGGwTzZhcSVuBFRDaiSbAgLrjY nivhuUSg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1nhpR7-0006h3-SH@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 22 Apr 2022 11:07:37 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
alt-ergo (2.4.1-1) unstable; urgency=medium
.
* Team upload.
* Fix d/watch.
* New upstream release.
* Adapt to new upstream build system.
* Drop patches (obsolete).
* Complete b-deps.
* Add a patch to work with a recent menhir.
* Update d/copyright.
* Adapt to new upstream install system.
Checksums-Sha1:
2dbc85f3f2cbf857c8e37458b112b063c6a43c6d 2271 alt-ergo_2.4.1-1.dsc
0c2430c40fcb5acdda9c8cd5ad56705e7e3b0005 2883046 alt-ergo_2.4.1.orig.tar.gz
8436e05f3faa7f5d390f4734a561127a4f97c836 7080 alt-ergo_2.4.1-1.debian.tar.xz
7dd050fddbd9a2a6a141b7b1c18eee74bf0ea4ac 15494 alt-ergo_2.4.1-1_source.buildinfo
Checksums-Sha256:
ee4ba629bc590e33d63a9ff458cef8cb13863620168b5237b2fc31fdf091163d 2271 alt-ergo_2.4.1-1.dsc
ea107a30d563c969b7aa73ea556710cae9e5be9b05d12100a2665f14803eb45a 2883046 alt-ergo_2.4.1.orig.tar.gz
6305e187379e889e0b301bc7b8b6e0c6952080875bdeecbde9d49d330a17aaca 7080 alt-ergo_2.4.1-1.debian.tar.xz
6af20a686876aead7c11de4c818d8bcb1174e701b3e7b89494ae0e4b91a4dff3 15494 alt-ergo_2.4.1-1_source.buildinfo
Files:
2c76709aab6002f27852c58d076b0720 2271 math optional alt-ergo_2.4.1-1.dsc
35d6c6f3fa43bcd10fe7f524b1eb59ca 2883046 math optional alt-ergo_2.4.1.orig.tar.gz
cd1af66df925192657adaf86ac4753c8 7080 math optional alt-ergo_2.4.1-1.debian.tar.xz
27be4fb30a9b16968991f74b6bd0d609 15494 math optional alt-ergo_2.4.1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJicIQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRxQ8P/jyDVs57+jvB9NENYMsJFF56bobpC1Fm
BnpKBRSpSsoax0I1guLsziYANqFKfM80dXamQGtobZk+1Ys/y4y13th3D2rf6JB+
yggIc+FTCXIM+jbq4JA6QPBlALU0yuMttiWmI5VIVPdgDXPTqNQ6a2NSZYzQ7puO
8cvBHtLLtIRSQHJNlImT8+o5KBQ3/GIthdgovGT1H6sIS+YeJGC3JiS4vXqhChHA
0SB5q5a2F5CiK5uaXqxilpSIfTE3Pb1+8zvg3bhTTxSfEEKZNN7CoJMYpWJLK6w9
pdcW8NKv833LeAUGkEhsr4J6EJMbxmnsbKhdjtMIBzKPs3GUb5eu15F7tkxQdEjE
ZwyWge1DTcrx+QH9FaG1BiMsk1F7cZUFVmZEt9gxlLIFE4ps6pUgM2Y3cvKk+RTY
Vnm2C8ahEVMyXnxWncZOCkoythnxftkZNuYHreA7ejmfUOT5J3q2ZZXNoCPTcj9C
y6KcBDOHBmZzxxNEVvEg1AgbEtSbk8g3Q2Gsk49LZy6iG7ZKCG/mbaQYuG32Jqi1
mTCgiWLHOdWhLZfNYJcKv6oVwUtbH1LWP+EK2v/ppMXpWZv5g7tjuvetvzb9Keuv
rWjmHIFQcT0P5hdrqZCkgMI+vPUzSpTuP22yqfAdcPjrB8MLw0p6ESb0ReJOjAPr
xAhUoqBWltnQ
=yB2A
-----END PGP SIGNATURE-----