Accepted coq 8.3.pl2+dfsg-2~bpo60+1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 12 Nov 2011 15:55:18 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl2+dfsg-2~bpo60+1
Distribution: squeeze-backports
Urgency: low
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Stéphane Glondu <glondu@debian.org>
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 - runtime libraries for Coq
libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 622882
Changes:
coq (8.3.pl2+dfsg-2~bpo60+1) squeeze-backports; urgency=low
.
* Backport to Squeeze
* Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
.
coq (8.3.pl2+dfsg-2) unstable; urgency=low
.
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
.
coq (8.3.pl2+dfsg-1) unstable; urgency=low
.
* New upstream release
* Add patch to fix thumb2-related build error (Closes: #622882)
* Upload to unstable
.
coq (8.3.pl1+dfsg-2) experimental; urgency=low
.
* Set and check COQ_VERSION used to compute COQ_ABI in debian/rules
.
coq (8.3.pl1+dfsg-1) experimental; urgency=low
.
* New upstream release
- remove all patches (applied upstream)
* debian/rules:
- run test-suite in override_dh_auto_test, skip coqchk run
- make "build" explicitly a phony target
* Update copyright file
* Fix installation of emacs files
* Install plugins in new binary package libcoq-ocaml
* Bump Standards-Version to 3.9.1 (no changes)
.
coq (8.2.pl2+dfsg-2) unstable; urgency=low
.
* Add Fix-build-with-camlp5-6.02.1.patch
* Bump versioned build-dependency on liblablgtk2-ocaml-dev to ease
lablgtk2 transition
Checksums-Sha1:
fa522fbcffde00692ebbcb40bdfc843457980e1f 2205 coq_8.3.pl2+dfsg-2~bpo60+1.dsc
e0e7751104afe8466ca7a7a2aeb46d43e18c984a 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
c8d24257c004aae971f8437e3d931d4d724229b5 16730 coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
0e6750fd9eb3f7be230a912052f1473b753d5399 5590794 coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
eea618ebd0492e2babe8f74f09b579e7f5dd4dfc 5533416 coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
7c3e0d2eb48263243bd37ecb24dbe3ef0097bffc 53081710 coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
04126954167462ade5b4b728741ffbcfcab20696 2088754 libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
cfcdda4ce0084620d4124fa3a037f8f38e9f897b 5878110 libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
Checksums-Sha256:
609d5d5dc57e23706aee225fc30f5115e008ed1a32cbbaf8702cee562c96f3d7 2205 coq_8.3.pl2+dfsg-2~bpo60+1.dsc
7f4a1d846bc02a4403a5b2aa7977313dde9032e88684d510e9ffb42062d384cb 3147573 coq_8.3.pl2+dfsg.orig.tar.gz
a87515e7b6e191eb38bc5ca17a6099bc7b108df1b67f3ce15e280d95f453f792 16730 coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
ecdd08f5036225d3bb1f50d028877c6ec97d418a7824e604981bcc12200e1fd5 5590794 coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
d5c624f8733552b13486c800b7e9b34633d58d87fb698a90b5cb6cb99b546ef1 5533416 coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
a09b6008ad4daf57abbada296d39fe2598cc1f5c6d0286cb877d0d3fbb50f4cb 53081710 coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
912742858697b4146446f83f5ca44c5d71e502b5116e29ece180b3e129645c34 2088754 libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
eb7826474701f81f3880732c95663ce927350700e63c73bd958f340d51c9e264 5878110 libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
Files:
5a7dad5fa43e2de4be2b101fa0ffe0ba 2205 math optional coq_8.3.pl2+dfsg-2~bpo60+1.dsc
70ece28030a20c19b9292cb0c7d5be4a 3147573 math optional coq_8.3.pl2+dfsg.orig.tar.gz
da895b0edc7fc61c98bf839028387004 16730 math optional coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
5994551f5de553247a18ddc6bb09b03a 5590794 math optional coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
2cbd4b7427249162172195cf86d5528d 5533416 math optional coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
7a83ba82eb650ae62904fd0763dacc6e 53081710 math optional coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
76fd48aa05fd6b880cd2fac747bd0a66 2088754 ocaml optional libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
7183b8e821e27cb28a1f5a49ecb415c3 5878110 ocaml optional libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJOvpFtAAoJEHhT2k1JiBrTJAUP/2UbR/2se4XxTZwDYsPrJeUv
ziSoehZLjNst9CtLvFkfWMPG5ksdXItWm60ACLdsRRXOMIexYF4cFcBKErCTtyUk
79TIreLglK9lgoxGAgUgEoUt7jZZt+DQ61Ils+swbzsVc4NOTax8GkgoRatuXh6A
WI5pSvm8C7m0t1aHAbNxKOFjHDzFP3jCLTp0asOVawC5zPxM/LLbP7iZve4IWGsj
UKylMDmvpm9eyUs4NBHBBEZdqdEt1mQkmneCqYd/zqg9zxWrgIxEOh+0m6LWtn/v
QFOB+FmRaVtiAgq24KI53gx8cSzBEfJB579rDchoE20VGBjmi8ZwopsJuh5uAxg5
F+4bn8osVce8Zyo8DVN9BzvQcGwzlWTsE98VZHlHkR2L8CG+9yz88AtLV64aC9g/
SYP9FHbq+hdXqrYaXdbcmH3BwB7smX+VTXhtjeupju5zUzZ6yR1TcIs1v1xRjqJF
LEPrLiC3fH5XJjzXr5sQRIVgkdO19/yHvVBVoUTw7E2seIwwdZqOUA3QMXqDoQ3M
nXUPnz/j/DwHMX+l2/cM5DiR28IQruoLT4Sab2RT6wgTmsOWwcZv/5ithRKip/oY
5MkKeMtvxA0Izhyh178JmIeQJtJqpJXv3UmCJlhacdM+sl1ZE5EFWjesz0Or0mDa
cNsGnnMDDVSc94C/xTH7
=1/hh
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
to main/c/coq/coq-theories_8.3.pl2+dfsg-2~bpo60+1_all.deb
coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
to main/c/coq/coq_8.3.pl2+dfsg-2~bpo60+1.debian.tar.gz
coq_8.3.pl2+dfsg-2~bpo60+1.dsc
to main/c/coq/coq_8.3.pl2+dfsg-2~bpo60+1.dsc
coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/coq_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
coq_8.3.pl2+dfsg.orig.tar.gz
to main/c/coq/coq_8.3.pl2+dfsg.orig.tar.gz
coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/coqide_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl2+dfsg-2~bpo60+1_amd64.deb
Reply to: