Accepted coqeal 1.1.0-1 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coqeal 1.1.0-1 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Wed, 06 Jul 2022 22:02:25 +0000
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id:Subject: Content-Transfer-Encoding:Content-Type:MIME-Version:To:Reply-To:From:Cc: Content-ID:Content-Description:In-Reply-To:References; bh=ztZUo28UsJZ8MPDdBAMYy8O4BDRvgExsEsuzhwh70SQ=; b=rsEm3uXbIhdzsDLXwQP/ayv6XS zlKEtsQpyZrtr21YkFfchfg7XJxUvICtLiVWAKp24+ML67ywHZlmKQN/g/nATOuyjJejPa27DnE5o rzglrgPF0B6koDOXrHlxoW/l82uzmEGzZIev6jnoQPl6vTPd1a8nzW6J1SC5ElFGTwAceHRLyMY5C ZOZKASEz/9mkReKNHfnkZwFMEtxlurjMNPV3X9clWzECt67OuJbRNbHE+JLLgy/XSmigPrDuQI8PY dBwnwBfjro93Q9sOpripdeMTCXu27G9JQ0kIU4+nsbKDjOIUxiog4rIft+rFX8K8j7j+6Ud5/cVLA BA7vk9EA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o9D6H-0002yT-4b@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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-----