Format: 1.8
Date: Fri, 12 Feb 2016 12:05:33 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: powerpc
Version: 1.5-3build2
Distribution: yakkety-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@sagari.buildd>
Changed-By: Matthias Klose <doko@ubuntu.com>
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.5-3build2) xenial; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 eb23ec8aa810464e5542a7c4b71713c8b2f1fc1a 64066 libssreflect-ocaml-dev_1.5-3build2_powerpc.deb
 01388aef595974529446e335d8382bd00c040948 386962 libssreflect-ocaml_1.5-3build2_powerpc.deb
Checksums-Sha256:
 3c051aef0c7b91454e54c76c2dd4ab855c0773524a36d2c2f019cc37888f51e6 64066 libssreflect-ocaml-dev_1.5-3build2_powerpc.deb
 c4d53744ea2cab4d4c5911658e016fea4669c17c030cd8d38af3b44d5d3b5c34 386962 libssreflect-ocaml_1.5-3build2_powerpc.deb
Files:
 414f48bfdb005a7de513125aa318cd16 64066 ocaml optional libssreflect-ocaml-dev_1.5-3build2_powerpc.deb
 d80d44a6893d6ffc3412ad6f00f498e0 386962 ocaml optional libssreflect-ocaml_1.5-3build2_powerpc.deb