• alt-ergo_2.4.1-1_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Fri Apr 22 11:40:01 2022
    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)