Accepted ssreflect 1.3pl2-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 22 Nov 2011 07:16:04 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl2-1
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.3pl2-1) unstable; urgency=low
.
* New upstream release
Checksums-Sha1:
8d60bd4f9523949f9f4f0e97ed691394efd80248 2250 ssreflect_1.3pl2-1.dsc
f32e660fb35a4452c5e69596518f17ee413a618c 834754 ssreflect_1.3pl2.orig.tar.gz
577b28a86c47aac583f973d85a2b94f4c0a0ea87 12259 ssreflect_1.3pl2-1.debian.tar.gz
4bd9d23401bc9387a375cc7e450fc44a5f3f1a0e 476286 libssreflect-ocaml_1.3pl2-1_amd64.deb
ab0cf171b4640e0c428cb763b2ce69d0da7c3c05 394514 libssreflect-ocaml-dev_1.3pl2-1_amd64.deb
696fd7b079658ae147652fcc5818f2a561de2c48 15753172 libssreflect-coq_1.3pl2-1_all.deb
Checksums-Sha256:
abe5c71aaaa26b574305cfede9ad979ffa2b86ec8b131702f0a10ea56a9efe5a 2250 ssreflect_1.3pl2-1.dsc
9a3e10cbad61c307b1b1d4a80c17e39ad3d2c52d91dcab9292f3ef2bcc525339 834754 ssreflect_1.3pl2.orig.tar.gz
d5648bbb8a49a60c9dbf7ef7f81704a14c560fb5ae9fa3a248f298febcf01a01 12259 ssreflect_1.3pl2-1.debian.tar.gz
4beb0c99d4c753d2557bb2fc4323ae0bc1829a04756dfc9a2ebe784b012e6e98 476286 libssreflect-ocaml_1.3pl2-1_amd64.deb
d26c30fda6859c146a2fd4667e57030cdbf3aaebb6af7767bf4b39612d825dd0 394514 libssreflect-ocaml-dev_1.3pl2-1_amd64.deb
b411924b2afa2ec609fa3e4e0f1d5f9253bf3018c05fc2ed7149a003131d1044 15753172 libssreflect-coq_1.3pl2-1_all.deb
Files:
7b830b52845575bfb0bc65637046b771 2250 math optional ssreflect_1.3pl2-1.dsc
220592455f2076f0d50af2081b31504a 834754 math optional ssreflect_1.3pl2.orig.tar.gz
b4e2a97030dac15f2d420d396a221eaa 12259 math optional ssreflect_1.3pl2-1.debian.tar.gz
246ca0b2cf7f9848b3131993c5ba7e96 476286 ocaml optional libssreflect-ocaml_1.3pl2-1_amd64.deb
8e827fe51e7e53f20f674961b4101b48 394514 ocaml optional libssreflect-ocaml-dev_1.3pl2-1_amd64.deb
b8738c797ce48a30b6b0416a8a331fb7 15753172 math optional libssreflect-coq_1.3pl2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJOy0LGAAoJEHhT2k1JiBrT5fYQALrxRPjtdGZu+0kpNPLBGXjA
d0jm7RsOeZAHB7bZ1dkqg7Cfju6NMCSXUT+rylmb8IIoJCJ5pj4uBnRMBG07mIVd
f+03eVGLDsEvNaCIEmSPK/Bx1cqey+CiR8HqWEJ/ABiO60JoqGoVOlqiD3qIqmn1
5nxJh78gGwvBfVQalz7IhKwZXC6Sp9qut9bT/nnXrB8htx7Fklkf0UF2SHuoDDfF
8wq76NlUBrFPOxIVCCKtYXlkeNW1Hz1ZbiDmrbU9n5CVLJ7FvITzKj7E+zdeydFK
jjpDuuuIo1PV20RIDwQOCZWesWIxXZke5DHkHdDAwUI8u3xmD39pbqS6nnXGCnpF
wg6NqW7EpOuzcIMNWJHd1YCeQbcrtsEBTP14iMTtSwV3sp7RcW+9hOY61SJ8X2tN
6vVch2sonU7JaLZBiFt/mNRCFlKn6p/aaUUXHNqgnyebD+pqrxQbT+MZ3wIXIrdi
aPksO5a33vngmNBZzAIKzMxADXvHYMpKbA7SvKLB41VI2oFvt43JeGu5it2qnpvk
Ur0AVpNT7zqCDbzyE5YJOe3morCFtSZ3L80z8/VoPzL5JntLcUh7Ys5awUomNm8c
K+fioR1AlA01pfsOCYJ5aeMPL/mN9cEOTIrxsBM41KisBkGUv3xS6fQfsQvzByf9
R8ykczpyeDEUlgnmwe4x
=PG/6
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3pl2-1_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl2-1_all.deb
libssreflect-ocaml-dev_1.3pl2-1_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl2-1_amd64.deb
libssreflect-ocaml_1.3pl2-1_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl2-1_amd64.deb
ssreflect_1.3pl2-1.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl2-1.debian.tar.gz
ssreflect_1.3pl2-1.dsc
to main/s/ssreflect/ssreflect_1.3pl2-1.dsc
ssreflect_1.3pl2.orig.tar.gz
to main/s/ssreflect/ssreflect_1.3pl2.orig.tar.gz