-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 22 Aug 2022 16:37:41 +0200 Source: coq-dpdgraph Architecture: source Version: 1.0+8.16-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-dpdgraph (1.0+8.16-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: 47ffaa6c76450efef194f60a0dd2fd966acc00da 2203 coq-dpdgraph_1.0+8.16-1.dsc 2fbd50d6e0a836d616d0f02284ecb5833ba7c9b5 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz ffac85617d6a4ea275b167568ce8bd16c2796919 2696 coq-dpdgraph_1.0+8.16-1.debian.tar.xz 6cb94974ba1b7c53a0ae9893995fbf53eccf421b 7044 coq-dpdgraph_1.0+8.16-1_source.buildinfo Checksums-Sha256: 3bf4087cd3cd023bdcf7fc66df1c524350cd1d111389ea3bf8c61e86975cdb4e 2203 coq-dpdgraph_1.0+8.16-1.dsc eb822a7ed2c98a8f79fca50619eea058729a03b1e2894b9cd72e993097ccefb6 66055 coq-dpdgraph_1.0+8.16.orig.tar.gz 15c674dee667c7cd999d0c17f1e699730cceea61ee5317385676cde2d840382f 2696 coq-dpdgraph_1.0+8.16-1.debian.tar.xz 89a00ead013f65dbc390409d3eee8f8f9ef4812f7c90790e99a0e940674b056a 7044 coq-dpdgraph_1.0+8.16-1_source.buildinfo Files: 46dd325c1b4a1db9cc71125cf560a73f 2203 ocaml optional coq-dpdgraph_1.0+8.16-1.dsc c755ea46f375e10922fa72c9c98c28fb 66055 ocaml optional coq-dpdgraph_1.0+8.16.orig.tar.gz 25402e9123f06ab502c1d8368292dcbf 2696 ocaml optional coq-dpdgraph_1.0+8.16-1.debian.tar.xz f38f6956fe576277d81a5c37e51959df 7044 ocaml optional coq-dpdgraph_1.0+8.16-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWIJQSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRGnQQAIHWibphYvWmwD96sEa5ykExoRwERyxd TlP5buCCXizXMAJ/x7XSrrRClDSXSm/xqQeap37RES63hv1kVlEIyo6EXTejJO5X XTSB8/LjLCUpI+yMRJ5xmiBaS+Fb9H47M2mJq6DdeNcFICZLD5fQNuk6cgVd/waq SJn6DuU7+69HKspeGDG4HnOe65M6yXHCtqI+/Ng20zox1RxBrm+Kj1q/H3Kuul5r miocLaCMA30ZMaPAL2+XhmbssfH59/SCCh6mEjaaJ4ttUoXwwZ2mT4Q0cVssNpzV Qli906sm3B2BKbaz/BpR4aBP7mv2B8/KBPa5rP8x/OHNlQuM9Rr4srwdeEEy3en8 jw7ufVngsGXv+VtDHg4bBUd0SyNu2Hw0wcrw1JYze4yGlH1BiylJosNLrHJrhhiU sD/c6Wbezq6PBsJ8msETitpDaIrEoqjtM2RC3VorW+h/XhB72WlZ1UrcSsurNw60 VCy65lpadlx+AgaQwUSdn70WfGUG1aVJ62iaO2iD63P/jJ08DB3Xyeow4TuBcbz7 9QS2gdJlFHitzl+q6icdGfHnBO8bm9AAxcu+tx5NlWJ1FsMdG3sPw79UDJNNHXHu 4pNrpdWr4n8M/pnRTd7MBx+7MtL2ZvcYkM+AtXMFbt9oQlXAz0k97ObZqMlszBK4 As9sIN0vrdPg =bs2w -----END PGP SIGNATURE-----