Back to lambda-term PTS page

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



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

Format: 1.8
Date: Mon, 03 Jul 2023 13:17:56 +0200
Source: lambda-term
Architecture: source
Version: 3.2.0-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.2.0-2) unstable; urgency=medium
 .
   * Team upload.
   * Fix d/watch.
Checksums-Sha1:
 29f13ff3ea766f72941178d68a367bed480bde37 2252 lambda-term_3.2.0-2.dsc
 a94c1ec6e35cbf8e910ab68677a01732383b3f00 3108 lambda-term_3.2.0-2.debian.tar.xz
 3f9bc0e6fc91b5426e7a1a186e14b57049036585 7795 lambda-term_3.2.0-2_source.buildinfo
Checksums-Sha256:
 b3a2f5a3cda9006831b786834d2fda61617a7363d48b111c34de7910fbec03d5 2252 lambda-term_3.2.0-2.dsc
 482803635fc918a76a9949e082096bd9b2ee4d6d05c4a5d8d443343ecc681747 3108 lambda-term_3.2.0-2.debian.tar.xz
 81f69e2904e1a29fb56b79c0442d219d2c750ac8f8d1d8b96871f095af76239b 7795 lambda-term_3.2.0-2_source.buildinfo
Files:
 cfac1a55d7e37ef9b70c3c5c51cc1f62 2252 ocaml optional lambda-term_3.2.0-2.dsc
 8572cede2f41d146cf58f941a37f2afa 3108 ocaml optional lambda-term_3.2.0-2.debian.tar.xz
 43f848982dd324d4b8519cc391a82937 7795 ocaml optional lambda-term_3.2.0-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSirnwSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRcBEQAItjp9YnxQ+eYTJjVPW2kArZzf7P7EE3
l9DOqc+JIe0lnMxwlR63hIEArSgDHK+S9X8EI2jA1QB3J4Lams9iwdCUf/UkTY3W
UEeqxqToMbed0i5IguBOKJD/+3xk3T1YjciwHeEIap4cP3PVM7C/68BRqJvU+G6t
yIiGGzPhGgl0nOV9JV5rdWjyCu7/MM7r34/cb43K1LHL8UgrgEDpHtCOg5QHYQG0
/6RR3dulWL73ew1vPNH5Oc78Is9YXhg6gbCMdi70P2tcP4uoDHRrwzIBFXx56lk9
/3T9W8t3AnKk+33/uySRr1OF0MxDCfDs17WKZU7nM0jy94/c2tXhPIfsgYVF/xCU
ixbjUBglJZ7ZpnrN2cu2li+HYLV93LLXhFvcyRhnYUA3b8fpZUOCx7bAv99jcidx
prpRkFodF6dW9IMx0s/M5zzj77YehvT1CxaKanSKohFwXaWmWhGimS6zqh1kgLxD
5gwCquA+k1Luxsbu1x2nh8uEzMqwcnL59eTTck5yaOnYnf8v0So+dWDBAF1K+Knr
V5E8gn+VlRz0VEKCqQ5HWYiGXwL/9nEVc4bjb3n01veqPlcFKR7gb8ivfr3yugm0
yFBu7SYbiZgpdXl3o0zaKFxZi0yAaaa8MeTGtkBRJNb+OVrwoMQd4l2sCfL3AUWZ
vLSqkbo6sRs0
=en4d
-----END PGP SIGNATURE-----