Format: 1.8
Date: Sun, 24 Mar 2024 00:12:10 +0000
Source: aac-tactics
Binary: libcoq-aac-tactics
Built-For-Profiles: noudeb
Architecture: amd64
Version: 8.18.0-1build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lcy02-amd64-040.buildd>
Changed-By: Steve Langasek <steve.langasek@ubuntu.com>
Description:
 libcoq-aac-tactics - Coq tactics for reasoning modulo AC (theories)
Changes:
 aac-tactics (8.18.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 a443ddc26bc85d1462a05c4e860315ee2f4b10ac 7199 aac-tactics_8.18.0-1build1_amd64.buildinfo
 82a739c9b9d639b59bbe5185dc7215ae709c8136 14288 libcoq-aac-tactics-dbgsym_8.18.0-1build1_amd64.ddeb
 75ed5b728831856ba3d339f701551e836721f18f 421600 libcoq-aac-tactics_8.18.0-1build1_amd64.deb
Checksums-Sha256:
 588fc32863b4039a19195b8fa7053e7b43062f3bfe46719046442f904aa2e313 7199 aac-tactics_8.18.0-1build1_amd64.buildinfo
 e07f0faa61d21b8a0e561c6f194b444ba370297863f5ce914cbe6a6f873407f9 14288 libcoq-aac-tactics-dbgsym_8.18.0-1build1_amd64.ddeb
 10f3f93cde8251398af1040afa69b15695d1047ac70e3046b4c445616e132bd5 421600 libcoq-aac-tactics_8.18.0-1build1_amd64.deb
Files:
 e4396d9b6301522064f16021bf239d6a 7199 math optional aac-tactics_8.18.0-1build1_amd64.buildinfo
 e87c40304fe80c137c0dae9846cc91ab 14288 debug optional libcoq-aac-tactics-dbgsym_8.18.0-1build1_amd64.ddeb
 75264eb2e1a0e005e5cc60eee0f279e9 421600 math optional libcoq-aac-tactics_8.18.0-1build1_amd64.deb
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>