Accepted coq-equations 1.3-8.15-2 (source amd64) into unstable, unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-equations 1.3-8.15-2 (source amd64) into unstable, unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 18 Jul 2022 15:02:00 +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=fC3OlfgdbO3oedjSLA/eujOA20U8WxddclvNDe7rTbU=; b=AfV8lHjw2CDE5seY/YI918w/fj vT1y9Q1zsgyS/4rRkI0Vi8LS0YvFlS2i1pxwX3kkVLselhn05k6Szw7ZVKEm8+xnl19Z8nSoVEDNn EN/hByAfUxBd0Qx4BYJjrX90yJd7+M//imy4K1BNe7v5FBk0v8X1ZspgngKo57TrVGuYO9kXqpFd1 vPbgPavH2aR/CLWXvFG5/7p1/HpfaSFG31NsdGg3Du+EapZDGTHUcw+F3gD6tYrwSvqk07cz8fcW2 /XrLfD4EDZehcK6ZGcIwiq3hikhVQ+Br9Db6KhWDAFyWktc0Ie46SJRtFBq6LuVJ1p1mfssGwvSbW RnKznUCQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oDSG0-0000P4-S8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 14 Jul 2022 14:51:34 +0200
Source: coq-equations
Binary: libcoq-equations libcoq-equations-dbgsym
Architecture: source amd64
Version: 1.3-8.15-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libcoq-equations - Coq library to work with functions defined by equations
Changes:
coq-equations (1.3-8.15-2) unstable; urgency=medium
.
* Complete d/copyright.
* Add hott support now it's in Debian.
Checksums-Sha1:
63238d2a7a6baf271dd267e68d459782431c3289 2161 coq-equations_1.3-8.15-2.dsc
56bdaf1ed1b8746cb0a11ee07c9cad21ce64f61e 1095737 coq-equations_1.3-8.15.orig.tar.gz
cbc603f4f1534596994161c9ea03103a80eac5bb 2144 coq-equations_1.3-8.15-2.debian.tar.xz
32be78abb2f8c5e2451cffb8a4bf8adcd82a3b38 7542 coq-equations_1.3-8.15-2_amd64.buildinfo
90ba7acc4872e9d0deaabb60c791251ff67f5433 132764 libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb
9ac87817e34a915832d1dd511427913a641115fe 1432068 libcoq-equations_1.3-8.15-2_amd64.deb
Checksums-Sha256:
c80692c8978e65852c464c2694f2b3860a21ec9c45daacbe1c55849a36cc4d97 2161 coq-equations_1.3-8.15-2.dsc
459636a90f7d45ecc2c082fca91478e7d7f27455518c9c2631541ba6488f4a01 1095737 coq-equations_1.3-8.15.orig.tar.gz
9930c2dd50a0b4fc50b9e43da0c3a3ec322c1d6daaa27e825cf231f04897cb15 2144 coq-equations_1.3-8.15-2.debian.tar.xz
2b4be83d59d642f90b9f8849b819a2da39be045eb2e7c946cd7edff32527a754 7542 coq-equations_1.3-8.15-2_amd64.buildinfo
b7ae6cb7977a2efb90861fa4036b5522b8f3a6db127f3c6324200f88201f8f3a 132764 libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb
901e48c0e1627b1522c39a9e6b56325ef13dfe82379d5f25f593126f23ceab22 1432068 libcoq-equations_1.3-8.15-2_amd64.deb
Files:
02dab79541b0c125df9b2f6a51345180 2161 ocaml optional coq-equations_1.3-8.15-2.dsc
e3956751e6f135aa3ec2ac6514afed4b 1095737 ocaml optional coq-equations_1.3-8.15.orig.tar.gz
031fa902533e78fa6a2453158edbd43c 2144 ocaml optional coq-equations_1.3-8.15-2.debian.tar.xz
60d54278e8838d0a798d88871b7e328a 7542 ocaml optional coq-equations_1.3-8.15-2_amd64.buildinfo
dedebab6ca80b4fe621621442e5ce005 132764 debug optional libcoq-equations-dbgsym_1.3-8.15-2_amd64.deb
4d28d4e09563c677a6a89f0a3c8472b1 1432068 ocaml optional libcoq-equations_1.3-8.15-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLQGd0SHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRhugP/3V8oiC6tp6vjSUxl3J88rrPumzNK655
RMziXC2ouBeT/reBZDD3SyTKXY00aLOeIpjahqUz3JDRWNf+RHBZSUz38neqeqC6
P6xLS4R5/hJ+mh+BrDEMtKONSESJhQ+nvJTr8tLA1sVJJUQKd+5GLDaW8dVVhq1m
Qg3hByeLX124DD9tSLijEANPrLmEy9Q5RmWHbmvReTFciKMPl9POfIf8ELXinUQm
COBNxrUY+d+XzxOCv29zsf3TgRROaVV5f7aLq5Xws5ya7ruuoaG43Ju5XNE/+mmb
Ah6L1cND5//Yqp63aYVpY9ZcnDnFO/A3DwIBnNIDx+ptHSDvW/KRs1zMSvbnEzLZ
YqLWWNADson+X8CHOUJoV3gi5bSZhD8/6KcG+6rzMKQf7NRFbi/hq7tkZ69iI6nZ
rrpOEYtY0RvS1ACkvOGHeyQnD4kG08KUMz5JkPhi8Np1QAxhgjQYwc5s+rmOEWoj
SBx/srn1XFk8ucWyBHiNxY6mwjGOEVM3BrDT5hC6mUejCDdpK5g6VlO9zV8A2Rhj
aEe0Mqzc/nqCFL76jkr17HDZSo1EjrHphTYPoPWs+CFMVQqfaHHDINYJNNkQqfR6
1RNgM2YNkwuL9enfaFjqO9fx/XzKyDruJo1rqUVMAm48VjDc4/6M3hO1L1U6afPP
vYqCJ1jN+atB
=0qvB
-----END PGP SIGNATURE-----