Back to alt-ergo PTS page

Accepted alt-ergo 2.4.1-1 (source) into unstable



-----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-----