-----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-----
