Accepted:
-----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-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)