-----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
