Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:58:25 +0100 Source: coq-interval Architecture: source Version: 4.11.1-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-interval (4.11.1-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: ee1e59b94642b1d63fcbf26520df2b339e9eb8a0 2191 coq-interval_4.11.1-1.dsc dc428df35162294c1a2a0a9c0dadb9e43dc2be89 380862 coq-interval_4.11.1.orig.tar.gz 3c428c6732b573c8dffefaca84a41ba194e5ad40 9364 coq-interval_4.11.1-1.debian.tar.xz fccc7ca27e67696456bd6c439caa69d10cae1671 7768 coq-interval_4.11.1-1_source.buildinfo Checksums-Sha256: bd98a064fba91bbb8274290782b06df19d8f94f54876a268aa074768ef0ff792 2191 coq-interval_4.11.1-1.dsc a5a76baafc1e7cf0b2125f992c982375f864d4ae808fb605a9ff3a73a5c0bf4f 380862 coq-interval_4.11.1.orig.tar.gz e2070550d06174e7de9943f86f677144e1a28ae9f93d468733f6973e093995b2 9364 coq-interval_4.11.1-1.debian.tar.xz c6c39bb7b3e91571e6fda0f0c31cd427685cecb936e36d8f8b5c0e718729d7cd 7768 coq-interval_4.11.1-1_source.buildinfo Files: 7a287363ea64376f3747a1433099b7ad 2191 ocaml optional coq-interval_4.11.1-1.dsc 84fe59b6aaf35174798ebb6b826409fd 380862 ocaml optional coq-interval_4.11.1.orig.tar.gz 831825eccefe35ee8a953e41ee9036e6 9364 ocaml optional coq-interval_4.11.1-1.debian.tar.xz bbd92d351c71ed8d477e22792c47a664 7768 ocaml optional coq-interval_4.11.1-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9stsSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRydsP/2GttfioN9RZYrm775WXuruLPgUjh0bY G7kWxzGCqVImElIS3lOguOb5J4ND53N71l3zGXSbNX50m3oZeU0tCxQiYNJFH0LZ W7vYGvu9vWiKSaWrUiqwJyDigVq4CyNzfC+oMSXTVlQNIBgqKiBXIG43aI23vIwq 1wKBxyyND36WWdKTcTSIVWdkClPOZZi8y59hXCqG9XtLtI15Q998dzurAGDxmIOf psNAso0QlicaMIFMM7fPRSnc2zQlEsVkvSPdaJamldAn+oy+51mOm4mV6vR2LtNJ LE8S0uR/M7Qiy2hJ8zOQHht2xzETPPzK6ulrCR/7T0ogtc626RjW2wo4P4nrtUK+ J03fBMwE4Ch8N8674PKSR3/0g+FzYswOeTiM31196otEmdj19H+yDpRZHoVNQ2IG 1+mErHw4WA24D09wYBOxc9R99UwYcPgDJfu3TJrjtvpMztFmh0lO4zk036GobuZH hH5HU41mGEFtCZGt4hmVgs9dOJgtekp/koent92A1NdrFcUgSk4VI0yHp9vf+J8t qWjKOgFqgpSucAdWGgqt8wq1yrf86DP6cu/KYkctMNNFDWWu8IuyHJ8pPnNjmmrC LLTSSJrfLTGQDBOboSOe7J8vHEqy9OOOB7I3J0JWnBLKs6absSYhrjY2Nj1pVAK9 qk5ukSi03JKc =RgcO -----END PGP SIGNATURE-----
Attachment:
pgp0Z9_Et72B8.pgp
Description: PGP signature