Thank you for your contribution to Debian.
Accepted:
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Dec 2023 15:24:39 +0100
Source: coq-ext-lib
Architecture: source
Version: 0.12.0-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
Closes: 1044715
Changes:
coq-ext-lib (0.12.0-1) unstable; urgency=medium
.
[Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
.
[Julien Puydt ]
* Fix d/rules clean target (Closes: #1044715).
* New upstream release.
Checksums-Sha1:
7b346b4b6efb21d82f8ea431cc464e27145db713 2089 coq-ext-lib_0.12.0-1.dsc
e55370aa1341593d510771de4bd244c8d7f63c5a 83450 coq-ext-lib_0.12.0.orig.tar.gz
b5d74143ee167d2902e37ae12dae7cd774d0da6c 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
1d79c322f4107725865df852b44eef876a4fa575 7844 coq-ext-lib_0.12.0-1_source.buildinfo
Checksums-Sha256:
79700b63435804bc7b4f81c5fbac86813563908e8a49b642ef8b7ed7f0757150 2089 coq-ext-lib_0.12.0-1.dsc
b46b2e139de395917d1fc713b33511a00b48674f2f02cf2cc1af209fef223b51 83450 coq-ext-lib_0.12.0.orig.tar.gz
59ec97967a778b444a85c3ade1fc02ef0e01482d6b07ac634e9a55269b29fc76 2248 coq-ext-lib_0.12.0-1.debian.tar.xz
a9b4e534af34a6e90cb2a5a55d2d567c2b18327630e32a6c1005031b27f7c62d 7844 coq-ext-lib_0.12.0-1_source.buildinfo
Files:
0593ce3c7526712cf4120ddfc9ab5c0f 2089 ocaml optional coq-ext-lib_0.12.0-1.dsc
ab08c703d854fdb90f35cf40614e089a 83450 ocaml optional coq-ext-lib_0.12.0.orig.tar.gz
3d768bce935197b7e3d216a6ccc7b08c 2248 ocaml optional coq-ext-lib_0.12.0-1.debian.tar.xz
e28e67d39a816839f35a4673fa9411f2 7844 ocaml optional coq-ext-lib_0.12.0-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWESr8SHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR6xIP/jrcJlCnKD22hwd6KypXDDnaaUjDjbCi MBe1E1z/gO9n6nt6VjhVW8OtcGJsx2AIqLOoYr51fFOMmSq8IDUSUEfreMQL/0hG vbllMXIodrm8KFD75W8a5euYi6lijfxNhJLcCFWoNpijAaIJbBmkwWwzvKvIWV52 L+aJCjci13498eX7I72AqzkcRfsqFWE8KQO3ZQHLowNrM/t+vw1aA6k0w9LBjuWb FBbl9S6LfYsOk+sbSEh0T3P6I3tJG4X8+IIRzyj6IKw2DRdpb9T38vjgM9B4F8HI Vyecyv0Swvs9I4U35u9ZzoideHTdCoCZAvEzUeXtlrVeVewmPRhlBi9iRJXDWGhr +g61ZJDxEbVsm63Suoymfi9zglYwdrQsvFYpAA5/Khg9kU+Cu3QizAz/Q/SKx3mm 22q/ObEhnBlDALgmpJ3KQEIc3oqBUMaRv3KOnX4P8ncz/7uofcyv7S7lPqG/r7gn L70XYvnb4JBenCudG1yRFPHbbbA4YCnP2w1ovsz0p0mHBxr38LQHmt/6J94wLcjS VSgFDeG7cEhmuQwzZR5GoVZ24Ef60KKS2ecSO1bXtp0IrbmWQMVHNDGjF6fhuGAK pRllgbw+yyV9Iv+wCUbxMYaPAmm66uC6QJUyHlTXtqcGTUa0ifq5s4e+sGGuBYYC
TZ8xeMWrePus
=n8Jh
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)