Accepted ssreflect 1.3pl4-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 09 Jun 2012 09:35:40 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3pl4-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.3pl4-1) unstable; urgency=low
.
* New upstream release
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.3
Checksums-Sha1:
b8b3b1e9dd7927c006eaf82bd57c7f7c37926fa7 2250 ssreflect_1.3pl4-1.dsc
fd46b425a5c7f18dbefc49733455133a80e4c775 834512 ssreflect_1.3pl4.orig.tar.gz
924207bffe8450e9db65b7ed041c98ade0d7e776 12533 ssreflect_1.3pl4-1.debian.tar.gz
b43201f24064b4ccea86fcd870eba558765626cd 477418 libssreflect-ocaml_1.3pl4-1_amd64.deb
1d43456d2819c78f7d64bb0d8ad735df0e66b00a 395424 libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
51e284ce365d94307906ac18eb1843dd35fb1f22 16082644 libssreflect-coq_1.3pl4-1_all.deb
Checksums-Sha256:
af33cee001a3d54e531e560029ed0496ba8602e177434746c0526e4c219a3e0a 2250 ssreflect_1.3pl4-1.dsc
02a86d55a104215f15a97a1797161fb98d3662ebe027950ba5efa683718c43c1 834512 ssreflect_1.3pl4.orig.tar.gz
c4f7827cc80477c865b7d9b34cfde5f6781dbba7fd6aef1f1730546ac4ab5182 12533 ssreflect_1.3pl4-1.debian.tar.gz
00a2279aae7f107ae1fb74253c1fb74b32d59990d2d49bab12974e727659fdee 477418 libssreflect-ocaml_1.3pl4-1_amd64.deb
ae8f9e287880092b649a772d4d2a4b56914a9210dea4962839c2e1a6071509e2 395424 libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
72e00c500402fee8755f373695a22032300e3ec5181c556234372d0b1f10760a 16082644 libssreflect-coq_1.3pl4-1_all.deb
Files:
29579d52e53016a347da5b70d4522fb9 2250 math optional ssreflect_1.3pl4-1.dsc
0d2190d61abe494aea7a5c329b18e8c8 834512 math optional ssreflect_1.3pl4.orig.tar.gz
120f88dc3f02695f8c6b693497a5b8b7 12533 math optional ssreflect_1.3pl4-1.debian.tar.gz
4baded5d101859b780a51b5178d4110c 477418 ocaml optional libssreflect-ocaml_1.3pl4-1_amd64.deb
c8675e388438e426d989de34825f26d3 395424 ocaml optional libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
020f8ebfa510a044913ca4bdb7d48397 16082644 math optional libssreflect-coq_1.3pl4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
iQIcBAEBCgAGBQJP0wmbAAoJEHhT2k1JiBrTA64P/jjSgnqwayd+XAJVJS2Pz9El
nhNc9eNS4Gya/jAchEm4QAuLJhqFsFCHvdx4fIVVC17DS5nAz3Rv3BgVbk6ScchX
CApnwKJqrgKgxWgDl9iYQcCre+5fb+6U9QPbcMRS7hyVXcB0892TC2ylLn4vIUOb
S9ECbiZY4yBvE742LMQIkoXN/IedN7ZXWRnyjguZx9DHF1oPD0TI8QvKgCWmeP5i
ud7VW2LW7hU0F8JOBC8MO7H7oWDkygicudPBxEvi/NX5wFIE9A/iXToVrCiGh3zb
jy2HfeJm89kkyz4L+hW3c5mANilbnB0ext4oLpV4TDU4gV/AbG+OAQZH5pz+bMuO
XUsnl5c2IlGP9UnjNuut74VXAJEnkqqTpzXb/fMxTkz2QLQAnRBtfx5rCKWkAaiy
OhJhGtgTem1TA4I3GawYt7jXYs2M6O0qSKXpXvpF8FlyTC1AxAwW6z3wyIOzyXnZ
8tMML32El0UoHzEmmQTu61Ubri8dNCXoPPc0zeifGCu1AnLkyzF6cyZt1biNbmyN
Ps8d2T44KtaDSCHEBmRaAW3x4mb0zwxFXOQT53Vz3GvMfROjVuR8oikwJqcP9GPX
XkBEkJoJDYJmpp6Gr6uOctFZCrYD7rh2uqPX2PRgjQiiaI4/lvqkC6uk4pNZOywY
Ip43Vt9SACLjfRpTN9ZT
=Ku3i
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3pl4-1_all.deb
to main/s/ssreflect/libssreflect-coq_1.3pl4-1_all.deb
libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3pl4-1_amd64.deb
libssreflect-ocaml_1.3pl4-1_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3pl4-1_amd64.deb
ssreflect_1.3pl4-1.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3pl4-1.debian.tar.gz
ssreflect_1.3pl4-1.dsc
to main/s/ssreflect/ssreflect_1.3pl4-1.dsc
ssreflect_1.3pl4.orig.tar.gz
to main/s/ssreflect/ssreflect_1.3pl4.orig.tar.gz