Back to alt-ergo PTS page

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



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

Format: 1.8
Date: Sat, 28 May 2022 08:36:08 +0200
Source: alt-ergo
Architecture: source
Version: 2.4.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1011966
Changes:
 alt-ergo (2.4.1-2) unstable; urgency=medium
 .
   * Team upload.
   * Ship the examples (Closes: #1011966).
Checksums-Sha1:
 3ed04315627dc7753d314ca7e0ee7f0bc26d0ed8 2271 alt-ergo_2.4.1-2.dsc
 0e5e3f8d4fd49c3a247eb1dd6eaee6d8b4c81cd1 7136 alt-ergo_2.4.1-2.debian.tar.xz
 ea74c3966c33b5ab8a220de451517fd300b38fc0 15558 alt-ergo_2.4.1-2_source.buildinfo
Checksums-Sha256:
 59b9997dde83b1206a93326b8b72d630dba6999bdf48b8ce6675877cd38720a7 2271 alt-ergo_2.4.1-2.dsc
 d0665637409757526e8beda242ca5eec28875d48c2fce0896e3b1c400c893ccc 7136 alt-ergo_2.4.1-2.debian.tar.xz
 0b19aedad10ae43b055c55940c17f62a64875b329a743967258920b2a75292b2 15558 alt-ergo_2.4.1-2_source.buildinfo
Files:
 3a956a5768241d8b2bb8edb6b1c2b1d4 2271 math optional alt-ergo_2.4.1-2.dsc
 df160fbd8bce7cca14466fedf992d346 7136 math optional alt-ergo_2.4.1-2.debian.tar.xz
 7a4756340566362b6ede7cd9ac49efa0 15558 math optional alt-ergo_2.4.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKRwvkSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfyoP/jZkJ2FryVC/CTyApm6XLjbog4LcJyDl
drY79yTD7nVpiCoHbORL043LYG4WtXAgAGUWdOXCg7dv/3RD7kMXyYeQ0L+Iat7S
R442jNQdalzRUH5Vod1byxETVmE7xA+cOzFSN2Yk/YShAfycv0GTEYBmcFyqUeac
wZmYa0BVf2QjvsVF8dgLhAItuDwSQc3CfDBo8JnRU+IoKapEUngGJ0Bp5Dn9Gtw+
rif/jSHiWddwFXuc5Bx1zq2fluxovR12xKX3iVcJ6Yjhs+6M9Vf1l6Ux73caUYog
SS6+dTmL3KQZGHg7gcR/0/zmgya2PjbCSjk1KnbOHceHufY4xszuUwtPBtXSV2Ae
F2Ci7Z++B47CgBI5el0K94+uYiR1tLPHCCGpGFbqa5A0pC+l3gJYB1XE7l9ZDFq+
E+ZZCeFTpMEgFshtt1fmIIPgG75TGZ59OWdA8BKwS6IOhY8yxarmEhLKf3jVVV85
hUw5RgEMTR7CmLL8wv4/3svho6SPE+C/HQ0OeJF8WCtuKVZDJ/ajGwXalAL5t2QW
q1hVUUmBAyJfxzS/hcKpS7QRrN62xCSmsUo1aetZ7YTXwRUAILhiilYnYyn1h21X
Uwm1SwtJopLdRFvVKhma8EdxRNatw/YfEplWyRcFKxtvcoWS4mvuK2vFeUgtx1Z9
0cODbCNSr5+f
=vgnn
-----END PGP SIGNATURE-----