[ubuntu/saucy-proposed] ssreflect 1.3pl4-1build1 (Accepted)

[Colin Watson]

ssreflect (1.3pl4-1build1) saucy; urgency=low

  * Rebuild for new OCaml ABIs.

Date: Thu, 09 May 2013 15:07:09 +0100
Changed-By: Colin Watson <cjwatson at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/saucy/+source/ssreflect/1.3pl4-1build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Thu, 09 May 2013 15:07:09 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.3pl4-1build1
Distribution: saucy
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Colin Watson <cjwatson at 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.3pl4-1build1) saucy; urgency=low
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1: 
 17aeeb88d068d98df90c3b0ef1af484118e65a6f 2330 ssreflect_1.3pl4-1build1.dsc
 1a061352018afaa7ad5faaf701e244ec4f41a1bb 12662 ssreflect_1.3pl4-1build1.debian.tar.gz
Checksums-Sha256: 
 637a239d3fbb687c69873c8284ecf0232cf11db964e2d03b52cc3b8404907529 2330 ssreflect_1.3pl4-1build1.dsc
 3cace4c91e51c06500e2ecd835ea5c8f74690d3ce980e8510ab0c82bd4e3b12a 12662 ssreflect_1.3pl4-1build1.debian.tar.gz
Files: 
 e8189f1771b6c7492667b88a50c7013a 2330 math optional ssreflect_1.3pl4-1build1.dsc
 613def1af70835d6d724ebc3d474876b 12662 math optional ssreflect_1.3pl4-1build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Colin Watson <cjwatson at debian.org> -- Debian developer

iQIVAwUBUYutkDk1h9l9hlALAQgjSQ/9HWM8UXrVvPNtq2KwlHAhAJeOkA1CF0Bc
gGEwg5M1PNAJU8KDZiQLdJCrjY5JhYI3yz1M7R3EgYS+zsaxNTLl5kxBmD1yWByw
0PZrt7q9jsfmdKXWkOn4jY42lWFK7L/7rcfYYYhXuXGCwyIq99Gt9R7Krql4JGX4
jTWwy3d02qq2MIKV1bRMJh3rxxpCZCb+tq3+3/sP6leLdpjf4MHm/aI434DW3pGU
lLqThyrFQx4KQqK/+nckhO+FwO0t79KpU1ZSWxw1RuIL4z87tKfepcjFzqh1fVqR
rvdgPGF0g01aztd77z/BWsomDPf9+B6HeFjFXR96CDanvnuZdcgl0Inrkp8lCeGT
3GHl6SsODc/jkRN28+ir8nKrUJKZ168bYABhJrnxNxYnKv+ULyKKnb8gQhU02Rfy
LXEpl4IWUKNbhjH1xwyVkvs6ZEAGQTWlGhNGtYmKOpMkccxKCSejAh50bUFlYZJa
SXSSjPiBq+qq3XmvLRXY8Ucy239wiLYvpuviv5KYCibfaZ7UgJz/4ZRKKkrRKnwO
+laGg0Q182+sgQajRcTnTG/bO7cJdl7lDvbPg7d0rJjrOWLzfKjoAlX5B8XZ/oDg
XLyuT61fV2xDb9aXnTyZCz6KpEM6wZ4bpT/SQnAs+W5kGsH4eNHajNv8o+SiR9DT
9RQhbLChBC8=
=vRFW
-----END PGP SIGNATURE-----