Accepted ott 0.32+ds-2 (source amd64) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 10 Jul 2022 18:17:48 +0200
Source: ott
Binary: libcoq-ott ott-tools ott-tools-dbgsym
Architecture: source amd64
Version: 0.32+ds-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-ott - Ott tool (Coq plugin)
ott-tools - Ott tool (executable)
Changes:
ott (0.32+ds-2) unstable; urgency=medium
.
* Complete d/copyright.
* Add patch to fix typos.
Checksums-Sha1:
05c2ae74e628afa47fa162e521f70b1cd1cb2b9e 2104 ott_0.32+ds-2.dsc
9f0071710ae175f020442eea6e476f6f71ae237a 1140176 ott_0.32+ds.orig.tar.xz
2571a3c75eaf149a06b59a1dcfd5c35598fe08ba 6916 ott_0.32+ds-2.debian.tar.xz
a9930e82e775db8e49df5f222a3cfde2571eb1a9 161728 libcoq-ott_0.32+ds-2_amd64.deb
7d72bf6f8561053408b9b6a405e8954f0cc2f1bb 354832 ott-tools-dbgsym_0.32+ds-2_amd64.deb
a46ca4bf3563936a0135e5f5cb1cfec2822992cd 1300632 ott-tools_0.32+ds-2_amd64.deb
f77270c4d9c8a9af3139f6deed0a527feeb5dfaf 10213 ott_0.32+ds-2_amd64.buildinfo
Checksums-Sha256:
352459769e267a5c674c2161b984ea4e14276a00fce1a07ecc1e65a56f7f511f 2104 ott_0.32+ds-2.dsc
b18791dbf7abae18626b4e7c1f368c8311a2e0f0bd9c49b3288ba6fde3f8e1c8 1140176 ott_0.32+ds.orig.tar.xz
5f2afcbbe42924f8b9677a6d8c1c4447351a78400bc90e83a3c59658c1c86a3a 6916 ott_0.32+ds-2.debian.tar.xz
be2721be9e3ea88b97953f2b0590a3a8c7a0ff9313769be46203804c5a37869b 161728 libcoq-ott_0.32+ds-2_amd64.deb
e35595e6fce7a84c907313abd66ace4f55d5feb959f894058edcd9259b3f9579 354832 ott-tools-dbgsym_0.32+ds-2_amd64.deb
8ec932dc0039bf07b254586728cb75250a7a65307bcfd780b302a6df01eb3ac1 1300632 ott-tools_0.32+ds-2_amd64.deb
abb8ae34a307b8bbc8ab8ec8d77a0589509140863f9953af956801821142eec7 10213 ott_0.32+ds-2_amd64.buildinfo
Files:
8b99711049d79679043ef37edcfcc792 2104 ocaml optional ott_0.32+ds-2.dsc
c4301ffe56b273f023200c9064eedd6f 1140176 ocaml optional ott_0.32+ds.orig.tar.xz
7cdb12ed0bc56bcd84d26fe67781e70c 6916 ocaml optional ott_0.32+ds-2.debian.tar.xz
6fdf2447d411d6d47bcd4c2ba416e7ba 161728 ocaml optional libcoq-ott_0.32+ds-2_amd64.deb
f3cca8ce76d86faa63c8c79fa870fa6d 354832 debug optional ott-tools-dbgsym_0.32+ds-2_amd64.deb
25deac36d3f9c5d2b23180f0403ad439 1300632 ocaml optional ott-tools_0.32+ds-2_amd64.deb
8c856374bbff2edb9329b3af0862ac94 10213 ocaml optional ott_0.32+ds-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLK/ewSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR+osP/Agpz9Q9w4Bi5IwEZXj9+A7ERHbxzGrt
KRkfgh8r4fEXErckcrrHg4PQCfMGMf5cyHL/79VDcvrwf6nRiHT+PFD0UaXoUyBS
wAwhAb0H+BPfBC0je67CyZsqbzJp5Ka5xGcg2X2fr0DyR5lWyA1OSaww9OyYzbng
kSdHFDVqhCPP7adcVclS9jhAF2VIRQQTV/MCEoKJ2nB1X7eUG6Mcf78rpaNkn9jY
acg9m03whVwnegHQjsQe2TRV37Z5+Iz3iMqJCbF6DBCqtFzCBRUH85cvsrqL2U0k
ylrG/isoQzP2xje7fNJRK2W3777KM+j3p75FrqxoT7jvUrKPJ7iPblP+XMh/O3MY
or5z2H2L0PYdRu9Hcyd/NEzpGQAhVGLt8FF7vrzblJhLCm9OdE16ZNq4IkXpQ6Zi
aGOe3r9pOVDYFrDa41FYRqYwRKEpu21lMW96gKDoYJX2ZdTfP6FRJuxqdGPc9Mst
/feYru7N+7S4E4a5gKC7eCphkBg4MfvdTNUiyIYWMbi5fGb6EnmUbb66bppJ6APJ
fR9bwDiPWa2CyuTxNdDUlhkwxhdXGA1DN+ievb16lB01xLr/NKcS17pD86XA1/Ix
li7tSXwFaKlQZlsLWwtlIzAK6+VykOn8Xigt3hSl0DEVHBN5aY1CJFD0GWh7gI+w
Cw9FfRlAReFs
=MkJc
-----END PGP SIGNATURE-----
Reply to: