-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sun, 17 Jan 2021 21:44:44 +0100 Source: ben Architecture: source Version: 0.9.2 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Mehdi Dogguy <mehdi@debian.org> Closes: 876966 956005 Changes: ben (0.9.2) unstable; urgency=medium . * Set status filters via URL parameters (Closes: #876966) * Use Tyxml.Html.txt instead of Tyxml.Html.pcdata as the latter is deprecated * Avoid deleting lock file when it exists * Add <label> tags to make filters easier to toggle (Closes: #956005) Checksums-Sha1: 5641b4965791ecdea7bb3cf0b9a913f33b8e0173 2114 ben_0.9.2.dsc 2362a7288bc44609fc782239a608091d6dad591d 79228 ben_0.9.2.tar.xz 3955fb83d20e1a3dc729aab3b92c7f231a918fbb 9623 ben_0.9.2_source.buildinfo Checksums-Sha256: bd87bedebb91d1edfb5d4b2b2fe8d7a40e8336d3501860b9266eff56d46c4ba8 2114 ben_0.9.2.dsc a2a27d375bd1386e072b72afcbe245cc1d04c23ffb99260bd16597cf8aad1330 79228 ben_0.9.2.tar.xz 892748b8537985cd573c23b2c35996f689deab1f59df5930538545e45c74aa74 9623 ben_0.9.2_source.buildinfo Files: 9a06ee1499466c90e90d4ee191761e1a 2114 devel optional ben_0.9.2.dsc 9297c7979165a8e310c10b0c66130027 79228 devel optional ben_0.9.2.tar.xz f70d5739cb959bf4fca20bc6b54a4be3 9623 devel optional ben_0.9.2_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJFBAEBCAAvFiEE/IeFmw45V03XKU7GPfRgADmhQMQFAmAEpOoRHG1laGRpQGRl Ymlhbi5vcmcACgkQPfRgADmhQMTy9w//byxOvnjAoUyguuq0dvEw4qOG0kEQDxj0 D34e8TRQoKSjj+tqbVH5t7GHsF5/Vra/D71NaLDgu8O4dbMfXVf6vGTI7GinowPM U/4wh+r6AQN2U1jyTiRUKqvev2GKq2TAY5+wqPsdjn+XdgLMf5pv9R5LDfPxGiCH XPnH+JrjSj6lrEqUGbC6mW2veTKnbeTSHginjZuJHeS6ZnXGQe6A9HL0NZaiOtVx 06htxtX/FADXbn5Mjf5A/LPzn+4Fz7a/Yo/1Nht9rKzw7vyAnVzXroQVbwLU5gQZ 1FSQZF5FkFj78vukcvCqPtkKThoYBVgNHVXGZ72eTGmgIxGgoOO/NSdhFyS+0sMP sbxgLVs4FDcivw8ycYZMxFyveljeBYwkkidHL/EYhBbj7Mec/jrnEao4X6bmTbl8 PCa5K18e6DsOV3OM7jFxK3JaRL2aea6AQy6AaWc4rT46rYdjmOmGwuxG3V590T98 xyF4Flsm8pOnL86rqH7APvSCPR3UvvY0wvVCJ9vSd993O/l7Ly0KGqHAWG3ysqCP M2IsIPldSf3HSWC7GlynJzuA/m4IrR1v/d62yg5pxTRRrAb+jbHbe9yDnvidC3Mk myz34PRNMPvi9ElMbUAk9H7NNPslxPAtjr7Jqebsa9nNGHmeIECaModO+9vhLEIu QURvrtwkyB4= =XvKW -----END PGP SIGNATURE-----
