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 <[email protected]>
Maintainer: Debian OCaml Maintainers <[email protected]>
Signed-By: Iain Lane <[email protected]>
Origin: debian/unstable
https://launchpad.net/ubuntu/maverick/+source/coq/8.2.pl2+dfsg-1
-----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 <[email protected]>
Changed-By: Iain Lane <[email protected]>
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-----
--
Maverick-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/maverick-changes
