Format: 1.8
Date: Mon, 09 Oct 2017 10:33:39 +0200
Source: aac-tactics
Binary: libaac-tactics-ocaml libaac-tactics-ocaml-dev libaac-tactics-coq
Architecture: s390x
Version: 8.6.1-2
Distribution: bionic
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-019.buildd>
Changed-By: Stéphane Glondu <glondu@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.6.1-2) unstable; urgency=medium
 .
   * Recompile with OCaml 4.05.0
Checksums-Sha1:
 c28f3747e331daf37f0663a54a10f6c47e2c13a4 11503 aac-tactics_8.6.1-2_s390x.buildinfo
 289f9f87a39be0b6621a4c4782fc649f607013ed 37684 libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb
 e76aa29d8bf88bff2e40ac28e1ab4956989bbfcf 122780 libaac-tactics-ocaml_8.6.1-2_s390x.deb
Checksums-Sha256:
 a987e0dabcd4508553bd5742d8d533272be4c2e3767f2fbdae82b1cee126d3a5 11503 aac-tactics_8.6.1-2_s390x.buildinfo
 8b5ab3adcf9e3e3769154f147485528c1dff65beb03f98df7cef751d4406c4ce 37684 libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb
 9c7b1429c9a7e3abe96d33366339f1bbf4b423b760ba50aad1efdf51ebc7f6ba 122780 libaac-tactics-ocaml_8.6.1-2_s390x.deb
Files:
 927ac932b751cde699155dd4cc98844b 11503 math optional aac-tactics_8.6.1-2_s390x.buildinfo
 39183954ae9dc1703cb24f549f293f03 37684 ocaml optional libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb
 8e5c744b5ce0b08c46755e5f19505d0c 122780 ocaml optional libaac-tactics-ocaml_8.6.1-2_s390x.deb