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

coq-extructures_0.4.0-4_source.changes ACCEPTED into unstable



Thank you for your contribution to Debian.



Accepted:

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

Format: 1.8
Date: Sun, 04 Aug 2024 08:11:03 +0200
Source: coq-extructures
Architecture: source
Version: 0.4.0-4
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 coq-extructures (0.4.0-4) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 f992e094b36fddad80730e72dd648044c93099c6 1941 coq-extructures_0.4.0-4.dsc
 f5b492ee3b9f05ca9b52d529e825e471ede9b8b8 2348 coq-extructures_0.4.0-4.debian.tar.xz
Checksums-Sha256:
 d1a33ea2b118ae420de41288a417022b1a4d69d06cf2b9036fe660b6fcc0c72b 1941 coq-extructures_0.4.0-4.dsc
 5542d129fdce52fca33a6c308e875109e9e738e8e4befb442a07df02a87b468d 2348 coq-extructures_0.4.0-4.debian.tar.xz
Files:
 024115630e1520e20ec014ed764ed2bb 1941 ocaml optional coq-extructures_0.4.0-4.dsc
 9966096700a2a5e8874de39e58f3a640 2348 ocaml optional coq-extructures_0.4.0-4.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavHAMSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBTKgH/A+9fqRVE7YUOHQnLhDhoX4dC+a0gYhx
zZ0ibrVUVGNNNCzB2WYflQUhxnixgvJW27uB9hxw8KREMZ0LwBUixZw8GX3fmHDb
v8ftr2MD5uORhYPmMLksfRcwv+LI3qEGRmigfab/fSFgObmLcpuHpc9qm9/4IaG9
GrR2Vp/9xLhk6MpTEqEx6/58679aHi496P1f/i3mCT+fdlPrBznFRzQBTWY05hfz
lWj9eBGhOvaRVeGlB1wYuMuQziIc+0ThH12lq5G1vrnKKFH4RwxkYYJATexLIWte
AyzB4Ai3Dx3tOZAKuNfFeEelsVTVcKdr59DzWAHrlqZByfSBzDJp4Yg=
=d58w
-----END PGP SIGNATURE-----

Attachment: pgpNreM43OZNd.pgp
Description: PGP signature


Reply to: