coqeal_1.1.0-1_amd64.changes ACCEPTED into unstable, unstable
Accepted:
-----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-----
Thank you for your contribution to Debian.
Reply to: