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