Back to elpi PTS page

Accepted elpi 1.13.8-2 (source) into unstable



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

Format: 1.8
Date: Fri, 21 Jan 2022 10:22:17 +0100
Source: elpi
Architecture: source
Version: 1.13.8-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1002988
Changes:
 elpi (1.13.8-2) unstable; urgency=medium
 .
   * Add support for camlp5 8.*. (Closes: #1002988)
Checksums-Sha1:
 66cc16add35e665681fcb1759a3989dce2a56112 2121 elpi_1.13.8-2.dsc
 3c750f09d0c3f5c7197ee58adfe186bac07e7e0d 4424 elpi_1.13.8-2.debian.tar.xz
 a4e16a09ab5ed17db13f52a6a53a503ae176be0a 7288 elpi_1.13.8-2_source.buildinfo
Checksums-Sha256:
 1f73edb90d0b7061de2cf3b3e689ebdf129afb2abfb0c689f2f20c5efd1cbee5 2121 elpi_1.13.8-2.dsc
 dbf442d88a5995b4104eb31d97be4f66c1335a65e5223f8e78b4b0b9f82095a0 4424 elpi_1.13.8-2.debian.tar.xz
 e5850a4dd593567ee19d5b2c725418da7be4be7f621cf527216a78f9fa3080c1 7288 elpi_1.13.8-2_source.buildinfo
Files:
 915867d4b9cc917ae9a09de4c727c54f 2121 ocaml optional elpi_1.13.8-2.dsc
 550f44cdb54a05f1a5c896c824646321 4424 ocaml optional elpi_1.13.8-2.debian.tar.xz
 e59eec938db90602631e0f5c758dc211 7288 ocaml optional elpi_1.13.8-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmHqe24SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRlWwP/iJ23Z8sx33iRM2LggM41SBrqYoAWX90
dd3mn6+zqOhvmkpZjRPC/dLlUJI65FbqUFEfsXlNQljWYYfPLRvR2jtF0fgYLGI0
twDraw/63KULvnMYLM0rO/yXcdaoLjxSJzzApQD2Cko0RQtXFBp2WQdk8aMFMDiY
x25hYamAN5Af+s2WlFjCCbpzEUoE5TJhOtEmIb0HlSRuixvz1dWmd1NHyq6dpLIj
3Qv3deVvn+Wymp2TGSoIhSe6YEGWJ+n6TskSg1oxi+HFmgWwwQkQa6UsBtYxHCHF
CMH0KTIPnwsDoTlPcX5UwRns1QkJT7b5SgzuvQQ2uWBNSuKGyA/jYlEqZoyL/c2D
EMJIz8SMvx1ZhHJ/27ZqGcUcaNMMJ0fezM8DgLNp7l74KOUeulZyIpzT7ADJ+Va8
lG5mMrwUNmS8Z32ONkVH4n9fxn1pF+oNPVMa89kRNqQOp8walMdNE1Kfl7M0oeOa
Ffko6wwAR5ToctACpKynO8BTUHU7rjvMqdFdvAmzlOElSlnKcnvIuZA87lIQy6BZ
H8aUvdRRnAWeGZ7rNlc0BiblleX7Z1oYnL6p5wYX/VI5b37YwApT/dib6xa1NlhD
OuaQN1wfu5PfusLRw34gwsiz+lm1m8BLXAjEznSSWaapjkZgoBt+/lEzpMEkbbk8
YYeMab8YWwdh
=IVzC
-----END PGP SIGNATURE-----