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

paramcoq_1.1.3+coq8.19-2_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 05:39:18 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.19-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 paramcoq (1.1.3+coq8.19-2) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 8bdbe036f152255caefdafd28ca9d8b779facc57 1887 paramcoq_1.1.3+coq8.19-2.dsc
 0b8aaacc69020f4299a161231b621f89c0c16c1b 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Checksums-Sha256:
 661b5c9adff968af122d5de34707cf9b4400b756afc30c85322f58fb43437d58 1887 paramcoq_1.1.3+coq8.19-2.dsc
 9f9d0a76a89cd70463a9981a2b4d30a1a4d63a07464c56b9bec11f23351e03b3 3168 paramcoq_1.1.3+coq8.19-2.debian.tar.xz
Files:
 97b3bc2541dc152f30e49396dd5cd628 1887 ocaml optional paramcoq_1.1.3+coq8.19-2.dsc
 b765e412576c5ce31779591ec820001a 3168 ocaml optional paramcoq_1.1.3+coq8.19-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmau+M8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBfQ8IAK+pQQNyclxORwu8GWvJZVJ/zzIil87e
ArTj1IQEbVfn74QU5NK5PnmfmxTuXv0FgkGEYc8yKEWu4PyGOwACXtXSvdjg/MnL
UdruRz6n+WKASJhQQjui9coyicjTTUZeKAn6A/0fHD91wYpT5oKcTD8un64bSRA7
qTDtwxygtWUy8f5SKZtGM+fu4ozbV044rVYGJEy9LwNqT9s6W5Qn+fOKG7ck7ieb
jk6HE7qJahSdmbQZjHnNSPPwpgG4bz+Q5Va2H2HZ3q2404zyhRKhIVGqYyzL+DO2
+0OMd11MutveI/15EjoCq4iz42wMUH/4sKHebNuAs0gQlx3LGMz/DW8=
=TO79
-----END PGP SIGNATURE-----

Attachment: pgpNmd4LqvGAP.pgp
Description: PGP signature


Reply to: