[ubuntu/maverick] coq 8.2.pl2+dfsg-1 (Accepted)

Iain Lane laney at ubuntu.com
Tue Jul 27 20:00:26 BST 2010


coq (8.2.pl2+dfsg-1) unstable; urgency=low

  * New upstream release
    - compiles with OCaml 3.12 (Closes: #585452)
    - remove 0001-Update-for-why-2.19.patch (applied upstream)
    - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
  * Use dh with overrides
  * debian/control:
    - remove Stefano and Remi from Uploaders
    - replace Conflicts with Breaks
    - bump Standards-Version to 3.9.0
  * Switch source package format to 3.0 (quilt)

Date: Fri, 02 Jul 2010 15:25:15 +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/coq/8.2.pl2+dfsg-1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Fri, 02 Jul 2010 15:25:15 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml-dev
Architecture: source
Version: 8.2.pl2+dfsg-1
Distribution: maverick
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Iain Lane <laney at ubuntu.com>
Description: 
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 585452
Changes: 
 coq (8.2.pl2+dfsg-1) unstable; urgency=low
 .
   * New upstream release
     - compiles with OCaml 3.12 (Closes: #585452)
     - remove 0001-Update-for-why-2.19.patch (applied upstream)
     - add 0002-Remove-dependency-to-Unix-from-module-Profile.patch
   * Use dh with overrides
   * debian/control:
     - remove Stefano and Remi from Uploaders
     - replace Conflicts with Breaks
     - bump Standards-Version to 3.9.0
   * Switch source package format to 3.0 (quilt)
Checksums-Sha1: 
 8de36597c05c2bc964756ce2e05c87ed2167c689 1517 coq_8.2.pl2+dfsg-1.dsc
 e994ae8621cfb61f221312252fe0f6d2f5b57784 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 f0982c65e58ad3c6dd658405649dc93d478b7c87 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz
Checksums-Sha256: 
 cb97d1bf0eae64742aa83f62843950b3d4a31352177c915a21c771d93a839fbd 1517 coq_8.2.pl2+dfsg-1.dsc
 a731c1313a3a124f95d8b54842553b9bef6ef30beaf19de2afc2a11429d14780 3142575 coq_8.2.pl2+dfsg.orig.tar.gz
 817965fc8e0cffd51495c266dbaecf0d34eb826f64bca420c4825d08e8f329c6 16779 coq_8.2.pl2+dfsg-1.debian.tar.gz
Files: 
 1243de709725f44661ff0fc2e91da017 1517 math optional coq_8.2.pl2+dfsg-1.dsc
 64093f3b22d6f49418b4d5267925141b 3142575 math optional coq_8.2.pl2+dfsg.orig.tar.gz
 22f7bc31e1ad9289856fb92824e0e2bf 16779 math optional coq_8.2.pl2+dfsg-1.debian.tar.gz
Origin: debian/unstable

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

iEYEARECAAYFAkxPKloACgkQPy0SnCC/zcd44ACfc7Rt26WoFy/FtyZ9R/TuVVZ8
zP8AoLK+S4xrdM4HcgKrB0T6hPsXEaoP
=TfHe
-----END PGP SIGNATURE-----


More information about the Maverick-changes mailing list