-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 15 Jul 2022 10:22:26 +0200 Source: coqprime Binary: coqprime-tools coqprime-tools-dbgsym libcoq-coqprime Architecture: source amd64 Version: 8.15-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-ma...@lists.debian.org> Changed-By: Julien Puydt <jpu...@debian.org> Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Closes: 1014940 Changes: coqprime (8.15-1) unstable; urgency=medium . * Initial release. (Closes: #1014940) Checksums-Sha1: 369ac5612714861c60d706bac95a154e606a8bb1 2144 coqprime_8.15-1.dsc 54268a36f46073d12733b9ac834b02e529b219c6 987167 coqprime_8.15.orig.tar.gz e1eecfb9f414737f80885e970c8de40197cb139f 3512 coqprime_8.15-1.debian.tar.xz cc8889c47c949932e55666be200da78750fddf1a 60144 coqprime-tools-dbgsym_8.15-1_amd64.deb b17aa1773fc3dc9c919d2e786563f9ad65b99061 135200 coqprime-tools_8.15-1_amd64.deb c0e4c723a34fd303080ccd7294457608e446c142 7882 coqprime_8.15-1_amd64.buildinfo 580727d952807fc630dde872211ec1e787771fd6 1643096 libcoq-coqprime_8.15-1_amd64.deb Checksums-Sha256: 8987f821e1a59a917709f4135e7d8b869db10a578a0b401bf57d24f2866c5140 2144 coqprime_8.15-1.dsc 36dfc96d42794d44e46aa8e66a58f614823eee2fce1e044e162f2848f1895ba1 987167 coqprime_8.15.orig.tar.gz 1111e847cf66800406ab3a54b4d9f20006d34e7b39c0619a7438f7c4a7f476c1 3512 coqprime_8.15-1.debian.tar.xz 6591863f3ea13b3bc2e8cc191c6674901a3d4ecacef45210724d68b6baaceae9 60144 coqprime-tools-dbgsym_8.15-1_amd64.deb cce6e67546a7e0937b76cd5241498f6658e8ec253378220421231a4abf09e9b8 135200 coqprime-tools_8.15-1_amd64.deb 4d8b05ce6d98c333020fd17bead1b229daf65b79d71baf8a4c25c4753772ac32 7882 coqprime_8.15-1_amd64.buildinfo d9a9160fc070c253d41cbd31b538b172a6c7cdf6256326a409face131393385e 1643096 libcoq-coqprime_8.15-1_amd64.deb Files: 7241f4060980305e38322641ebfe1110 2144 ocaml optional coqprime_8.15-1.dsc 0dc627139bc3e53bf5ebfc0a0803e216 987167 ocaml optional coqprime_8.15.orig.tar.gz 53d99f6f915001c4db4be087d0cd43d8 3512 ocaml optional coqprime_8.15-1.debian.tar.xz d9101eabd493734d004cf75069ec6f8b 60144 debug optional coqprime-tools-dbgsym_8.15-1_amd64.deb 82d2816e4a03d271e894961843d9234b 135200 ocaml optional coqprime-tools_8.15-1_amd64.deb fabcc863c3293a9b4f1bc9dbcab69ba1 7882 ocaml optional coqprime_8.15-1_amd64.buildinfo dd260ca6947c0e98b02cea61a7e72a8e 1643096 ocaml optional libcoq-coqprime_8.15-1_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLRJRoSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR+vgP/3B2VRjyfIpyt67cH6PZ9RVrQvnaRwpc L/T/Oab5QLstBE0yQdgKJAbDh5zNMU7t4AxCxDwbowr2Xp90LJG7CpLR6acLhkG1 OCCUHt02hZYiWaGj1tdX6KL7BauHU6Scz7Mgl/TO/1dE1/4CMUNy2HyU/VnTCmZf lg/TRYaTx/Ldk1nvDip6D6YCpyyy7OSmcmL3RnPvvnNuliJI0Q9FpeDoS2/YP/BN l81GzxYcv3+dnfQf4MKUivIR0E99rVr1Pw9ks7B/9P7X3Go3cMyL+swbTC50fXym ihq1OO+n9fXSL9NICKW/pH/JZDlEyzb5ivaor8klZ98Mvsozgw20GWDFy0Y8Dqgf eK9OYFJ8x3x2VHRosFxxBP1Lwi7C2CXd5UdPcm0KdB1whKA7KOHvMLxS3yapCGr9 5HisyedcoIALuq1DnIOPdwUijfetoa7HdPMwFm+cwi33TVcQK1yoy7hOrnBBtDDs 2ynoarYJBcIyDATD3gWBvMnp+aMgljE4nJ6f1UcWFR0Us5PrK0Xj6xL5YXEPmWO6 sAp1S+W87iClV5nli3gCvyh2qx9+SUErEl7jbB54Kl8/2ZC9PwGaLkd0VlAuPiwB 2zY81wcroN1PjweCypbf0w4+aGATwL8Aohrgcuy26H/stvnjqJYfA4W02ABdz/p0 5TkKolo71XGe =cwZB -----END PGP SIGNATURE-----
