Format: 1.8
Date: Mon, 20 Jan 2014 08:53:40 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: amd64 all
Version: 1.5~rc1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@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.5~rc1-3) unstable; urgency=medium
 .
   * Recompile with coq 8.4pl3
   * Bump Standards-Version to 3.9.5 (no changes)
   * Update debian/watch
Checksums-Sha1: 
 68c9833e92a09fca5e3f8ef80efdf955b6e95dc0 678870 libssreflect-ocaml_1.5~rc1-3_amd64.deb
 39de8041fdb3cd1be60c0fb8b74bee7ba8b478af 88136 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
 0e30710ddc8aa84363b2fa6acb23d283bedf47d3 1587454 libssreflect-coq_1.5~rc1-3_all.deb
Checksums-Sha256: 
 2943655e6012ca08ead1c5868905622005dbc94bb08800a30cc323b091109d74 678870 libssreflect-ocaml_1.5~rc1-3_amd64.deb
 61e02872ff5d304899399b52748e9c5d63abc1a3e59528f7f1462e6c72708a98 88136 libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
 5625217aaf5d22a1d73b10525706e3f9b704734c8ed5a0714a4f401c52a7250c 1587454 libssreflect-coq_1.5~rc1-3_all.deb
Files: 
 c6ee30c363ecca34639d8019ebb14188 678870 ocaml optional libssreflect-ocaml_1.5~rc1-3_amd64.deb
 d3556098853584850411b51de14a343b 88136 ocaml optional libssreflect-ocaml-dev_1.5~rc1-3_amd64.deb
 edaf488cf54aa232c49ac1f4925e0ba4 1587454 math optional libssreflect-coq_1.5~rc1-3_all.deb