Format: 1.8
Date: Sat, 28 Oct 2017 16:41:34 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: arm64
Version: 1.6.1-3build1
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-arm64-042.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libssreflect-coq - small scale reflection library for Coq (theories)
 libssreflect-ocaml - small scale reflection extension for Coq (plugin)
 libssreflect-ocaml-dev - small scale reflection extension for Coq (devt files)
Changes:
 ssreflect (1.6.1-3build1) bionic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 bd5e4314dbea9dc349edcf25b27efd2d1c4ac52b 51764 libssreflect-ocaml-dbgsym_1.6.1-3build1_arm64.ddeb
 6d2127c13f7bf5593a47f3372bec593976ed67a8 60276 libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb
 3fbd5b729a6c47d688665fc14f50c70446c6212d 458856 libssreflect-ocaml_1.6.1-3build1_arm64.deb
 86285ec7bfc483a90e9b159672421346fa8c2155 11903 ssreflect_1.6.1-3build1_arm64.buildinfo
Checksums-Sha256:
 b7bb2a2b6ee4ebb3ef1ffa3700b97a2d3efccf9e9e543eebe10c22a20f26892b 51764 libssreflect-ocaml-dbgsym_1.6.1-3build1_arm64.ddeb
 05c2a2cc06980374109eaa454e274bca18eb326faa4a3170a30fed2c2a2cbbcd 60276 libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb
 577c2f5df10533633786267571535ba92c230a2bc717e74e18d64a801ee1530f 458856 libssreflect-ocaml_1.6.1-3build1_arm64.deb
 fe2dbad5ee7c8f7c343621cc2c91af503b4dc109c6ed033bd23c1de6340b3702 11903 ssreflect_1.6.1-3build1_arm64.buildinfo
Files:
 fa38f990abd3c86bf0ead591687442a4 51764 debug optional libssreflect-ocaml-dbgsym_1.6.1-3build1_arm64.ddeb
 e6d945c87ee80bd87e1b5876c09e1663 60276 ocaml optional libssreflect-ocaml-dev_1.6.1-3build1_arm64.deb
 95fb1204a1acec6d3edbb13037c9a4ee 458856 ocaml optional libssreflect-ocaml_1.6.1-3build1_arm64.deb
 9f30ea7eb07ba56e724633ba06492696 11903 math optional ssreflect_1.6.1-3build1_arm64.buildinfo