Accepted ssreflect 1.5~rc1-2 (source amd64 all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 06 Dec 2013 08:28:06 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.5~rc1-2
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.5~rc1-2) unstable; urgency=low
.
* Upload to unstable
* Update Homepage
Checksums-Sha1:
25ad0a6022a5cd3f55df8cf372f20d41b877bcdb 2257 ssreflect_1.5~rc1-2.dsc
03925de1d4b8c7a4e258f94a428dc883b6977f57 12449 ssreflect_1.5~rc1-2.debian.tar.gz
5d8821127d70ab374d2a4557d722bcbd9f4e3db4 451044 libssreflect-ocaml_1.5~rc1-2_amd64.deb
b024bea7f61c60036fb3ee49c9a18d5d3cda7412 62284 libssreflect-ocaml-dev_1.5~rc1-2_amd64.deb
833d13193935fc5ece30c46900219d56faf94f49 1190120 libssreflect-coq_1.5~rc1-2_all.deb
Checksums-Sha256:
e163a9aec05463d705718e737241aee05ef320fc4105a39dbdf72fa77ee71baa 2257 ssreflect_1.5~rc1-2.dsc
adac1360509c8424448b16890923a6e02c508772c322a710b26a0380f3b9f896 12449 ssreflect_1.5~rc1-2.debian.tar.gz
b162291b9299616127735de4cf8564c937eaa36d44efc81c8b0e17ba3ad25e21 451044 libssreflect-ocaml_1.5~rc1-2_amd64.deb
1a88df5eb2304ced17efe6b43681cea68bc860e0f9ec70b01a04232894273819 62284 libssreflect-ocaml-dev_1.5~rc1-2_amd64.deb
ba25885bad9a42826b07e4d98eddff342e6667f44cd63a0a10d69017bbd57cf1 1190120 libssreflect-coq_1.5~rc1-2_all.deb
Files:
5ceaf6c26298c33ebdc39c90b755de92 2257 math optional ssreflect_1.5~rc1-2.dsc
0d648e637d4540cf0b17139d7e70461d 12449 math optional ssreflect_1.5~rc1-2.debian.tar.gz
e46cff5fef25728363ab3c4ebcc5ba07 451044 ocaml optional libssreflect-ocaml_1.5~rc1-2_amd64.deb
0678819f6cab0724905ddabc1c6ac9ee 62284 ocaml optional libssreflect-ocaml-dev_1.5~rc1-2_amd64.deb
dbfb13e09c93653341d45c74e71682af 1190120 math optional libssreflect-coq_1.5~rc1-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)
iQIcBAEBCgAGBQJSoYGiAAoJEHhT2k1JiBrT5xEP/2Uq3xamjZMGCs5GWImwyYlo
vcsM9BZtL8ilG/AhT7htaOCvGx1zP/3v0w0Ec2XZrXePvx37F+nadJ6kTEDKEtlB
PKClxSxC4WOY6gi9Uew4/CnZWqJVo6OwbM0NGAbRVYjaizCb78CUkoxS7kq0b9Kx
SRMH/DeWdGUumW0jy5jgkSP5Le77fWuqvCeAfdWq2i+fnmf4HtHgrh5eKjo+jm6t
EFusxxscZ6P0H8wtfOjPGDtb7g72vVxsqzaV9mlpgN1RoDRixBytYjPn9Pc3o6WA
i9Pw+/nDZ0bmT1shQB1Z3sr1PN1V+Y9GL/Dipz+NxNb9JUmO8Qy9nYlRWxXc1eP3
tZ6HE68wQVF+QcfN+w3bjU4IiTvW6QlmiL4q8WZF56NcT/bNsFd7dQqNUDomZqrC
ZKz/uhiiDp/q27eSrPYdVNIxZHy5RKEImw+1LWJrTpx26ANjbrr2DZRu0Q16ksy+
SwLyhKqcciP3BSH2vtBq6XcAHVq60vEu0JivxB9MY92pXDf/E7s7bYeDWSspwoIk
HfJcPYDPDRNcaAcHB7ERwUoRgrXskrxmQtGvp/LSPMdpmE50YEW6gEEG+y7quo8I
SO6NABzGib8hDy34aiOVTc/tkw6HbjxXA6+giya5q0UaezNXRcZb9I/2d/WTJRoD
5W1fJNx4KEdLioo2L/Qi
=1QT3
-----END PGP SIGNATURE-----