Format: 1.8
Date: Wed, 04 Nov 2015 21:47:11 -0600
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: ppc64el
Version: 1.5-3build1
Distribution: xenial-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-013.buildd>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak@canonical.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-3build1) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 893a8d221b6738917688cc6402317bd883cc3cae 63952 libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb
 586e9646713e0d3db70ed155f39f032bf63e95cd 109560 libssreflect-ocaml_1.5-3build1_ppc64el.deb
Checksums-Sha256:
 fc7bc98de25368d5c3063239ced045aa26b825ea0050c11e9d80ef4010c573b4 63952 libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb
 813983b603d9b541a87f01099133d6712ca6fabdd5a22c504200166cf5081545 109560 libssreflect-ocaml_1.5-3build1_ppc64el.deb
Files:
 6815daa4839a07d93dcd7d738faeedfb 63952 ocaml optional libssreflect-ocaml-dev_1.5-3build1_ppc64el.deb
 3dbd143b28274ca1286bc73a853d487a 109560 ocaml optional libssreflect-ocaml_1.5-3build1_ppc64el.deb