Back to alt-ergo PTS page

Accepted alt-ergo 2.4.2-2 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sat, 06 Aug 2022 23:04:05 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.2-2
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.2-2) unstable; urgency=medium
 .
   * Team upload.
   * Re-enable the patch for non-native architectures.
Checksums-Sha1:
 eda2f521d03ee525dedfdfe1bfa013cb22bda44e 2282 alt-ergo_2.4.2-2.dsc
 2fec6830077da054539bf7b6f9dc1b454962890b 7076 alt-ergo_2.4.2-2.debian.tar.xz
 d4eee8e6655ad293e3bf080f089ac92e889b9af4 15953 alt-ergo_2.4.2-2_source.buildinfo
Checksums-Sha256:
 4d04de137b89fdc1e879ecbb086ae600efe17bae10b6b12dc4848b855b9587cd 2282 alt-ergo_2.4.2-2.dsc
 a829c589dde4d8f82af9ec54fc0d32295758882f7459f655f42eea2b8857edac 7076 alt-ergo_2.4.2-2.debian.tar.xz
 4a2191f1ebde5bac21abc8abd6a692151aafd3dd293b339b0fb32eadc961c2a5 15953 alt-ergo_2.4.2-2_source.buildinfo
Files:
 834a9a0df9dad57d14b0b19e26c39327 2282 math optional alt-ergo_2.4.2-2.dsc
 4d4f9d56a49f260ddabd23b0b615f592 7076 math optional alt-ergo_2.4.2-2.debian.tar.xz
 d39596c56734107c8f9765dd40aaa768 15953 math optional alt-ergo_2.4.2-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLu13ESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRj98QAIAa9E83pE72QuinXhfDGk+75lvs+241
qK4nRtKXi1qTZbh0Ox4gaR2dQznu38xwTQBVGrDPlT6bXtVwkl2nodiwppE9U7VV
LkN7MU0rWd0mAGjb8VG2jiPmQ/Ve8YlaezFALtwVrpREuUeidU9FWd58AyAV02bi
P5sdBfszvp5LrGH7P8XdZWCSARTQq9CILD8OH+sCElsBmU6AmSwj3iuiy9TYLI+c
Oag1IsG67w5+ra2MvKJjKuf5vSKboPraX1IdCj51Oa+1gY+9kw93jm22/iXIZbxl
9e90Kk2gf5EW1ChET0Bdl6Evq9nqTe1+SmCVhlUo/Kyje5Q1FTsNnHHRoLT02OPX
IV8eHbGC6GL+XR6Cj/kufmr2+WkBTwttlWcFIUSvlmR2lBveIIjJfFQZ4yh2X/py
xnWBexiHFhXeS9myN+XIvA0a/ydT2JqsGuCRJDOY+bIrDlSLw2q1slTOVtAuOdOq
zS11RWsR3MUqzSFnMD6xu9FKtkKgwU2omtexHxVwxNF8tf3+n387fW3A9E4ePFQP
pjGT64bciUZJ2WNIwbzhj4qQvNGEu+xxubAUHOyp0UB7o5ekTCynahNhxpfIppLY
JGR/3QZ4C8v/ry+vuKd8sUpRdBMZJXFH4rPhyVeOd4Vxex9T4h0VMSADqHYBWLNd
0m2ozZua30Ze
=1w89
-----END PGP SIGNATURE-----