-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 22 Aug 2022 16:38:03 +0200 Source: coq-equations Architecture: source Version: 1.3-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-equations (1.3-8.16-1) unstable; urgency=medium . * New upstream release. Checksums-Sha1: df3602a3d0bdced340224ffe8860dc55427fcb28 2161 coq-equations_1.3-8.16-1.dsc 4788dea86e1645dcf8f3ad4fe44f977a72c479ab 1097638 coq-equations_1.3-8.16.orig.tar.gz 54f6c096eae2116d67f0608dd3069c4a420dc339 2176 coq-equations_1.3-8.16-1.debian.tar.xz a5ae6e4ce69156c1112a986f080993939483f84f 7073 coq-equations_1.3-8.16-1_source.buildinfo Checksums-Sha256: 6ede3c71252a4da19d47c806f378a1f5624c6efeae84c77d749533fc3efd83f2 2161 coq-equations_1.3-8.16-1.dsc dc0fdbf15d1a6b5d5f83f65fe55d39bba74d21908f1165df0ff4ea3f766f698e 1097638 coq-equations_1.3-8.16.orig.tar.gz 6fc66d380e0dadde756f8d81652a98612f7c0d8120a2cc97a3a8aa92615def75 2176 coq-equations_1.3-8.16-1.debian.tar.xz bc6e3b9e461bb1f0b21f85d50329e7f4be4f2936714f6636b9cfdae3117b1edb 7073 coq-equations_1.3-8.16-1_source.buildinfo Files: a6c07731d26525e9885acca4ecb2d8ce 2161 ocaml optional coq-equations_1.3-8.16-1.dsc 6c5a89dd4eb82608c27dcd53bae7d54a 1097638 ocaml optional coq-equations_1.3-8.16.orig.tar.gz 884a6f64bb75e4d7e22f3ef0e78b336d 2176 ocaml optional coq-equations_1.3-8.16-1.debian.tar.xz f1b6a0f18cf3f4a4abf5816861211ce0 7073 ocaml optional coq-equations_1.3-8.16-1_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMWUtYSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRoTYQAJhOKL+lB7+UMWrmRxAZ7anMXiislIHv anzK4dPbveQIp2TpkIahut82z9lziMo0sWK0Od4+klXy5bRlNLKMow57w8opjHH3 EE3lXspbPjb2LJ/J8BMyRtjBMIvPFXRO2+73Uy1HOmFaQwVbnD1+KehHGas5CLQt wLSJFc40dDrPTcJ4B58uUc6oI/DtW9jFOPXublIFbypZEB7P2STBgCB1hKsycC9H dVV5Lja9I8BPEO0n+eBi8QlqkFEf59qBPW9hKjTv3uzDPqaCwkrtRpfYartczH7g 9LDZHdEA0pYkj6w5dSC7mjOllt+dRVeWoKq23ws2+oeHMdkkcgSQvx2Fjyisy80U 7UNdMk9he4i5le6nFvjre+IJCllHoeJbK8JnUIOyLNgyAcgbPDBPD7GQLIy5vf6o a03E81oloK+kA9cZvHT+hWq2cGKY4Gt/QiQkCGArfj5i5Vd6X0PTrFaShthHrHXJ pP3Rp/v22SiyoaPiAwU0WXK4DacjMq2Vre8bqHNQnDKk2gycRdZJOsuFV+3clHuN aieqEARnPN4xwMdKh+rM0tO2mvfyKKWUxTk0gNARSJH0h/vbOhEKGkLyfgGWSyHR 8FmiIvGsLsLkULVq9cCT9agfSxdHAo8yluJUdk9p17NfHn1lqZ32laFWUX6fvG9U DUO9/jSo7Fj5 =xc8S -----END PGP SIGNATURE-----