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

Accepted elpi 2.0.7-3 (source) into unstable



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

Format: 1.8
Date: Sun, 28 Dec 2025 04:45:14 +0100
Source: elpi
Architecture: source
Version: 2.0.7-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
Changes:
 elpi (2.0.7-3) unstable; urgency=medium
 .
   * Team upload
   * Disable trace-browser-elab-broken1 test
Checksums-Sha1:
 6d3a7213b5b18bf78d57a119fa74cdcacb9fda74 2210 elpi_2.0.7-3.dsc
 e55426649a0a0ce2ce4d8af9e4307926e565849a 6196 elpi_2.0.7-3.debian.tar.xz
Checksums-Sha256:
 b7573bff6be7810cdb3d7fb328a878cdd282f0c4eac3cfbdf42fc7b220edaa40 2210 elpi_2.0.7-3.dsc
 c0744eeb255a20dca411eb8219c5215631bba0c1c72512a9631816aade5ff431 6196 elpi_2.0.7-3.debian.tar.xz
Files:
 f429c99ed28073f2e66798869159855f 2210 ocaml optional elpi_2.0.7-3.dsc
 05fbc839bf2b02cedb8c3bf0429e7a86 6196 ocaml optional elpi_2.0.7-3.debian.tar.xz

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

iQFGBAEBCgAwFiEEbeJOl+yohsxW5iUOIbju8bGJMIEFAmlQqKISHGdsb25kdUBk
ZWJpYW4ub3JnAAoJECG47vGxiTCBQUYIAJh8Tp9OdRonhw8C7AEd5q9cHUfDABvb
kVjN3I5e6VJ/bB7jH9h19TJqTAjIhUGgzlRyfAkRmm4DJM7mveUCgP7j/nQRm5NN
VnjkPmw+u9jkoQVXW7tqnB/RZXn4VTTX+AhbeNQ6V6eu3QXpaLZy0+Eaqau8tNDV
UHSQFAtSlwgwNGPJjehj4hk1t7R0NPCyN74gHrxg0gbyktRlWM9nZEpwOxZkbACR
AQvQQ3jTzIch0VD3mfrPNDWFzvuLdzwc0fg2ctudCIks0ThJiz24jbl73mxyMHrk
mEZsb6QQZrnUu+nA+Px31otb8Qy937CjyfR4oJhtxX0D4uXyulQxP5U=
=SyQk
-----END PGP SIGNATURE-----

Attachment: pgp4Hx09PSy9t.pgp
Description: PGP signature


Reply to: