Accepted coq-elpi 3.5.1-1 (source) into unstable

Mon, 26 Oct 2026 02:36:32 -0700 

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

Format: 1.8
Date: Mon, 26 Oct 2026 09:15:43 +0100
Source: coq-elpi
Architecture: source
Version: 3.5.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]>
Changed-By: Stéphane Glondu <[email protected]>
Changes:
 coq-elpi (3.5.1-1) unstable; urgency=medium
 .
   * Team upload
   * New upstream release
   * Import upstream patch to fix non-determinism
Checksums-Sha1:
 0bd820ccbe16b2143d7b8bba9c5fd825beaa5cf1 1903 coq-elpi_3.5.1-1.dsc
 0bdef6e389172e48ef3b47675a3eae99893b1e4f 1144422 coq-elpi_3.5.1.orig.tar.gz
 ed87b0c47c65fab4208514469f950f523c5dd29c 7476 coq-elpi_3.5.1-1.debian.tar.xz
Checksums-Sha256:
 4ac1a713e8ddbfc76a42810d6dc7c4d5b71682fd75b9316588ee99d4e694d45d 1903 
coq-elpi_3.5.1-1.dsc
 473742f017730fae1406dd70e79c894bc08c9356e111802cfd3b0aed400961b3 1144422 
coq-elpi_3.5.1.orig.tar.gz
 c92365732bdffa96ce561e3f9f077ca7c724bce8877aa10fdad853d71ce78b28 7476 
coq-elpi_3.5.1-1.debian.tar.xz
Files:
 2808f34a49431fcef7d37698aa40e65b 1903 ocaml optional coq-elpi_3.5.1-1.dsc
 d732699b3c1a9de4ebed294e314ce36b 1144422 ocaml optional 
coq-elpi_3.5.1.orig.tar.gz
 b8c57ac183d834e5e1abeac520def13b 7476 ocaml optional 
coq-elpi_3.5.1-1.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmrfGSwSHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBKbYH+wX3XrKxRcCz+yShE0AZ0EX94xDRhpJE
OD6wjJESgC8q7LvDNzLuLptIXJpems9iP4fQci3wRMaZqDrvYyf4sENAhy+OtgOr
DedPkoa4gCFoIVG5zn/XQsvSBbJJqyI7HQGMCx7W/vjfj6CSXhrssuXVVoZL41fa
B/HOokJ/BxA8VNoJ3zgHL4C+eRQ/i3OWrBTQ4W4lJjNDb27iehcGoSP3x/cDXchU
wxdtpcahvFexQ5OcBBpiU60pStf60q133yJw7Hq4QwmEPQ5g3WjrDGyeWYkhvF5J
i2pOrp8ERkk9ExSMeryi7ldzbqK+wfdetmCNoqSQDwj80GKK/Rjk8s8=
=rSS2
-----END PGP SIGNATURE-----

Attachment: pgpzIgYOR2Qeb.pgp
Description: PGP signature

Reply via email to