Back to ssreflect PTS page

Accepted ssreflect 1.3-1 (source all amd64)



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