-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 20 Nov 2024 10:50:23 +0100 Source: coq-unimath Architecture: source Version: 20240923-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-unimath (20240923-1) unstable; urgency=medium . * New upstream release. * Bump standards-version to 4.7.0. Checksums-Sha1: 0cd14bf1a25dd07f50b699de8232eb02a2d75db2 2109 coq-unimath_20240923-1.dsc 1fd8be330c38a557b544ac4376dc7ecb1bc1bee0 3609745 coq-unimath_20240923.orig.tar.gz 9d3b9c719baa3b200de98e21e031db416e8e6d0f 2252 coq-unimath_20240923-1.debian.tar.xz cdb99dab3dbfd87f0b3d1ab79413b7da9dffdc08 7144 coq-unimath_20240923-1_source.buildinfo Checksums-Sha256: e19674e4a4d3c70add800b526e4a99574f9ea2546460d6ed41f9760089189e49 2109 coq-unimath_20240923-1.dsc db39e7f49c539509caeadf9b6486be8c10f3afb32b6858003abadc7b24aba3f0 3609745 coq-unimath_20240923.orig.tar.gz 0418590fcea27dd2ab179b7f3a1c4e20ecb629ddc9543b162fe44cc729c94416 2252 coq-unimath_20240923-1.debian.tar.xz 426f3d15da7c7c31c33cf15ce7df0996b66c60a3608d14129f97613807c8ea17 7144 coq-unimath_20240923-1_source.buildinfo Files: bac6dc87afdf509a524931c2f00a5e33 2109 ocaml optional coq-unimath_20240923-1.dsc 38ac9e25497c1061b099ece8ee5f141d 3609745 ocaml optional coq-unimath_20240923.orig.tar.gz f74c76ae79076ede685d37b0b3b04875 2252 ocaml optional coq-unimath_20240923-1.debian.tar.xz 6352a4af555c3615515f475c3dd0c657 7144 ocaml optional coq-unimath_20240923-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmc9sQESHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRMOoQAIpnNxEHPoJrW0A3apo4IXWdgbAksx0s r/oVJP+wn6zWAp9kp9EiT/6JmHpD5KxQX4+z+tBOT1lXcp3gVj1Q7sfwu/GaKQbg 4P8cU8Mnyer8Axbqbu+6ZiopWMCvU04lPd7vDafHd1Oe1r3KjvnCTlo7bKTuJQHM MzHJEz0g3eyz8G/ce1wLoHQS1KE/3EFlQeiQa3PizzeW7jWuY1OrWOlojHBtoUnE zLq9X6/q2cIxklVqlzBzBDNsRmHKThrrtc2CW/QSe1EJjGYt2idx0rRleSaY3eGc l5npZdXdielzV9JB/w7vPWsFQWvRiXUyUmaNZqf2PSQ/gAEjP6IUIePCh7wUrlDw 0h6Q3ls+TWrQq3cvKuArnr5SZ+/5CdDtqPqkASLOQwWsJsqXh6kudtW+40YN5FYt j9s093wkSoL7zVxgCXWh/k+9HE88AcSJ9ay6a1xtkroTGMF5kpq+byEB0AdZb4xp QEnKJ2nWH1uGfa0FB3Hx3f9NVjDDHFUc/Ul2+YfxUjn6Z8WcNslpiXtQVP/7L8Dw zZFFxYjunZLYqgSZ5j+kQrN3/uN5ROjbcQerSwRGG1C2OzTke5xlajVJdYhbwW4l /GUmt7pbdCuXFWPgw1vJ/rrJLDwvFNLHY01C1B/ogRFViZBM/zGu++fpzzj1BRD+ l16ZcHfqQXDa =eu/A -----END PGP SIGNATURE-----
