Accepted aac-tactics 8.15.1-6 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted aac-tactics 8.15.1-6 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Sun, 12 Jun 2022 12:04:04 +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=RlWEE2m9w90jlhZ+frvsDFCOaGqMUM2dpAfPOTgx4Hg=; b=TefLewknWurYcuAuqZl8Jpn9fF bXcNlGhUT3RNNKY7xC3xdCtgEQijP1blzIvGD046BnBh1wojmZ6LeRaewVYHOvEtl8q9r0cdraWFJ RFEqzqEuSvYdDze8zX8rM4/bYajtLF4xtq452h5RkMtobkaFz7SgsqysFRjEB/nS+EhAY99zCYMS8 VgotKlrPH2e8T80J5qJGZfG9NjxcvxCOMuxH/G9dOs8rLFO9yYloJtbwm2fCr1fcLimTdGJWiOj4M rlD1ETQg1IB/B3V7Z1VfS3e0RGDDaxz92/acICrBSDEoSSAT+XYDzZFPPW1RkpnSZebX0W8Fhdz3V ILZDw1fA==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1o0MK4-000DWo-M8@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 11 Jun 2022 22:34:44 +0200
Source: aac-tactics
Architecture: source
Version: 8.15.1-6
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
aac-tactics (8.15.1-6) unstable; urgency=medium
.
* Install the documentation in the right directory.
* Use dh-coq.
Checksums-Sha1:
88f7f38d184a9045ee544093b1c93c0b0a545a50 2262 aac-tactics_8.15.1-6.dsc
840f05a400ad0704be925778731502d30c3a304d 3824 aac-tactics_8.15.1-6.debian.tar.xz
f9bf864aed31e31256d5e5d7bb423cf42d97eb50 6731 aac-tactics_8.15.1-6_source.buildinfo
Checksums-Sha256:
01795d753714656f32e5c0f0a3987e1b19642af4ee954566f7efb4a905204461 2262 aac-tactics_8.15.1-6.dsc
194b11c8286a84cd31631862850129de9e339051505485a8bee9a8e184cda323 3824 aac-tactics_8.15.1-6.debian.tar.xz
4aa3d31fdffe2769481abc36beaa7f53ae432152fe1b1f7db8e50ec652ae9f63 6731 aac-tactics_8.15.1-6_source.buildinfo
Files:
1ec636ad37748417f8c1f8014c1168e6 2262 math optional aac-tactics_8.15.1-6.dsc
c3d0b79404ceb8f93c8a8e28c2613b5c 3824 math optional aac-tactics_8.15.1-6.debian.tar.xz
30e963b45d3cfe93dfdb2af9accd86f5 6731 math optional aac-tactics_8.15.1-6_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk/JsSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR3AcP/0G06yYcF9cyO/hULsZly/RtH+RW6SVg
QZn0l1EbDAVVi4NaTc68i0nFmK6ZVWZxhOoOSvyCZbnYhOMwa8qxN72p3OB5gIqF
KVWluHCFi0+yYBjRAwaTf4TTqdOR5XdGpwmV0rYwOGlJhD17eGOn4c/7LYkpFlH1
0JQOcG4/uurM3beS/PklL64HpjRY03QAKcdSLeHerT0+APnOkKRwNil7BACTuRWt
by0FEHLXQIB+K45zZkurrOjo8WX8T9lxW00hxhli875JkC5Dd7vQQbesMOiOoo46
Y6SRrSOjUyVDvKPXu4eF6wS/ICn6PSeU9RhXQLVne1GYZ1N5x3C3W0WzH3l53BLR
W4bbWxZUAD84I2MYxLnP+CWb6PV3UH4nzPOx5p+2hf0dK1j4a7VzcTYoiSeBdXVi
pvd3OcKts7r2FdamAL2bzobet+y2sCmn04TZL07Pss+LVxliByVG5k/n3YhDlRtJ
07XCETVsZByJEw2eJwfHTkJwjsFt+h3AuiPuAEAi9URdHh+WaYXV8KV2HqRrbJew
w2/AqO2elE4th3AKlLl7ipj8c0qVKv86rpRZQaolpR9kSsUtrmF9eVRE5bUOz9m1
fWtKwx94/2cnfKb4zpb67AvyibEaPfEo+TAD5Gu0RyM0FAIOn4gIrtGCysbjKzkW
yDO9+n91WBWC
=pQ0Y
-----END PGP SIGNATURE-----