Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 05 Sep 2022 18:29:49 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <
jpuydt@debian.org>
Changes:
paramcoq (1.1.3+coq8.16-1) unstable; urgency=medium
.
* Rewrite d/watch to see new upstreams.
* New upstream release.
Checksums-Sha1:
f0d117fcbbe7b366861df90ef1e6a5679927f2e3 2082 paramcoq_1.1.3+coq8.16-1.dsc
7f38b7dcfa1502376d840213722f0de0db0a26bf 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
d756f01de3f3816583f13c74959ec070d2022fba 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz
287a1ce750ed447849810d5725b07960205e245d 7007 paramcoq_1.1.3+coq8.16-1_source.buildinfo
Checksums-Sha256:
2a31223cfe841bf3ba6d3d2d77d6dea31d11243c36655bf9a785fce424d6aad7 2082 paramcoq_1.1.3+coq8.16-1.dsc
6bd6a389aa6e807c52e1c0560e01b33aeed512458c0554becf4868b0e661c5ab 45732 paramcoq_1.1.3+coq8.16.orig.tar.gz
6c8df888a9f001444f108c564448b223863d6109e48e6544e6b7e4c32a62c09a 2812 paramcoq_1.1.3+coq8.16-1.debian.tar.xz
1829bcaecd3fbcc50fbb4c99cdacf04b154a883429689e21081f4567848eb0bb 7007 paramcoq_1.1.3+coq8.16-1_source.buildinfo
Files:
2c0b4384927178eecff8ebed535df2db 2082 ocaml optional paramcoq_1.1.3+coq8.16-1.dsc
ae4a02f476e0fb5749e33f80499b13db 45732 ocaml optional paramcoq_1.1.3+coq8.16.orig.tar.gz
1270dfe2b4103b41acce6d5ef5e9c68c 2812 ocaml optional paramcoq_1.1.3+coq8.16-1.debian.tar.xz
c5ec6677d52d784ea176003c2c464545 7007 ocaml optional paramcoq_1.1.3+coq8.16-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWJCASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRD3kP/1yDP9CaRMgULajaDQ0uo/A7k1UaR+oD GYtsUAbrahIJkXle6Z4SpRaLoNOgHAAdi0C02v/OvszC9FkCNr6GXCMfvUVDOpcZ y3uAW77Qjo2IE9r6ugdIRN6HYFy7aq3QYA4CIFBTvQ538gRkGyxykD2ojOcvBN+4 dhD4vxi7uxGOBQ8TEyOu0nNg8Nivb0bnVs8dwE5tSny8y1XOaKz2twC42NDgfAox nRSaTWFw4Bo6Q2WfEMLRlA9fHKUBCvJm+hG31oEpx/xFV1exyHHKqFg23YNfjTK9 OJB/KCfjTH9QHojl3ruru2slxIY3yhjUbhmAr1UmNQp1/mcWwR+EYeiQSr1LP8SP N1phBqAdgTR2VHjSwia9UNOVCjiZ61/H/kmeYCEO1a0zNwEz/QUZazeaTy3r+y54 nUaGJl/QtQmtknMAXyVyiEHCzijIYO2rxVcPn2irq5bWPCl5NTEjzFQP4I1Oq61u qKHRRQYBWySbbTMOLG8nf3U0bussIldMpyr8KoVxvE09WqJn2o5NjPlF6RfTb5OU TsAmUyDTykXItXqooG27lqK2/xRFl8I8605vOLIo/JBWIU86kFcV/nXv0mBtJkuM 6JFZ2YnU4yWvPeZHF63cpeRqoJt13zYbbXGde9IArYFMSVYiiRRe7oAM78h5UOQt
h5s+ARF7zjLN
=d5+o
-----END PGP SIGNATURE-----
Thank you for your contribution to Debian.
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)