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