-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Tue, 15 Mar 2011 08:47:47 +0100
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source amd64 all
Version: 1.3-1
Distribution: experimental
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.3-1) experimental; urgency=low
.
* New upstream release, compatible with Coq 8.3:
- remove 0001-Build-as-a-plugin.patch
- add 0001-Fix-tests-Make.patch
- this version is under CeCILL-B only; update debian/copyright
accordingly
* Bump Standards-Version to 3.9.1 (no changes)
* Update debian/watch
Checksums-Sha1:
53a646966f66c504ef603e85a59392395503c7a9 2092 ssreflect_1.3-1.dsc
c05c80d299159f1d42e5e2482e980133fd2b98f0 827301 ssreflect_1.3.orig.tar.gz
9910f2ef48ca1728e325cfd02bcee149bfbc36ee 11842 ssreflect_1.3-1.debian.tar.gz
25be2dbfec1fdfd8caf8d0e9bfe95c17ba9801ea 463010 libssreflect-ocaml_1.3-1_amd64.deb
bf3808fb3bb4f908dd76918cb8846e3f37f3cdb1 378626 libssreflect-ocaml-dev_1.3-1_amd64.deb
80ebc76f121ebc3de686ee899c14a57f4c8ea162 15914558 libssreflect-coq_1.3-1_all.deb
Checksums-Sha256:
44b6ce36814786c8235e31933c4e32fc9220a01613990973373656a79cf054d9 2092 ssreflect_1.3-1.dsc
46af9e3e5db820ca3b2aace8d0982353466f96276404305a60ca24ca63eaf8d7 827301 ssreflect_1.3.orig.tar.gz
a803ccb3e991139c8ba84fee9622b9d485102c5863681027fe807259d65fe23a 11842 ssreflect_1.3-1.debian.tar.gz
61e357604860d7b66d5b71868ed95c658f54785baa0616f98db2a60271b9a464 463010 libssreflect-ocaml_1.3-1_amd64.deb
74893570b05461ff49748e8211bf03338786eb1ca0edec2a675256aa75849fab 378626 libssreflect-ocaml-dev_1.3-1_amd64.deb
68a0468b774efc47563c842663fd64bfd60dbc5d5fe0be06acb35eb33ae041d8 15914558 libssreflect-coq_1.3-1_all.deb
Files:
2f811a8f97c7c56a80a98cbcd1fd2197 2092 math extra ssreflect_1.3-1.dsc
189cca9fbbf0a5a6b04458a658318a02 827301 math extra ssreflect_1.3.orig.tar.gz
5ead62ad6a50f9be9d4aefcce0b69758 11842 math extra ssreflect_1.3-1.debian.tar.gz
7a0f146e0d13231f9428dbfaf65d4927 463010 ocaml extra libssreflect-ocaml_1.3-1_amd64.deb
0e7307d3517f9da988848b2b8c01598f 378626 ocaml extra libssreflect-ocaml-dev_1.3-1_amd64.deb
0f246daaaae3f16f07bc0e2a8f2a185b 15914558 math extra libssreflect-coq_1.3-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJNf0CkAAoJEHhT2k1JiBrTklcP/14cwlwm7lXUqmoB8t2Bw4X1
1WAIKw5Pg4dvCCcLvGccBLzYYowG1UrMGJMu0nIc+Im1jiI8CYEllLQa/plU454f
v8+D2TBRAACjepcEDvanqjeeqkVfeqaJwYWqHolIg5c2F++/4jZHwSbjduH1E1xm
67XATRrUsVlNeNEgfyvh7w4okmaOquwvXm7UfH9/BAu1S1XNCef2EM44quUnxKOa
bNPKIzVMdmGMq3AMX6VB1B9516tRUF099Q+BzK/ZJ4BVfBz4/8bH7KeSdtiHVCRN
Y7mTyvGZ2RBjyW8HaZnbTZj0YeISnqgT1GlgynnsCsCT77oVvOTsADcqIUOpX0GY
2GfvIxdPFFsvSjWKzIwYLBn7sxJy1XRL2jM1PROStC0mcFNUV8jj+tazAUMyZDg1
VAdVFddp4UMoRtA5DYB6cfMbQPZVqN7VnM1CTZjYox0S9NosR3IpK4AdGnLT2dkd
JBtOjL1BVBjlQJqjlcB9s8wEoYAuhyO5j4bTmbMu3MsoLO/pUAji8KmNue5XX7Sc
Ca0M/myHRSXlaK6uX4ImkVxb3c+9pDCQOgik2Lk1clL4KMk8DJgWqBR1JF8Cu+I2
7GKEsWYf93PZR3wnzVzWI58Y2/F9SDMfEfGelA3ydI48kLJFBSheaIFxDGqo0wuR
254+9xdFG0DMRYuad0Of
=5FCo
-----END PGP SIGNATURE-----
Accepted:
libssreflect-coq_1.3-1_all.deb
to main/s/ssreflect/libssreflect-coq_1.3-1_all.deb
libssreflect-ocaml-dev_1.3-1_amd64.deb
to main/s/ssreflect/libssreflect-ocaml-dev_1.3-1_amd64.deb
libssreflect-ocaml_1.3-1_amd64.deb
to main/s/ssreflect/libssreflect-ocaml_1.3-1_amd64.deb
ssreflect_1.3-1.debian.tar.gz
to main/s/ssreflect/ssreflect_1.3-1.debian.tar.gz
ssreflect_1.3-1.dsc
to main/s/ssreflect/ssreflect_1.3-1.dsc
ssreflect_1.3.orig.tar.gz
to main/s/ssreflect/ssreflect_1.3.orig.tar.gz
