-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 03 Jul 2023 17:27:20 +0200 Source: lambda-term Architecture: source Version: 3.3.1-1 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-1) unstable; urgency=medium . * Team upload. * New upstream release. * Bump standards-version to 4.6.2. * Add patch to work around our old dune. Checksums-Sha1: 03749ff2b00faa9357a1dfa6b98e7bb42293034e 2271 lambda-term_3.3.1-1.dsc 7da5f42b59e5b94707d8795f5233a6eb3e2c0908 142511 lambda-term_3.3.1.orig.tar.gz 337e4bea0f6f37f09802e7dc4810df1be246470a 3336 lambda-term_3.3.1-1.debian.tar.xz 38997f4747d50fd2a54eb854bc6730e21a890e25 8642 lambda-term_3.3.1-1_source.buildinfo Checksums-Sha256: 3124af8ec307eebb001930cd0ee67309a55e830795d08ac2ea7a5b82e67b3b29 2271 lambda-term_3.3.1-1.dsc 808ea7879165885e34cc222c4948c8775b499c8cdc6a282ce6a6578140bc420e 142511 lambda-term_3.3.1.orig.tar.gz e88091283e21c1c9faddebec711d22f794988b0f1a929104d04fec32d8d779c1 3336 lambda-term_3.3.1-1.debian.tar.xz a88bf08cd302bc0e7fc3041e8c9bee1a48eb346b6e14430c384a3877a250696d 8642 lambda-term_3.3.1-1_source.buildinfo Files: 9ce3846fc1e926613211ee09f5179ca6 2271 ocaml optional lambda-term_3.3.1-1.dsc c484ee8a94a38caafcc175be4a827edd 142511 ocaml optional lambda-term_3.3.1.orig.tar.gz cfd64d495ba4b3b8fdad508fc2ec7880 3336 ocaml optional lambda-term_3.3.1-1.debian.tar.xz 3c41e0384f00bb808b98a09be01479cf 8642 ocaml optional lambda-term_3.3.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSi6PASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRiwgP/RXn6es4P3/p7UTvaE0UspGZHUKBxJMh gHHC3EsK9jphD9ZLWXAB8RNGqZex0Xx2ZgoCDucXdwo4qskTD1Ris+7EL2ZULUJH XHSsbdj8Zzwolat8yrdNZJVmzPdJM7wruLAfwehWYgnhwkBl0uJHP8L7/Yr3d92a yDgCzn4E/GY0vNaQhvTUvoEQ6n+SdAgJ6P6aJw7VS2X/UYPlsjQ0u6cfrVdzC1l8 t9YCwfpRtCmPGwju6W4Fs9Xa3qj0UvYr8Ez5Zhj/+EfndeRDBaXGXlq4Wns+UyAo Wq6l0yKQ83q1rh+zsWEuYkwAk5iiUEY5pk9/4OiDdfoWrRO9XV8rXrsTPkQxeoeo x13WP7EjAqT8eAK8BS1F19gMBZj/PQNxdyic0avzQ/6dxfK5nDyqw0cjOBfZSRPz uboiHFCePI5Yfm9453fh9PdzW8o0b8dVX3TX4beA1/QJoeeYUKILaDtQjGnkAoU9 L4t413EUnAEelMh5UuCf/LbmgDdwFBZThE4olBGcXeLMcpP3mVl3+5FhGzviajeW XdLZiii8uFS+7+p2BcF+ogbxXb1Do/2kxMfNi9vj59ET7PxTMTDfxZ6mG4RJPIU1 DjG6Qohf55uc+PeyGgIBJuFUa1FosRK/dAy982XBk1ZfM2eDajFBh6BZdK1/RL/9 iqyrbrQ5NLbc =3R5k -----END PGP SIGNATURE-----