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

coq-serapi_8.19.0+0.19.3-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:40:29 +0200
Source: coq-serapi
Architecture: source
Version: 8.19.0+0.19.3-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-serapi (8.19.0+0.19.3-4) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 0cca579c2793ee021d281751f5041b05e4cadc1c 2271 coq-serapi_8.19.0+0.19.3-4.dsc
 faad1259febc601b63999ec3048e7a104599a9f2 10264 coq-serapi_8.19.0+0.19.3-4.debian.tar.xz
Checksums-Sha256:
 0286bc58395310611ee41ae8230faab5577bfb5d6b1ec1793bac5856879f8722 2271 coq-serapi_8.19.0+0.19.3-4.dsc
 facdfdbd14a027bfd53998ce723787a9861acc52fc4186874abf3bfe08afb563 10264 coq-serapi_8.19.0+0.19.3-4.debian.tar.xz
Files:
 66d93cb0d8889dcdb2332272c3ccb5a4 2271 ocaml optional coq-serapi_8.19.0+0.19.3-4.dsc
 8cd3828f6e00d26c377dfbe9858bd97c 10264 ocaml optional coq-serapi_8.19.0+0.19.3-4.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavIwsSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCB2jEH/1YWl3KTQVq9fmL2jihgg3LMs4bkh0d6
fApf5ZalrDGVa7LK91gCHXgKIS/z6vXgb3ziw/Ua/8nL3KcQAVYzBsMKNWBiVSrz
JnvBz4b7UIqcGzlTGCUHKonQKSWac8u6COC41YCd34UO8Vc4sYyzqSqKdsqA9ITR
71zWONP6sjtnOOd5LELju8v00LidK50W+lfhrhd4RE4RL829lrEArbGVS8ELhwUB
oZXSBZOyMUHHcZl8SGqliZblmEBwJPHT4GqcKHZtZOHO5GS6A3AdAiZDO0TkFDOj
f9TEbj9ua6BbpfRRE+x10mFvWAW9Jr9fA3b0kD9Fk9eFqFodJhrjfaM=
=vcng
-----END PGP SIGNATURE-----

Attachment: pgpH_ek1RFYgg.pgp
Description: PGP signature


Reply to: