Back to alt-ergo PTS page

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



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

Format: 1.8
Date: Wed, 29 Jun 2022 11:31:51 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.1-3
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-3) unstable; urgency=medium
 .
   * Support cmdliner 1.1.1 using upstream patch.
Checksums-Sha1:
 a497d89300a4a2e64b1c76a7a7cf4586ed3f6dd4 2282 alt-ergo_2.4.1-3.dsc
 9d38388c12b88d78deeeccc69678d9ce318b3516 7908 alt-ergo_2.4.1-3.debian.tar.xz
 bc8547071d56dc2bccfa5a29d8e343ae3b301f26 15677 alt-ergo_2.4.1-3_source.buildinfo
Checksums-Sha256:
 495fba2283c4a1629ad4e4fb6fa0557518f188ed7449a6b38c1c490110571283 2282 alt-ergo_2.4.1-3.dsc
 91512f31596784a5817c744aaa059b5ef7fc3e4bb3ea4e0d0941d87d75e80298 7908 alt-ergo_2.4.1-3.debian.tar.xz
 15ac52fd5522eb6a8192546d43a1072f01f19128d0a1aa7eda70c546f8a64e6a 15677 alt-ergo_2.4.1-3_source.buildinfo
Files:
 4c405609037b1932c32dc817ed1d6d09 2282 math optional alt-ergo_2.4.1-3.dsc
 47890014b7a3bce179118324eb5635e2 7908 math optional alt-ergo_2.4.1-3.debian.tar.xz
 3555164d2cb708bf3b3c79a1f54e3bcc 15677 math optional alt-ergo_2.4.1-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK8HDkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRgWsP/12ytbLzn0ikQKQW68RTomrHFIGWC73X
ta/gSYn+GWOgqTvOHoc+cAEQpi9O6exO5Zvj9Zono0rd9vxtHFsc6ARC0/MYBpkJ
Kg550nbcL19DROnnHxUgnI2L0DOtbONVj3Fm8KQ216W5bhT84b3Bzzj8JZTd88c/
NuJXZoBUjjEhAW2uP3zOtJXkgJJt7AkakBpfIpJPrHblWr5An2RGqng5Rhp0O/4c
GlYzgGVJVn01eZKs5cVL1xqClXtJNuhY6pawv0fY0HKjsXrU8KR/ihU1albtQQHt
5QX+96BWd8nGkl4MpyAXoPhbZ3SHQDFDznLYhLyEYDZbTBIFhMijVntIsKy93fGH
ad6zmbDbZY17So/2cVtlqNclTFYP62IhsX3cFCpOIBo3wBMEebuZ2wztGkUfGZNg
LKoaab3UNmFZ8Altd/gIYyMLpxFY9/mOm0eSkMHg8NLF9JH1zRrOo0Kx5DazWPpe
uNWcxRtt6x3r9PPE+KKNkR9E98y9rSy2TxkeMXOAQuQTbet9lHtVKgjnY/g8Yxel
lr7teLsJRv1z2owpwYSTkOA0AZh/5TAi6gPTCDk+bWsAVBGZS4v5kKxAO/vdcR0M
uKDVrmheaBW3XIdTQfXfQNFKCcCUdDsIubj7vQvHV+RQAEgfRDwkJnLMqncAMykp
X+8Acv7fpHEo
=EGMq
-----END PGP SIGNATURE-----