Back to lambda-term PTS page

Accepted lambda-term 3.3.1-2 (source) into unstable



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

Format: 1.8
Date: Thu, 06 Jul 2023 10:39:22 +0200
Source: lambda-term
Architecture: source
Version: 3.3.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 lambda-term (3.3.1-2) unstable; urgency=medium
 .
   * Fix compilation with our now-current dune.
Checksums-Sha1:
 aa397bafa707f02e1df5549ef4732006bf15f544 2282 lambda-term_3.3.1-2.dsc
 d595fbb158d49b4afcd6d539122c88b35548c534 3176 lambda-term_3.3.1-2.debian.tar.xz
 832b0d793f7f7b6fe4fd3b161d9e4d5247a25c42 8756 lambda-term_3.3.1-2_source.buildinfo
Checksums-Sha256:
 1842387648d19da13469480a6bdc77c584cd27a9aaf8391fd4148a64e0d9eea4 2282 lambda-term_3.3.1-2.dsc
 ed69bc12c899224568d2c97baed864e4fe7574f63f54a15aff1308f34a0940f5 3176 lambda-term_3.3.1-2.debian.tar.xz
 b994f551a42730d476fb03cb31aca951229882b7410e714b96eedd3d2c35ccf6 8756 lambda-term_3.3.1-2_source.buildinfo
Files:
 3fd888ca64e6273253c5eb930cb6bd13 2282 ocaml optional lambda-term_3.3.1-2.dsc
 639fbff4ff9dcd6ff3e62e8161125763 3176 ocaml optional lambda-term_3.3.1-2.debian.tar.xz
 0f19e14ed0edfc97f024555fa80bf31b 8756 ocaml optional lambda-term_3.3.1-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSmfdYSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRg8UP/0aOed46p6t2HeznIs3ZcQPZFJbs19t2
Zwf9PHKQsBujkdMWtxhDahDmK8t3vw0LWJHE9GwGaY5Lnz0VL1HQD4OwZEbOrYAw
A+vfsHLvkqZpx8yzS+vFxTzyqPh5A6F0/Q4V3TpMuvCVqB3dxNRGNVE9Va6Dw1An
hQU3mw3IqgYxitq9qvFlMA6KtBbtdmph8tLQC11pGlS3S1mB1VqG8iaNBkk2a90y
xcbDvkQEi2jcPrhOvnzTzbXfp+yrEU3sHMmU8jBLqKXd2J8Y9+eILceFnnnB8Rpw
bNRwqGxggc0EmjebeBE3UwymTurNaWE3AToCxWSZWtddAbETHgz7dxrelrCyZsC2
ISDNxJAJvT0F+C8/cUOpkovIWRpgUNuRDqkofLfuvWEXexa6mja9sBT+t/tU9gzC
EvfSszbKYRekZjdouj3ep9POvUVPgmWI3ZTNm5eGXXADuWaVEOy6XC7Y/+YR1Bmm
z+cVGGQi1t5zMF29ZfBLmwGE8+o5Sn/RjPZIiumGz6IR5KC3Zb/i1xT+NeuLAdGG
+UkW254c0zgz7BC/eytUVc3xon78rJKgBnK5ST8rAf1T4dKxVC4e168ECJxDB6wf
deT6yFqfWUR3ZF9tMwO6z4RTCIdoFfoThDrhDA52+tiT4j28FarRfysiW5Soj0QU
KvaVrY4WHb56
=gFRR
-----END PGP SIGNATURE-----