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

coqprime_8.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 07:23:18 +0200
Source: coqprime
Architecture: source
Version: 8.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:
 coqprime (8.19-2) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 6a2159a15248ccdc13cf019e08c180fef5f07c50 1916 coqprime_8.19-2.dsc
 ce934c4f87f42c1eebd0f9b26d452e0cd30753eb 3412 coqprime_8.19-2.debian.tar.xz
Checksums-Sha256:
 8ba26538fef93d41c69e7b7dffac91bdd937994eaeca6d05e1457ab1b633884f 1916 coqprime_8.19-2.dsc
 1eea8b4297c00d23fdbbf8dd71ace518e5218d95c075045cd6e31034a0a1dd46 3412 coqprime_8.19-2.debian.tar.xz
Files:
 f95dc07940129cb98d3e45ce0201bbb1 1916 ocaml optional coqprime_8.19-2.dsc
 328d46d457e314623ac4f4fb7b68ae54 3412 ocaml optional coqprime_8.19-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavEJkSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBY8EH/1BBgBNTEQTxZaiyQHCDmoy9BaTodbXA
oNTJebHw1PGLoXNZ49s+bMcBdyZ1E/BuHtf0E6RqtBuT4GUlgn1GA8t9DCuhU7hB
a+xVfwBhVzR9odkJcuOVOtBd+JnvIr4BMvEynfmjs3UoaFtlF5xb6AQT4Tycpjlp
H2DIJfNoQxMcNFJinf/6GPJg6dxwUsFF5cYcNO42Lud6dGZf2uWdwLTnCflon0TF
GfQkWe3SPUGAqzRBTUeeLVxOSnjcNP/goFulKrazNjT6x7ssxx3cLthMoWN0Wu0z
noFqIOukptJmk9rboGCJhm4YgTJ9jFckyRxvb7q7ZHAmiq8tlas6MSA=
=iw9L
-----END PGP SIGNATURE-----

Attachment: pgpjtLzXOBZHA.pgp
Description: PGP signature


Reply to: