[ubuntu/focal-proposed] aac-tactics 8.9.0-1build1 (Accepted)

[Gianfranco Costamagna]

aac-tactics (8.9.0-1build1) focal; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 12 Mar 2020 14:54:42 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/aac-tactics/8.9.0-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 12 Mar 2020 14:54:42 +0100
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: source
Version: 8.9.0-1build1
Distribution: focal
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Description:
 libaac-tactics-coq - Coq tactics for reasoning modulo AC (theories)
 libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
 libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
Changes:
 aac-tactics (8.9.0-1build1) focal; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c4fc83f881276ebf3742f6151d2838e8ef5ad4dd 2195 aac-tactics_8.9.0-1build1.dsc
 888123f8d21a2926f29526b30b2b3cc80d445358 3492 aac-tactics_8.9.0-1build1.debian.tar.xz
 727de58af623a8b621fefb788aa98984e106e1b5 14200 aac-tactics_8.9.0-1build1_source.buildinfo
Checksums-Sha256:
 e2807386a8820488f3ffeb45b16d411046026ffc7785cf2755257723906e3d89 2195 aac-tactics_8.9.0-1build1.dsc
 43a8f2be6e90345a1e26c393c6ae5322f0c7e134407507ecd5761a0c4b1c6d87 3492 aac-tactics_8.9.0-1build1.debian.tar.xz
 5082153e9bbcc6cfbe94019887e2f9b38416cdfabbcc27ccc1bc0d214fa30a6e 14200 aac-tactics_8.9.0-1build1_source.buildinfo
Files:
 cc1410a75afb914496be99af9596fc15 2195 math optional aac-tactics_8.9.0-1build1.dsc
 2b62d777bb92925cb9c307e4a3ea10c7 3492 math optional aac-tactics_8.9.0-1build1.debian.tar.xz
 8cf54aef1de6b2ac0cee7face4696faf 14200 math optional aac-tactics_8.9.0-1build1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5qPyQACgkQ808JdE6f
Xdl00Q//cGERmVViX5ZmeY44trDz2E7N8Tvind4xHM4Ko4Zek945T6lLE7aTusig
JkmeltT5WuqHyg/q1EGRatPwukv9tZGRJyWZvwEWI3Ua+OPvu9VQ4b1YhVkS3D1u
bY8BE0vcWVIBHuoiQJSQpkKh1OkcwP6L6McDWWNjcbgLG8hsWg3xLe2uZWKTnGVt
TXyz8k23vMxXuY/UqInUiH7th27Bw3yyLQNVh44eDgZ8dN6qc5MY6b1qK50r8ebp
DVtu9Pfa9sATVzVKBVL1RXUMgJQ78Lw6RMZFHle97G/k8lnyRItd3pzCrtLZ0YEb
DIX+68Pgwl2dNgP4U2bHjW4h1YD67RKKNIEdMDnSqHKTg2rcnhmVX6V5Mc0eGYyh
f1puFPqMVNHM0W857lxXlE4y3PBT2NEEZKnQL4O5s9efGJLB8johsbYxx7OAMIm2
gxbMDU0mbTxFyzmlKbZTZeT9AWx6zj8w0Fi3JM3rR9/1p/UIrr/olbckFpNkHfU7
a54zsHmn3t0gy/iL632HJyqOxdTFsek8U0NiQh6+NYkeiPfohPZTvHaaQW+S28Sw
O4epEiC3P2/VDHjKWkLbu4necvx7dw8+WmHwSsBdBEHg1enW3q0SChUM7ct6BkDw
CozM8tjEcdnSQn6tIkuG3owJnjRkX9QarsGbQttQ1DRZYO6iwM4=
=dsXg
-----END PGP SIGNATURE-----