1. Forum
  2. Usenet
  3. LINUX.DEBIAN.MAINT.OCAML.

  • aac-tactics_8.15.1-6_source.changes ACCEPTED into unstable

    From Debian FTP Masters@21:1/5 to All on Sun Jun 12 14:30:02 2022
    Accepted:

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


    Thank you for your contribution to Debian.

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)