Back to ssreflect PTS page

Accepted ssreflect 1.3pl1-5 (source all amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 03 Nov 2011 06:30:00 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl1-5
Distribution: unstable
Urgency: low
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.3pl1-5) unstable; urgency=low
 .
   * Recompile with OCaml 3.12.1 (no changes)
   * Bump Standards-Version to 3.9.2 (no changes)
Checksums-Sha1: 
 df1847a005bf2a5f4ded299f3f0f0a94f0dab87d 2241 ssreflect_1.3pl1-5.dsc
 d025b99da04970c155ecf122f5d89f004ccbdaff 12214 ssreflect_1.3pl1-5.debian.tar.gz
 d98e9bb35310ec164f22991654acd0d058fa4d23 468690 libssreflect-ocaml_1.3pl1-5_amd64.deb
 2fc3d608ee248dde83ba0ea09bab682f1d049abd 387818 libssreflect-ocaml-dev_1.3pl1-5_amd64.deb
 45b5c657c10f19494034b364299243e538f2252c 15753106 libssreflect-coq_1.3pl1-5_all.deb
Checksums-Sha256: 
 18589d02f05524e9e6e294aac4ff8824ac0989e9b76bce7dd431dfcb21fab39e 2241 ssreflect_1.3pl1-5.dsc
 95ea4e79716a9ed6cd95495dde7fb5e844e4e79e95b53e7c91384f5b5bb47b87 12214 ssreflect_1.3pl1-5.debian.tar.gz
 79f4275a4b020cae2e52d5d1f36466138260e830ce178eea3eafacbef4dd2b37 468690 libssreflect-ocaml_1.3pl1-5_amd64.deb
 8f9e6bc15af6b80732cfdcb339b8131c7eab210c7b2355a0889eabde9a0493d7 387818 libssreflect-ocaml-dev_1.3pl1-5_amd64.deb
 460cb5fa126a19591c9bd770e45a2b6a2700fcd7f76d2e5f7e139bafa9b318cd 15753106 libssreflect-coq_1.3pl1-5_all.deb
Files: 
 908675a6c4da7ac5a5b3b89547d64427 2241 math extra ssreflect_1.3pl1-5.dsc
 c2fac31a555f44aa57d595c2832cfe31 12214 math extra ssreflect_1.3pl1-5.debian.tar.gz
 f36bbd695d22d994ca64cbe9c18bd824 468690 ocaml extra libssreflect-ocaml_1.3pl1-5_amd64.deb
 e3adfdfca3f673d88e5e31e4286cde08 387818 ocaml extra libssreflect-ocaml-dev_1.3pl1-5_amd64.deb
 e411614a81c88eeab8660fefa5efd0d6 15753106 math extra libssreflect-coq_1.3pl1-5_all.deb

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

iQIcBAEBCgAGBQJOsjCBAAoJEHhT2k1JiBrTSzIP/ApINIWcuWjSJrsAIBzPYKtC
k70VuTGUWqAOXHCU00Otw6Ai1MHlMO5/akbjvZP0kslLL4Jruve/tbpSmmhva5gL
nBb+aOJDdvAXDNje5/jxblYpluHVEDUCnV1Oel4CypzHUiqj/c53+U3+aTyS7G+x
+4+SHiNAKufLUe4mx/xm8xnz/xwi5koHff6ZSZsen6oBD9VLom/V8Z7QOQX5zPCC
GMHSw805IvyJQgMADO6d3S8ZaQj1lmv4DQREOTyVL4mTs/RLsgvtcpWQiW5GqqkN
WgzSUtGvq01SGrcb8HhldJ6i4CERIEZqrh8o9nMEw83YKaR9u8SisOrbkpy5AUf+
4bY/LlgUwbhffX0T7UmBX5Oji4trICZY5SaIadj6nCgyFnMzcTQa/m7V04sVTUwv
pOm/8lgszIc3B+mNqpFQSTGiaVGyovbMcGTkYtbg/DyxrHJVbrXW5amvQvj1iVrX
GDyluo/uPK1HYhnaDvLi/0gjSxn7AVZx7sTH88v6sap0cWA43d5JErnP0UW3OvM5
y7LfDQ4bcycjOP1eMk2bMqolP5QWpCgg+IuMNgUf+opgcOXqzZ+bohPhDbosax0r
bxkUOPTnWzyC4UUN7i6NVkGbOmaso+ETS5NC1uG7eBN3fheo3bVh7R4a1sxGyfoL
YnKP1AV+5zx4R7IJHJdz
=pp7l
-----END PGP SIGNATURE-----


Accepted:
libssreflect-coq_1.3pl1-5_all.deb
  to main/s/ssreflect/libssreflect-coq_1.3pl1-5_all.deb
libssreflect-ocaml-dev_1.3pl1-5_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl1-5_amd64.deb
libssreflect-ocaml_1.3pl1-5_amd64.deb
  to main/s/ssreflect/libssreflect-ocaml_1.3pl1-5_amd64.deb
ssreflect_1.3pl1-5.debian.tar.gz
  to main/s/ssreflect/ssreflect_1.3pl1-5.debian.tar.gz
ssreflect_1.3pl1-5.dsc
  to main/s/ssreflect/ssreflect_1.3pl1-5.dsc