-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 17:27:57 +0200 Source: ott Binary: libcoq-ott ott-tools Architecture: source amd64 Version: 0.34+ds-4 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: libcoq-ott - Ott tool (Coq plugin) ott-tools - Ott tool (executable) Changes: ott (0.34+ds-4) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. Checksums-Sha1: e5f9fa3e327afe648a4fe9a4df1bf7ae40dece53 2128 ott_0.34+ds-4.dsc 171c3c565b02c044f465725f6628f64730848b2c 7108 ott_0.34+ds-4.debian.tar.xz e0db773b69141b900e2709da8d9f69f992b36783 164216 libcoq-ott_0.34+ds-4_amd64.deb e7eb437ad6c92ec159e2933c48a156d6e8932c96 1509568 ott-tools_0.34+ds-4_amd64.deb 1cc496bf66a0ce4c877e3b2f2400d017f1e04829 11123 ott_0.34+ds-4_amd64.buildinfo Checksums-Sha256: 1926f1c1b9967679afbab5ab573b23b414590d4ebf7e8173b992fe639cd681ad 2128 ott_0.34+ds-4.dsc 2d3f735cd68e9adc4c4a8c05d57afc9d6903e676153956e409907b0b655e0ae6 7108 ott_0.34+ds-4.debian.tar.xz f06d1d15fa421cff6c65920ce71163dd18b006a6d141ccb11fb2820d0b4d2005 164216 libcoq-ott_0.34+ds-4_amd64.deb 623ea1415b4db5af56178c0d1aea33d4bf990b30727f14173288c1695e85f01a 1509568 ott-tools_0.34+ds-4_amd64.deb b7f6b7883e67cb77b09bda63861ff4718aa95769f9653a2d19f4556d50785b73 11123 ott_0.34+ds-4_amd64.buildinfo Files: b4ac27e4e935c75129c941b6d4f8256b 2128 ocaml optional ott_0.34+ds-4.dsc 9b67c4e2ef6d74a6bf5709a161fb25ad 7108 ocaml optional ott_0.34+ds-4.debian.tar.xz 8b053fff1259146ad530297b15a00390 164216 ocaml optional libcoq-ott_0.34+ds-4_amd64.deb 3fae082e8cac3b05b91df6df03d2fd83 1509568 ocaml optional ott-tools_0.34+ds-4_amd64.deb ae0ca3bd0e1ef0c37b3e5c36ff7063d3 11123 ocaml optional ott_0.34+ds-4_amd64.buildinfo
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpREpIZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUU7UD/4x/FffvOleJmRrXBh7yO9f 3ogOEUA2pxlz8ipnYBTMkddcZhHhqzGo64sb1cFcMuUoB8BWYvuO1PxaS2oL4bhJ aIelEedmXSbAiw4aOz7SKWRvaewaZs1vVDAMYpBIU7Wfb/0YRg7sJkgjoSfM9p3A wFeD7YYP54H0dNLLTFP2JK+eGwF5MOFiq59Wx9fZa5e8KYU3kMUr4qFN8fGqHGIu mwrPTVhhYDOCJbLTF/VKHUG2+NexqUEGBWwjJ46vRVfwd5detjcgcormA9xHT7EO 6k2Ec1mdRaMWYLr6S60HZcYLgZUgMbjrx11eikQ/lBaSJgCCEw65JI5wkLTB+75D DUF7+5hp3DvstKEslRO9RwGeldp4JVxFXuAAzw1aOax9qfyel1JRIuf/9Q9Pik0k +MVC3EI1qKQWAqK1VSeW+WsJcUmSt6jig54NW1tJmSv8qXoqVMDwfIhXMAWMnorp PZ8etv6zC8FCM9B4XyY5LK5bSrQ9+OAbMA5j1miyQknc52+5SbA7o0BdCJf+A49u SWp6E+32Obq0Sv3ScjYWPsKf8E4uuDVyOZQ2Heeal/l5fbT1Ajb1ELxt+Sc/cYg/ tNwYY5kLnQLbHDDy1QRD6yomPm+Z6UgzRGgIhRO9mG6Tki+MgWvsALEjnsmFpAFP I0JXJBAaN0dpKqWVWktOSw== =iULh -----END PGP SIGNATURE-----
pgpCrgegX1prH.pgp
Description: PGP signature
