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

coq-equations_1.3-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:04:45 +0200
Source: coq-equations
Architecture: source
Version: 1.3-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:
 coq-equations (1.3-8.19-2) unstable; urgency=medium
 .
   * Team upload
   * Do not hardcode /usr/lib/ocaml
Checksums-Sha1:
 700a932fcac2730029aacf7205587350fd0ca2af 1942 coq-equations_1.3-8.19-2.dsc
 8eaf37522fe3acc6ffc9ac126ff3f06358eded64 2724 coq-equations_1.3-8.19-2.debian.tar.xz
Checksums-Sha256:
 dac4473bedb4a76668feb834b6831af48e98402ee2915635644b7cb440e006dc 1942 coq-equations_1.3-8.19-2.dsc
 9d25183b524bc5af37014491bade2724a006fbf68ac85e2296fe5817ef41ab5b 2724 coq-equations_1.3-8.19-2.debian.tar.xz
Files:
 1cb83ebb2583c4b0a49a89fb3ff353ca 1942 ocaml optional coq-equations_1.3-8.19-2.dsc
 77c49e17a9ad2721f932e3babdedb3e6 2724 ocaml optional coq-equations_1.3-8.19-2.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmavDM8SHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBI6MIAJw68lXW9cZhDFX3dOmDMj+oD/58rHjL
1XOhJnFZD7v5rgckAk/4y43hS3YPhnMYQW+RzhAICf6MNxD+3ar7lpZQXvSuQsul
elKAXvgsMEAq9BHY7yaZGvWSl/05wNcnQ7vzfxx4Tkjm2aIkndacQMk+v8CvMUPp
t19oUjDeOLqg9QvoLKBaT1m33+WTSOogJBjaLCYydhpnHt8tg7yx/nsALLRVFHmq
uMy7FQgsaJP9QOfd1JyJCc/pkZpkXjBrbAQ1AAHx2hPCFhBRIQUeiDx8oy60u+hf
t18451kkpC8hHq93rdNme8hLB3nBH2Tlo07Ro30IDK7zmYmWO0sXYD4=
=pg60
-----END PGP SIGNATURE-----

Attachment: pgpqwPR9z6v_T.pgp
Description: PGP signature


Reply to: