[ubuntu/precise] ssreflect 1.3pl2-2build1 (Accepted)

[Andreas Moog]

ssreflect (1.3pl2-2build1) precise; urgency=low

  * Rebuild against new Coq

Date: Sun, 08 Jan 2012 16:10:20 +0100
Changed-By: Andreas Moog <amoog at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/precise/+source/ssreflect/1.3pl2-2build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 08 Jan 2012 16:10:20 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.3pl2-2build1
Distribution: precise
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Andreas Moog <amoog 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.3pl2-2build1) precise; urgency=low
 .
   * Rebuild against new Coq
Checksums-Sha1: 
 6da29127d320463567d3e350a131d86bfdc5eaeb 2272 ssreflect_1.3pl2-2build1.dsc
 0537fd3ebb46a4ca593853c17af3b6d6d5f187a8 12862 ssreflect_1.3pl2-2build1.debian.tar.gz
Checksums-Sha256: 
 fee515af14b8c552b05c2a036c04f224378de2d800a3e27c3cf74dc3a7769f00 2272 ssreflect_1.3pl2-2build1.dsc
 a6f40511936e452c05819f7720c8d97cb9938e8f5356f25c7f0304f0cbfd9c3a 12862 ssreflect_1.3pl2-2build1.debian.tar.gz
Files: 
 b45f4166a106e3fb82221aac393bb713 2272 math optional ssreflect_1.3pl2-2build1.dsc
 3046fb5ab200e55b2851d1b0aa33ea4e 12862 math optional ssreflect_1.3pl2-2build1.debian.tar.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAEBAgAGBQJPCbHyAAoJEGHzRCZ03mYk8nMQAKDj2gmzrqc7KEHmaNjBYuwP
yAjAtxaO8zlVK7L0IreylVZYhlx63DrC+8f+K/JcjJRm4j6qs9BkIAbWma7RlfTK
JCpc3x365NKl0hHWORGv1Gjl+KntQkRn6wMkuLUwaJCzM3zfG3ViUZ2FU07Jhvtx
XnaCbsnPGLw6F827NwESMaTS2vKcBx3NUDNdgdHfXl47oo44Mi2/bPRntFc4TRJw
98Bz1frR4SvjtRtAhxAxt1Vn94QDYkqaA/svV9m7x3HeGth1rEKJYI7CKhs0T1Ja
WePNckysFzFu+Rf+qX/jaCYpfY6dqmahPysl/QeSiwaUeZwuIHclTEspIVMuPS6e
PUVB69hWcxe0o0Qd17tjM2MAQPDEMWJfNEFMACdqabVGEJlLlO3yrERS7dZ8kUdb
NlcZantmpvJDIVmCN8o+AVOu9f653PeXprm6s2DVMFWHJfE4SFj1RVt3yuUiNxSK
MUeC1wcqFQ7rf8tesmhj41EDXaw6ZZvMwiHNqkBI5NUufZt8fu9ehFzym7sckYwV
j9LlskOezL3qm/PlmEqA8Lm8hi6lTNkmjbDOXpfqcj6C/Uwjk7GR9AzmZJKt1j40
7q2JWLzcpxFMMYfKFUgs2hgE8w90IyttLiQQFRG80cJcNS8I5aak6ACnTRXzIPAJ
yYaffnRvQhRXJ6iSosOB
=Si1i
-----END PGP SIGNATURE-----