-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 22 Feb 2011 11:22:15 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.2+dfsg-7
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.2+dfsg-7) unstable; urgency=low
.
* Rebuild against camlp5 6.02.1
* Bump versioned build-dependency to libcoq-ocaml-dev to ease camlp5
transition
Checksums-Sha1:
f5e17a2d39cfab8662f58e1baf40c1264ec2e69d 2151 ssreflect_1.2+dfsg-7.dsc
a66a34aeb44684de44209e37a1d3324a901a2d57 13295 ssreflect_1.2+dfsg-7.debian.tar.gz
193c42cbdd2fa3e7347dbcb06a0423c8ce278700 382968 libssreflect-ocaml_1.2+dfsg-7_amd64.deb
bf74dc6fb68402fd8002d2ef5d76a05c02f18dcd 324408 libssreflect-ocaml-dev_1.2+dfsg-7_amd64.deb
0c578b5dc29f20947dd58652bfae5510e0722f1a 3663354 libssreflect-coq_1.2+dfsg-7_all.deb
Checksums-Sha256:
4eba6f499d925192beef099a55a0c8e179da5a438031a0b9a3015d6dfef6c1c6 2151 ssreflect_1.2+dfsg-7.dsc
86ec5ac823ced524a3c867c869e5c4d51f950d7d229b29324549178eec4cb906 13295 ssreflect_1.2+dfsg-7.debian.tar.gz
4b3074882b013df1e37bf645eaff3cb5f5eead374b1aaf1a5ac373cabec4b595 382968 libssreflect-ocaml_1.2+dfsg-7_amd64.deb
e3894e7e2351bed2d99ecfc9cf0faac9ed63a947dc7a1c576c970222c3318bf8 324408 libssreflect-ocaml-dev_1.2+dfsg-7_amd64.deb
3303c2fcfb5971c9d884bbde42fd36c9a741f5df9830c20a056d4f18de8b995c 3663354 libssreflect-coq_1.2+dfsg-7_all.deb
Files:
6a78a68554977d86092a5e4b7508b121 2151 math extra ssreflect_1.2+dfsg-7.dsc
46eb43c41e1f10019fa734b728b0e57f 13295 math extra ssreflect_1.2+dfsg-7.debian.tar.gz
e427850ab10fa5d4f7af126dc65d9baf 382968 ocaml extra libssreflect-ocaml_1.2+dfsg-7_amd64.deb
4aa2c1b2414f1f8da27c47ee8f136d97 324408 ocaml extra libssreflect-ocaml-dev_1.2+dfsg-7_amd64.deb
ff0ae0a1866e525b0a899af234059336 3663354 math extra libssreflect-coq_1.2+dfsg-7_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJNY5LiAAoJEHhT2k1JiBrTkpMP/jJggiJzuFEuiCv5/RV63EA1
NMzu0nAd3BolfJWbplNHJtv/b6ThRNwLE23ezxLPcpiAe+y+CeCMsFBKVF8fIVUg
gWE84RN2ws09HxKcMgps9D0Ndv5swmcB0UDCN3rM+7WO+3hQPHlGvOTnYAVuXhkz
AHSq4mb4mX+hjECgKcrJjczvY5KwGV+7N5+6m8hVSggWqVaQlAZWSm8YNFfS+tJ2
QLgC29aG+SFoHv66i2Z5Tq7FWPEmhep27OEkBgOE5yNGz39Ay+PS5CX0yGfZNr2G
iUJjvmD7VBqdvTqgiv2NTWrnPkunHsBwK9G33CI6FIfu2Ww9SYBYuCNO10BajDpU
ZAtInisD+QbeoQN/Fi3DO2lbXPkkGdelz87oryN3MJqq9enaGG8DTFiq6gfB2xAu
3A/P2HbgGeWnsl+z7M5CSNSRckOLzJqSJhXOjiyg5jfijyHNgEtdf8AMF/YTRuXl
2StpeulorwXgljYORcypqrRJV+eMN8HJawqZAaaJeg8NruezyrvSpJpNRT1zW/+P
4n8Chuc1lQQtIJOttb7aSMC12u9nyuKhDKSgiikLCVb1tsu9WcBhJjpmiPKrHIUn
v/L9CpBbvTEEUfiFCfU4Wk0Sgktkiiuk0b9MHrqSHZwT+NkIiwayI5ka07j4lhDZ
Ba5osflOZkG5LAVedT8T
=ZOkj
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.2+dfsg-7_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-7_all.deb
libssreflect-ocaml-dev_1.2+dfsg-7_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-7_amd64.deb
libssreflect-ocaml_1.2+dfsg-7_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-7_amd64.deb
ssreflect_1.2+dfsg-7.debian.tar.gz
to main/s/ssreflect/ssreflect_1.2+dfsg-7.debian.tar.gz
ssreflect_1.2+dfsg-7.dsc
to main/s/ssreflect/ssreflect_1.2+dfsg-7.dsc
