[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

paramcoq_1.1.3-3_source.changes ACCEPTED into unstable




Accepted:

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

Format: 1.8
Date: Sun, 22 May 2022 19:17:11 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3-3
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-3) unstable; urgency=medium
 .
   * Re-upload because of ABI breakage.
Checksums-Sha1:
 e4fa9729ea1aa46f847a35eb9276a2906199ca39 2003 paramcoq_1.1.3-3.dsc
 d8b94fceaa6f7c8504f115858d0a1d58d0e1cb6e 2644 paramcoq_1.1.3-3.debian.tar.xz
 740880b3e7f8a4563de7874db39d1962c2da9845 6719 paramcoq_1.1.3-3_source.buildinfo
Checksums-Sha256:
 3c08c54b6819eeb4e9ad8bc83e135f624a15a694d3a1f2127c83abed1d17b014 2003 paramcoq_1.1.3-3.dsc
 f006b10a5bcefbc9fdb5e04664b5118bd22fb0ebd5a14649ee8e9932ce94a5db 2644 paramcoq_1.1.3-3.debian.tar.xz
 9ee22aa6cf10df9944396a626adc3919afa93559e7c1ff0ce5b5f3a9fe3ede58 6719 paramcoq_1.1.3-3_source.buildinfo
Files:
 62eed19e5d8144c5158625aa9668ad8a 2003 ocaml optional paramcoq_1.1.3-3.dsc
 08a2fcda880882d57e97a72a8284a30f 2644 ocaml optional paramcoq_1.1.3-3.debian.tar.xz
 c6cd396adc861f10ab20ae33d747f695 6719 ocaml optional paramcoq_1.1.3-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKKcEESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR46oQAIqAFlxOR4z3vkwIxvEinQP4JS2fg54j
O4kRK3hB9GEuG6PUOkC3X0SzNO9fmk51jaSduv0Xs2hgJkJ3QXyrDyaCTLE0eZxS
JfOlUqo67rY2Sv2lDXCpjauz8H4YL40uWVzP1NgEbrW1GAEOF9QyUGO2s08os5ay
0+f+M1hI8gg/5LJg1Wmyq5PeQxp3DlCvrEEY6XeElFnnQHD0Cyvwbin9wjaRargq
ar249ylO695vbtXqBMRWz1sHupwf0D5LYoB787n+MhMn09rV4hhmVWGWg4UyOsa7
Yqu+R8LlO0mVbwJmTJ2YFbnllgD2PMnjCPJSBMzlHBVqSvTA22AHCtymiZnJ/H0a
/QxmvoAZoPx6tNaHYWiHsbgt/WbV6kX0X+/9Xr+kvVS5CW7s1mhPeMrL9Hfl4+4t
a4eVA6BtI6XVv0SuXxo5IjdhYpZmXGBprbOGYNWGBy5MpTs83kCF1eAbd2xCvvwk
u3k4DVmtlzkLhCAz37mPFCUN4zLDVrgaUxeKYi+WY7ChBqoYYG8zlMBs6CIgj6q3
r33YzG59EDWe127EqKtWP0T6JxMqhfmt28nt8sEZzN2VDxgGLrVxEfSo0nv2aEEq
bjdjydQvHPzdPF+4oE8ypV06ewjFxkmWyTXhCuAhi+gKaz5+32k8L8zwY/fkgrvp
mdcFnlRttR+A
=kAgk
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.


Reply to: