-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 28 Jun 2022 09:23:23 +0200 Source: coqeal Binary: libcoq-coqeal Architecture: source amd64 Version: 1.1.0-1 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-coqeal - algebra and data structure algorithms for Coq Closes: 1013965 Changes: coqeal (1.1.0-1) unstable; urgency=medium . * Initial release. (Closes: #1013965) Checksums-Sha1: a2af67c0c26fc5319670e210611b66b6705d6d4e 2153 coqeal_1.1.0-1.dsc bc0ff3329fbb594b0bb5aac417ce1f5bcb9ec1a3 218807 coqeal_1.1.0.orig.tar.gz 221b5907984b7750f7d85a704a177263790e4109 2068 coqeal_1.1.0-1.debian.tar.xz 0b0386bd9b1311122ec65a5268b641b6b21b25aa 7597 coqeal_1.1.0-1_amd64.buildinfo bc2b3f8c12464f32ebb0cf95176001330fd65676 4636804 libcoq-coqeal_1.1.0-1_amd64.deb Checksums-Sha256: cec2d319df4affddb434e5a3fa55ca1cfa07bbe1fd48fb62059b6657209eafa8 2153 coqeal_1.1.0-1.dsc df9e00e3ba19592c867aecb134e5b12d5f998eb726debdb0dc2e83f588f7e4db 218807 coqeal_1.1.0.orig.tar.gz fefcea1baa4240cfe44adb8530b576c11ad67689a17542e11292bf7360142877 2068 coqeal_1.1.0-1.debian.tar.xz 3fba917595dc032c86749aa8ac71d12e01a879ec9326425e1cfea8dcd44f02be 7597 coqeal_1.1.0-1_amd64.buildinfo a4bd5acd7bd2ba9348cb92b6a51ba489d6a3eca3e486dc603f60151d6a3962b0 4636804 libcoq-coqeal_1.1.0-1_amd64.deb Files: 700a925a2dbd20d4e3a6f7674089d8f1 2153 ocaml optional coqeal_1.1.0-1.dsc 4a49ca52e0380aef250b4143a5215357 218807 ocaml optional coqeal_1.1.0.orig.tar.gz 57719e45217073499d0fb9fe0019010d 2068 ocaml optional coqeal_1.1.0-1.debian.tar.xz 09fa222d54e4e77ccc540ccb7473550b 7597 ocaml optional coqeal_1.1.0-1_amd64.buildinfo ad10388ed8280b56bc8dc2966d263e56 4636804 ocaml optional libcoq-coqeal_1.1.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmK6rNISHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVR0IYQAJg008NtIlWFCiPbiY86+9IkkzeC5TIK l6mXGProq1zb5RPOSHOzEQoJJ3Ix4Ameg2zfp8W8h5ufxMP7OZq42SvP9wI84QRG bOk2ddN2xxVL4g4byWJty6dCA24/8eP5Q5A48qUdfulN3a7I4ubnBVE8nCqWtF5S ooxQl/BpEZGon2crcbO6IV7GhC9/5+UxP2PO+kPFKDO06zpcwDNHnzXH4sWapSdM mDA2yXe/5N2bpCo85WSid2JZqT6KKFRzbREtMdPniqGouKyjXCe48riHRlEhm6ME +kuNCuxJjFK+AHVMXF07zO9A+6xgWTwvE/e35wHNwWqHtKalSCFjy4C8lHfdRKQC dIP6AGQC6WCM6Lx6+g47AZy9LVrAYwg2lv8RT50VhCPF0GLFdUO6ftQluoVx+PLs 4R/K8qXpybPXtlt6mXpTffi9Hnj29LQBZiGFvCUNrSjWnFSgAFNiCDAXha0+cygN SrbV6cgrVGEPUg/MmcyrMTRkQN/MKNlQEC4YE/Fn3fUXFzD6z/9cAKCQwCl0fcvv 4K5jBILKyhMi4fFVTJHYK4Fo+BK0OLR7YTVkTodoGP//rb7hlDlkxpreYzXb+ieo 6Q7BmQ39R/O0JQ2GrzI4i++19Z4rqY9fZMXCMD0Iq9UR0usXYCA2aUuVfJxYiMTi gbjOBM8WwNgn =OIK3 -----END PGP SIGNATURE-----
