Format: 1.8
Date: Fri, 12 Feb 2016 12:05:33 +0000
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: all amd64
Version: 1.5-3build2
Distribution: yakkety-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-16.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:
 6d169764d1f34424e629b45bbfae3f4395788c06 1193534 libssreflect-coq_1.5-3build2_all.deb
 85d9dc5475dfc03ad9dcd0f8fcb7f63d2f969cce 64096 libssreflect-ocaml-dev_1.5-3build2_amd64.deb
 8cbcc0dc05496fb62aa26a7be82c7ce30c7732a2 443862 libssreflect-ocaml_1.5-3build2_amd64.deb
Checksums-Sha256:
 0e5ce94a0829ce5191429d3010b2bca18cf10e420296a70ccf946f3298128fba 1193534 libssreflect-coq_1.5-3build2_all.deb
 d6f6800a7e0cbf5b905039948350d4b0ee9b1f92c07fd9e46234d2730dd586c2 64096 libssreflect-ocaml-dev_1.5-3build2_amd64.deb
 ffb726d5c106c2895d44afbe1d143a0dd45a231b32f6c7b876b308a23c1308eb 443862 libssreflect-ocaml_1.5-3build2_amd64.deb
Files:
 a0cb43eb9653e4ab0b7203812f11fef7 1193534 math optional libssreflect-coq_1.5-3build2_all.deb
 c2c090e850808e21a00fd7a716e9436f 64096 ocaml optional libssreflect-ocaml-dev_1.5-3build2_amd64.deb
 a8269d88fe4db8b44a31d0e7d36deef0 443862 ocaml optional libssreflect-ocaml_1.5-3build2_amd64.deb