-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 19 Dec 2009 17:30:57 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.2+dfsg-3
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-3) unstable; urgency=low
.
* debian/control:
- add libssreflect-ocaml-dev binary package
- put *ocaml* packages in ocaml section
- libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)
Checksums-Sha1:
282ea19138430d5749ee3f0139d422d3ec4911cc 2130 ssreflect_1.2+dfsg-3.dsc
d160e2fc7c0289de85f2040fa65c0382d6068777 12429 ssreflect_1.2+dfsg-3.debian.tar.gz
b9efc3fe21325c6042f11d6929eb1fc622c5b797 385544 libssreflect-ocaml_1.2+dfsg-3_amd64.deb
18d32f5707941dddfbfe9fc0c2bce9465bfb140f 321972 libssreflect-ocaml-dev_1.2+dfsg-3_amd64.deb
c177e4e63b66bb268a41753a8d5ccc512b6d0a2c 3662394 libssreflect-coq_1.2+dfsg-3_all.deb
Checksums-Sha256:
284370af3e50104470fef0983ef2d460c92e7cd8feb782e510a52265b7e936f5 2130 ssreflect_1.2+dfsg-3.dsc
62de6e189b5aaafc278b4a10bba6424094db1f98b0cee34ff4de2931e0b5cd5f 12429 ssreflect_1.2+dfsg-3.debian.tar.gz
56fb56e7a136bf5ab2be225689a4f56967727724e7bd7f0cf1b3f9ab4c4c7422 385544 libssreflect-ocaml_1.2+dfsg-3_amd64.deb
9395f3c6bcf6afc8f99202454d295e78846f4dc3799c8c126fa85f322fe3675e 321972 libssreflect-ocaml-dev_1.2+dfsg-3_amd64.deb
500b3629e40ba788cd5b0abbcd7582c087c230d591b1fe5a4bd1b2e353688b7c 3662394 libssreflect-coq_1.2+dfsg-3_all.deb
Files:
509228f91713d3039e1d0ff271b52ffd 2130 math extra ssreflect_1.2+dfsg-3.dsc
0afff91838c4acdd9baf352c5e32118e 12429 math extra ssreflect_1.2+dfsg-3.debian.tar.gz
600266fe608be6867c35e18d2e107c32 385544 ocaml extra libssreflect-ocaml_1.2+dfsg-3_amd64.deb
7607ce4858ecb3293410cdb326c89a5f 321972 ocaml extra libssreflect-ocaml-dev_1.2+dfsg-3_amd64.deb
2adea523460b06af530524a390e245b6 3662394 math extra libssreflect-coq_1.2+dfsg-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJLLQHaAAoJEHhT2k1JiBrTIq8P/iGvlRngvdv30V4w/9JLahB6
81pUfj/GrGKm+7/BMnOW2OWVqsLIgSpP37emz3SKUQod4vTMAIUz46sDtsXMogpt
e3mniKVLVXVT8wIZZGLEnXqhzYgiu79Vc5/eFm4DO7dktOBDWDdpJKgshJqvU1P2
t6VU/YRkMwT3dVCxt1FgO03JfGxyaHF5bPOwm4crK9cPv499q8InYLgfmgIMTkhz
fyW2zLMINMmKDkurCuArHk5dDhQ0GT+jBx73LkQgXUk3p191QHIwvATADaN+mAP9
ucQ6doMxOrQ2isbVgc7QAlRt9fj7wUZMjTFEUzkKKvYWnw6x+vzVJLhVwy63tPZd
zehuh0lE7it+VnWJfpvkQWoga8ngY8meD6nBnvAUIz78kG5OmOk5ZB2LDCY/NWrk
wzu1fe9vKy/grhRmxYvwBfI3Qh8TQ9SJl2NrdqutKIuiaL2DY/IA5f1YFre32zTx
rAAL++1hNFSu7FsqAEJOtcmwpwrIL3hQoxnZqajvnQ5r1yUiTrwDT2+vMHCUIWxV
GbdTvohkb27OtnmN+Ri6xWKBIH/ICk+/X0bOuGVXVpUjW1BZT8yPjzqg3hEl381j
ofiYBIF0SlAhQwP97+yXmrBjaN1RE5lUTYqW3qPTfKMYImtcA7W5hP4PaIcNS3kL
8RtK6/+fliAcZ9OhVpfR
=QQdn
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.2+dfsg-3_all.deb
to main/s/ssreflect/libssreflect-coq_1.2+dfsg-3_all.deb
libssreflect-ocaml-dev_1.2+dfsg-3_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.2+dfsg-3_amd64.deb
libssreflect-ocaml_1.2+dfsg-3_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.2+dfsg-3_amd64.deb
ssreflect_1.2+dfsg-3.debian.tar.gz
to main/s/ssreflect/ssreflect_1.2+dfsg-3.debian.tar.gz
ssreflect_1.2+dfsg-3.dsc
to main/s/ssreflect/ssreflect_1.2+dfsg-3.dsc
