Back to coq-elpi PTS page

Accepted coq-elpi 1.16.0-2 (source) into unstable



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

Format: 1.8
Date: Wed, 25 Jan 2023 07:46:31 +0100
Source: coq-elpi
Architecture: source
Version: 1.16.0-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-elpi (1.16.0-2) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 06f70f5b81110608177bd75049f520f88eb42245 2030 coq-elpi_1.16.0-2.dsc
 f9e3bf46f1c14ccdb7a87ad0e54bb0f53c3418ce 3412 coq-elpi_1.16.0-2.debian.tar.xz
 8b137926e3fd4a091ca5666e4263fffe4860503e 7865 coq-elpi_1.16.0-2_source.buildinfo
Checksums-Sha256:
 57e49b0b9bf7a032475994ab8cbbf914b7653042f6c908772989ca1a4621f93e 2030 coq-elpi_1.16.0-2.dsc
 6f7d9746c758a91ca8d5a04571e0a77e919db8468f7c632f481379c4af09d0d1 3412 coq-elpi_1.16.0-2.debian.tar.xz
 36c24ab9bf7b0c55b8e45b522631ad7cb182adac242834f1d89407c52a5ff7e1 7865 coq-elpi_1.16.0-2_source.buildinfo
Files:
 4fd7b903bb86e8714388f11c9d36eda3 2030 ocaml optional coq-elpi_1.16.0-2.dsc
 9f065e96760ef1865665140f54e9f4f3 3412 ocaml optional coq-elpi_1.16.0-2.debian.tar.xz
 5b015598128f321e25f476d621f7b14c 7865 ocaml optional coq-elpi_1.16.0-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPQ0GMSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRaxoP/jQi6rp02VzQmI+LGGZOBK1lniwzKsvb
ED/1olx6iuMPUZDgnDFsEesYjcr9iVw3hWor1Ocb/T6bC2BE9rRp0F4eU/1zbEgK
j4ii07iRf7B/FwphWdcBDJnCfVQhSCN4ca7lcR7+Is8i7cEg67BqkNQIlvj8OYKg
c0+uh1TseP5S7O8DRvLVFaQjmfx/IzlKQEd3IFzkjWT5A36XqZk9CqrpcG/ps7M1
Ehi7LQw5F6au3Nq1khktGGgJ216usXFUly/8nDOYpyuIxjhRvT1frlP/9l7OD3eT
90e1tZ/Fs1kIxay1I81i0ENPo8TvFme9OrlMqhiWQFGPoZM1S49votgmhTG2fb7V
ggnUxFNQ903lhar2UKS74zoAqQyNG6NWkg8izbRhlQi2IYX1CamDzo7JcZqSrbYX
EaSCOtcFv0hF+SsTYz8B34ZykHckUtDq6gJAXCABhUTfAc+gwJaSingxUzYJ5gtG
PiUpvojBWAG2nFgPesNpW0Zwb35s9ss0tKF5hAz/HMjCTwQfsUOaJrlWD4RSHblc
nCpKIa/DvBwqWvVmvFZFuTyhTElKjDMIxtzEGwv3Snx8JMgWrjdudvGNLv+XgfWc
UjexJdRRagXva5K5+1EUfp0JcPVtb1IGHl2cvJO+OODCwZmWNQTZfivPtNQ52sC8
dhk9VcwZrdPf
=7NaI
-----END PGP SIGNATURE-----