[ubuntu/maverick] why 2.26+dfsg-2 (Accepted)

[Iain Lane]

why (2.26+dfsg-2) unstable; urgency=low

  [ Stéphane Glondu ]
  * Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)

  [ Mehdi Dogguy ]
  * Rebuild with Coq 8.2pl2
  * Convert to 3.0 (quilt) source format.
  * Bump standards version to 3.9.0, no changes needed.
  * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
  * Add "make" to runtime dependencies of Why.

Date: Tue, 20 Jul 2010 19:35:51 +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/why/2.26+dfsg-2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 20 Jul 2010 19:35:51 +0200
Source: why
Binary: why why-examples libwhy-coq
Architecture: source
Version: 2.26+dfsg-2
Distribution: maverick
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
Description: 
 libwhy-coq - Why library for Coq
 why        - A software verification tool
 why-examples - Examples of programs certified with Why
Closes: 585459
Changes: 
 why (2.26+dfsg-2) unstable; urgency=low
 .
   [ Stéphane Glondu ]
   * Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)
 .
   [ Mehdi Dogguy ]
   * Rebuild with Coq 8.2pl2
   * Convert to 3.0 (quilt) source format.
   * Bump standards version to 3.9.0, no changes needed.
   * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
   * Add "make" to runtime dependencies of Why.
Checksums-Sha1: 
 5e665829e38cef4b0ba34627897ac0701ce36c0a 1584 why_2.26+dfsg-2.dsc
 16d40e2f8f045e0b7ea81077dd08aaaa6fce6ac2 10637 why_2.26+dfsg-2.debian.tar.gz
Checksums-Sha256: 
 23808c295c69d13ccc0f714012bbd519f808a9ba57aac3dfda74a1e0ff45b828 1584 why_2.26+dfsg-2.dsc
 ba7425547eb92a1522a7273cb489afbc8ae0c83dba43be21780d9bf294262873 10637 why_2.26+dfsg-2.debian.tar.gz
Files: 
 b04fb9aaa9b5cff7e3d0101535c0b3dc 1584 math optional why_2.26+dfsg-2.dsc
 398bd27c2a03574aa5ed12713ef51f26 10637 math optional why_2.26+dfsg-2.debian.tar.gz
Origin: debian/unstable

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

iEYEARECAAYFAkxXLCAACgkQPy0SnCC/zccQzQCfbrzxV0oYdGNvqgT+9x0gYPv6
hl8AoIALCZBL3wYaMbkfw9sLZ5q8G+CV
=nh2J
-----END PGP SIGNATURE-----