Accepted aac-tactics 8.15.1-1 (source amd64 all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 03 Apr 2022 21:57:56 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dbgsym libaac-tactics-ocaml-dev libcoq-aac-tactics
Architecture: source amd64 all
Version: 8.15.1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
libaac-tactics-ocaml - Coq tactics for reasoning modulo AC (plugin)
libaac-tactics-ocaml-dev - Coq tactics for reasoning modulo AC (devt files)
libcoq-aac-tactics - Coq tactics for reasoning modulo AC (theories)
Changes:
aac-tactics (8.15.1-1) unstable; urgency=medium
.
* Team upload.
* New upstream release.
* Rename the libaac-tactics-coq binary package
to libcoq-aac-tactics to follow the rest of the
ecosystem in Debian.
Checksums-Sha1:
0ffe5ab8e15cd1eb7343ae7ac54de5151338c1d4 2209 aac-tactics_8.15.1-1.dsc
9f8ffb6e72f80d9fd67431091f69e7ee35b1b19d 68294 aac-tactics_8.15.1.orig.tar.gz
4edc8b95f8c5ee260d3dd9f7ab843e598ffbcc26 3684 aac-tactics_8.15.1-1.debian.tar.xz
8aa6e320b7671c17cc32bcbe368cfe68885b9f54 7958 aac-tactics_8.15.1-1_amd64.buildinfo
eff266f5e5222b84789870d3b6de3abf173ce402 12712 libaac-tactics-ocaml-dbgsym_8.15.1-1_amd64.deb
5a7610f9c941024abcca21421cbbe6465016f535 39360 libaac-tactics-ocaml-dev_8.15.1-1_amd64.deb
b703e9590645cd4a00ef2d8a7c7f2c1b7dc9cd95 113988 libaac-tactics-ocaml_8.15.1-1_amd64.deb
f73534e0b164ce634dd912a357f45f713c2f6451 267044 libcoq-aac-tactics_8.15.1-1_all.deb
Checksums-Sha256:
db9e7cbd428e3bb24df2e5d5e77b4a9ae9c133cf82b864714557919cfd99f0c5 2209 aac-tactics_8.15.1-1.dsc
6072291617423404da8941e0f885dd985ccc8900b085ad71c46cad18f84653c1 68294 aac-tactics_8.15.1.orig.tar.gz
e3266ccd8c8b18c97d65e70bd3f5456be1f2d678056b5a36b087fa3d100317da 3684 aac-tactics_8.15.1-1.debian.tar.xz
c8df2b34123d64ce479b020aab6f3916f915278f013d6cc2844f1f2e7f97e16b 7958 aac-tactics_8.15.1-1_amd64.buildinfo
c4ff02759e5f200c0802032efe6bac4a054a2e7dd97e3f3119bf18c62ed3e2f3 12712 libaac-tactics-ocaml-dbgsym_8.15.1-1_amd64.deb
18656b438855eaf74d00ae8a0bb4e7b93798cc620b9910c0daae30b9adca07fe 39360 libaac-tactics-ocaml-dev_8.15.1-1_amd64.deb
62b2a2102e8761a764f5df36a3f00411e801015fbde7a254a337b0dd4d0466be 113988 libaac-tactics-ocaml_8.15.1-1_amd64.deb
6fb3c7a97f76dc4c8450b3a0ce94bb51d1dadcfa1eacb0309c732ee8443de478 267044 libcoq-aac-tactics_8.15.1-1_all.deb
Files:
06a6c41cfee1d9b405abd78d188f5b66 2209 math optional aac-tactics_8.15.1-1.dsc
fea60f95f08be7275914943979c67914 68294 math optional aac-tactics_8.15.1.orig.tar.gz
739a11ef00143384a396eed0556c0a30 3684 math optional aac-tactics_8.15.1-1.debian.tar.xz
3bbd44116c3b389e38d40613e4c20c10 7958 math optional aac-tactics_8.15.1-1_amd64.buildinfo
61b8ee488d19395f2736b80a6a576966 12712 debug optional libaac-tactics-ocaml-dbgsym_8.15.1-1_amd64.deb
5abeee5fffc8c5b4e5ce5e0b09468c6c 39360 ocaml optional libaac-tactics-ocaml-dev_8.15.1-1_amd64.deb
e71da64ea4e6881d8d244411f9b8881d 113988 ocaml optional libaac-tactics-ocaml_8.15.1-1_amd64.deb
321a62e4520609ef9f1f1632b4743f14 267044 math optional libcoq-aac-tactics_8.15.1-1_all.deb
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmJJ/IoSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRoBkQAIdft1cILTYRRqjaP3NiDJZBc4LLWLMh
TnaxtSoUxlRims09sfCLk+9rsFVOurRtjn6Po7f2y7rmK3pUuBR4nbx6unCDIxs6
b054CjTG0OBEPCK2XMrnjdnPA8nsyRWSpeQ9jJXgqoELUPs13uJTMMrJdgo4Sdsg
9epaPgy9ns3STzrGipSoihMwAPfW9Zp+2tlSPoD17k8VuGdHHqW2VsPjkAtX8aKx
7U3gGJMKgzIX9GfBdsMv11JSY1ChZdiGEYSk6HZ//XdQdn9Rpb5j6OOcirTCZjNa
Yq30Fuxlme5EaQjEHGKePWzOi1uyf0WJnuQicVI+Y1tOBqMe5Kmioi6hj12g2WBx
ZmOfh1dxJraPuTZxK2/oBlv5RkLNJbJAUnpoJx2BpgRaF4b8ICpETSCGDFfaTu8I
PXGNFVLe5pWFd1WoyLSeSEs7e3KQJvAiUgtI3PEJh5H0EObyX7J/+EGFjksrhovd
SWmo3yULmF0/NnUDlXHSulB5iJaVCXsngX8eIoCeeHRAG0uqRujc7oBshLwGzK9H
8teOOu/72u8b6Z27/zFQ2SV8gZqSZf3wp+5+EyNTR3VzYtAFLh+PmVOTtr3qtX57
U35Ek3Z6oq7nZTPbLZe6oZNHLC2kUPjmNg50azh/IuQzC28vvKiLpKHOD/3XoTJr
58cUVdRQQ0Yr
=1G2L
-----END PGP SIGNATURE-----