Accepted ssreflect 1.3pl1-2 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 21 Apr 2011 13:59:00 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl1-2
Distribution: experimental
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-2) experimental; urgency=low
.
* Upload to unstable
Checksums-Sha1:
a3ee8f009ca483a04faadc9ea39e4079ef267d54 2113 ssreflect_1.3pl1-2.dsc
1cf8a76d61c71c62569dba37916fb329deaf9f0e 11797 ssreflect_1.3pl1-2.debian.tar.gz
d5890fc09bdb789ca74fa37e924e03467f5b4873 468812 libssreflect-ocaml_1.3pl1-2_amd64.deb
baac87dfa7e2082bbab020301d0bb9f9ecdd024d 387166 libssreflect-ocaml-dev_1.3pl1-2_amd64.deb
0405542ddb64f8d975ad8857baec615a3384e339 15755304 libssreflect-coq_1.3pl1-2_all.deb
Checksums-Sha256:
3afaafbecca196296f700f01da20c668ed6e760ccc29d98ab4110e3f0ff24d92 2113 ssreflect_1.3pl1-2.dsc
78768f188595c7d254eb2f83370bd91dd19a04e0d3c37567b232a26856e46f7f 11797 ssreflect_1.3pl1-2.debian.tar.gz
1feb51375d9689ef200513ef51b8dedea5b1f441ccdf448a3fe5629e0c38aaf3 468812 libssreflect-ocaml_1.3pl1-2_amd64.deb
9dbec39519dfe03379205576088c62087727f5ebb6991d99b3057ff583b8121c 387166 libssreflect-ocaml-dev_1.3pl1-2_amd64.deb
3b3eebe77ec77c0b81af7d67be3c97892dcc29cb6f3c321218667ac3b95fcc85 15755304 libssreflect-coq_1.3pl1-2_all.deb
Files:
affb561b612a4bc3647d53432d957da9 2113 math extra ssreflect_1.3pl1-2.dsc
c90afb455beee4fa2bec6d38c84f9614 11797 math extra ssreflect_1.3pl1-2.debian.tar.gz
d02010fc417076b2b15d269cd26a2efe 468812 ocaml extra libssreflect-ocaml_1.3pl1-2_amd64.deb
a785ca55700d19165d657a5e5edd6ba6 387166 ocaml extra libssreflect-ocaml-dev_1.3pl1-2_amd64.deb
1c1ba1aa01b9df6ad13e2b22e8a44ed6 15755304 math extra libssreflect-coq_1.3pl1-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNsCj7AAoJEHhT2k1JiBrTEFgP/AqoRiXFiDlOD79uFJSBvhZN
WdOR15xIPCFpA7O6RXQtencurxrEeMWq34WXCHZQPguyniWF8x8nUo/YKo879fAI
xoC4OnuMoPmKor3f9VF6C+swcjfZJPUdnh/lM46FQm+pAeh6LoZUgJJPvaYYIuqp
1nbZbFV293D1IKK6ZNwUPRncTlnxyEmvlj/PcpYB3Rp/P2vntHa1j1+7V7DTXoiW
PbDhWaZ96aaVBngTVMDEDZT6Hld/4El3h3k2IbZnQ95AcIixOeTzPL3eoTw+8P1h
QaT6GT67kaF4rvZOGRLBYYX+swnPgdqoThixPFfdLaf2z2qKmvpdgpHcfBL2r892
moTbSRiUh6XzKS6h82A9zmi0ETitysgaZ8h30830WkmJCfyqtTh7cafjOeaALEaq
jVxn33SAxENdZb9npnUg46D1scCCyi1+kbvP9xg3NYHAc5g6LEQLDxyM8zR/jsoM
vsAgIFrlIN4fLOr0gQUTnipRj+Q9OzfZ28U0veGtalLEdWu4EF4zYkaV6Ke2SrQT
5iRn8mOI8Lp1juj4A1I9XfpFuMykl9wZBVNnDdPfIx4jgBIl4V9YjBM76+jQm2LK
4OTkqJGpTmdTuRAsE742DkzVtRpoMBFa1Jk2k2V/7EXh8GvfenvnWiR6Zvd8EIy+
aiFUpkPZ7eEUMWpBYysT
=d95E
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3pl1-2_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl1-2_all.deb
libssreflect-ocaml-dev_1.3pl1-2_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl1-2_amd64.deb
libssreflect-ocaml_1.3pl1-2_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl1-2_amd64.deb
ssreflect_1.3pl1-2.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl1-2.debian.tar.gz
ssreflect_1.3pl1-2.dsc
to main/s/ssreflect/ssreflect_1.3pl1-2.dsc