Accepted coq 8.3.pl3+dfsg-1~bpo60+1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sat, 07 Jan 2012 18:20:49 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3.pl3+dfsg-1~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.pl3+dfsg-1~bpo60+1) squeeze-backports; urgency=low
.
* Backport to Squeeze
* Downgrade versioned build-dependency to liblablgtk2-ocaml-dev
.
coq (8.3.pl3+dfsg-1) unstable; urgency=low
.
* New upstream release
- remove all patches (applied upstream)
.
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:
fe38f70f5787554e6fe7fdfb1f5ef851d63ae627 2205 coq_8.3.pl3+dfsg-1~bpo60+1.dsc
ea93417d91fbb9c1a04c9c9481a99e620e600c5e 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
7180bfa186274c81b55f377b5cac356267174a4d 16475 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
561e7d7c08742cc831351343fd6b3810d475adc3 5599138 coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
002c5cc5d1a1b614123f9cd081dd055c31f91b6a 5540418 coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
42b2edb562c94a1c03a42a0e909611b49be6820e 54040792 coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
2eb1de73a6a357822b3159fe683f16bf2201b2a9 2096404 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
02581d6a6b98c1c9c806702a30d7929a988cfdd7 5886524 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
Checksums-Sha256:
53e0a3284b3e98c33bd534267826c7adaeaf5204a12407511f1c0d076b9543a0 2205 coq_8.3.pl3+dfsg-1~bpo60+1.dsc
4ea1d7dee8011c8b98a63cbd1c32e94a620437a81ca48abbd11363cb3bf927b8 3152870 coq_8.3.pl3+dfsg.orig.tar.gz
48d54ba1b29f43906ec85acbab7034d61eaeef94db6eb81550868302fcfb3c3d 16475 coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
1fb5df9e1fa682d58e96236586248e87f3be796af40f405fcd5551fd9384d016 5599138 coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
058e1a81a2cc4a62f13d94ff0ce9ad83c35f5b33b150d42849f24d9f26eb53f0 5540418 coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
28da213407757b6511276ad63175b74dc09414754c04b75c00b6f508b0ce992f 54040792 coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
666176282483ef47e103ac6a278ef3eccc38fd40b584046c1c802b4d02271771 2096404 libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
81651c0372cfe7a08c04adb9ba740c7560b48eb8230d9d9817d8b161a0448cee 5886524 libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
Files:
8ea5e8a1cc58176f44a7f3f86631be41 2205 math optional coq_8.3.pl3+dfsg-1~bpo60+1.dsc
5023e70c5c8a83200654f1f724a42cde 3152870 math optional coq_8.3.pl3+dfsg.orig.tar.gz
4b8a25a33db22523e69ec0f5795830e4 16475 math optional coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
c793d9534707df5ee814afdd2596e408 5599138 math optional coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
035ba6cde27caa39c0530f050749edaf 5540418 math optional coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
fea4b4d54f455c7c2b924173a3512430 54040792 math optional coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
a205248a6ec6948c5f0db142cf5f00ce 2096404 ocaml optional libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
97652178f94d5e3563b5c15e4d321270 5886524 ocaml optional libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iQIcBAEBCgAGBQJPCWlUAAoJEHhT2k1JiBrTwP8QAKPODt9KmBxfoCcHgO7QswmW
itgovF0FKeswgPeCPZd0SnEKIDev7c4QGvstLtLbSNJ8eLlSWg7sOKX/Ajx3fVce
hCjP4NkuKnFEzo0sDIZFwRRkQQATiIcFehQ91JZnsx0hp4aqS+fyijsbthdLTZyR
6wD9Dc3eRSw1GHE10ibhDzAH333RL62xV/ccgGeyKBVKh2WiuzvAq/22CZYDLSCp
4+2d79WIb9MD6szn8iks7dQ6GWsDwx6LgUn6GjgbfLmfXpXbIv/MgaCgtIO/KRfi
Zxt3SN13hrFO0LsnZgM2b4qmVlehyzFh4q2jvxQ1SdxehVMAbZ1ahxf97KaomnbF
GH6Cll+dhFxsI4A5o8JRC6H+Trjr73tVOBwIqk1IOOCmI5Ztx98vc64c63UKrH4b
mTwg3VQC6hvH1w92FKtl62psFRmrwGXsnUzAtQ4pv5XxNURVypAMj/Hk7ob2jL8g
u/aD8cxqzDCO9Ye3CikIDReUaFtjen/kk6qQvWj5YOfNdZ3XjQ5ikdmhubqza3So
8/ZQo7CAaClcPIvQ/nEysFNwJltx8eiGjblELJxE4mZkZDByTikIqglazTXmwdD4
ck9SDz9zzrJtM3WIAe9Odz9G9xy42OU3K2J7ZQwK6sAy6zfFxh6qLmwsiBxffHjm
NdiRLkgN9G4UNDR+waLY
=w2fX
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
to main/c/coq/coq-theories_8.3.pl3+dfsg-1~bpo60+1_all.deb
coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
to main/c/coq/coq_8.3.pl3+dfsg-1~bpo60+1.debian.tar.gz
coq_8.3.pl3+dfsg-1~bpo60+1.dsc
to main/c/coq/coq_8.3.pl3+dfsg-1~bpo60+1.dsc
coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
to main/c/coq/coq_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
coq_8.3.pl3+dfsg.orig.tar.gz
to main/c/coq/coq_8.3.pl3+dfsg.orig.tar.gz
coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
to main/c/coq/coqide_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3.pl3+dfsg-1~bpo60+1_amd64.deb
Reply to: