-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 08 Jun 2024 10:13:48 +0200 Source: coq-interval Architecture: source Version: 4.11.0-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.0-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: b3fcc9d3d2df32f8e8e6aaa88e922d81b6b4ab98 2194 coq-interval_4.11.0-1.dsc e366ac6fffa1a4f3bd943a0e4a639877c9fe1096 301998 coq-interval_4.11.0.orig.tar.bz2 e8efee99824eedd49f5027b9b55ddf2c06f6d5d7 9236 coq-interval_4.11.0-1.debian.tar.xz 1377dbdccba56716ac09d27d742196286cd6b801 8533 coq-interval_4.11.0-1_source.buildinfo Checksums-Sha256: abda578daac4efd7f5f661060d4cf29da539b165850e8ae26ff96c8ab6c4dcbe 2194 coq-interval_4.11.0-1.dsc 40a6522ecde1976280167ebd5013f9526386ccf114b3ab6baadc65abe6f3f663 301998 coq-interval_4.11.0.orig.tar.bz2 cb4d547f5dfc589540b5598f1db19835aa427fef98651f70192601210a11169d 9236 coq-interval_4.11.0-1.debian.tar.xz df7b6fba1079ba5751975aeefd95e972b833ba9fc0d75b35e67d8fc61a79c3a2 8533 coq-interval_4.11.0-1_source.buildinfo Files: d75b33b9a56ec11bc746c2d4ccb821eb 2194 ocaml optional coq-interval_4.11.0-1.dsc e4a529b5883ce16c9fa2a240ba81dbae 301998 ocaml optional coq-interval_4.11.0.orig.tar.bz2 a00cffa6f856b575d143ed7c0490e4cf 9236 ocaml optional coq-interval_4.11.0-1.debian.tar.xz ac5021a8728c60e7ddddf723f83e2f3b 8533 ocaml optional coq-interval_4.11.0-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmZkExcSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVReiAP/3X5JrI+4owxvowS/tWwQaTNmGSHC3xR 5Hqkpc0OoQVI5ziSzMYxcjP9XIwZ+W9y7oBjgduOE7YV8hLY8/mxzyzq3iYKRS6v eCkoA2amqsSyDJpDq4/gbg6kkITTdVr22bmYTuf5Otb0aAmWKdcv/GVOePndfnFz mEdHY4FraEmJd8UPg4Bc+H2nx7WycHLv+NwHB8oedsSsG5VzSe+2XK1m89MvoOQ2 sVwgr6/ROnM6B+5tWFvSxuYGo47EqaYRcfq9h3Q0NlNxw5E8Wg6jtfGj3K8iIcDd 2cuo5Yu6wBy/gBpHIjrHit4BXCco1IUBbLWu1S2qIc6YfIX0mTghoZIGrU/QV3nQ WtDc6vKMFrdB9zriL9K8TPHyYIBWQYBH/pWfwH26J1z3cB+jmuu2Fhp1aLCT0h+f OJlGHrTcWhcaQxM64HIZc6JVN45NVavF2INwm7VWNI/0LJO3+yR1Z1F0nz7OqHXy NISM1tl4nRiAGbHmxWLSMIcAO23b9BWUfz4tIkNrg6dWxxho9ge3cmSq9U3o+bfw V8D8uFuS09Qisg5KOn6rJs+csD/3FM/f7Ok4vuVB5QOa7Ncc4PKMm9P/lr6fbRV5 mev7acDliE/m7xQGtp6CK7QTpITLoMR/gT+ZgX6fecsgirYKXzgjlabO8pDXn7ko rTiBEUoKAtZN =Q1Al -----END PGP SIGNATURE-----
