[ubuntu/maverick] ssreflect 1.2+dfsg-6 (Accepted)

Iain Lane laney at ubuntu.com
Thu Jul 29 11:50:24 BST 2010


ssreflect (1.2+dfsg-6) unstable; urgency=low

  * Rebuild against OCaml 3.11.2

ssreflect (1.2+dfsg-5) unstable; urgency=low

  * Rebuild with Coq 8.2pl2
  * debian/control:
    - replace Conflicts by Breaks
    - bump Standards-Version to 3.9.0

Date: Thu, 15 Jul 2010 13:41:07 +0200
Changed-By: Iain Lane <laney at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Iain Lane <launchpad at orangesquash.org.uk>
Origin: debian/unstable
https://launchpad.net/ubuntu/maverick/+source/ssreflect/1.2+dfsg-6
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Thu, 15 Jul 2010 13:41:07 +0200
Source: ssreflect
Binary: libssreflect-ocaml libssreflect-ocaml-dev libssreflect-coq
Architecture: source
Version: 1.2+dfsg-6
Distribution: maverick
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
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-6) unstable; urgency=low
 .
   * Rebuild against OCaml 3.11.2
 .
 ssreflect (1.2+dfsg-5) unstable; urgency=low
 .
   * Rebuild with Coq 8.2pl2
   * debian/control:
     - replace Conflicts by Breaks
     - bump Standards-Version to 3.9.0
Checksums-Sha1: 
 49e49e72abe03b052dd306c5f6c26617f9bae30c 1490 ssreflect_1.2+dfsg-6.dsc
 b70323d4678d690968cadac496fd38b9385460a6 12593 ssreflect_1.2+dfsg-6.debian.tar.gz
Checksums-Sha256: 
 ab149afca69faa025adad274ef545e6b3f34fac50716850cf0e8a49a7ad53f9d 1490 ssreflect_1.2+dfsg-6.dsc
 9adb37db0d1920ca526a54831d7ce2e8b29fa959a99b6b2b325a8d1636f76cc0 12593 ssreflect_1.2+dfsg-6.debian.tar.gz
Files: 
 00482d55b887932c561e24e8bd3eb06e 1490 math extra ssreflect_1.2+dfsg-6.dsc
 734d516f163a8b6880a612ca14bc9d7a 12593 math extra ssreflect_1.2+dfsg-6.debian.tar.gz
Origin: debian/unstable

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkxRXHIACgkQPy0SnCC/zccYMACfRieneH2k/gyeVESjRQaJlx9n
pKkAn2pJtZ+ViVyql9naqu/MgXE5ibZV
=iUlG
-----END PGP SIGNATURE-----


More information about the Maverick-changes mailing list