Accepted coq 8.3~beta0+13298-1 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Wed, 21 Jul 2010 15:16:53 +0200
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64 all
Version: 8.3~beta0+13298-1
Distribution: experimental
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
Changes:
coq (8.3~beta0+13298-1) experimental; urgency=low
.
* New upstream snapshot
- remove all patches
* Install plugins in new binary package libcoq-ocaml
Checksums-Sha1:
76e8ff903a1a42628aabfb15ad47b8a6e3789083 2194 coq_8.3~beta0+13298-1.dsc
7261255bd94ffbb2ace954d493f8e8c3b9fb845b 3114505 coq_8.3~beta0+13298.orig.tar.gz
9c93ad790ab57a46f53fe6319a35514d137dccaf 15842 coq_8.3~beta0+13298-1.debian.tar.gz
034a920bc0710f2f1ead7bfbadb45f44e95b8f53 5542878 coq_8.3~beta0+13298-1_amd64.deb
1e516627267bc71458d383e4894c202fd727c7fc 5494526 coqide_8.3~beta0+13298-1_amd64.deb
5bc747e409c90298389ccab530dff0b049874311 53710224 coq-theories_8.3~beta0+13298-1_all.deb
861096a587e0f4c8c059b462e0ad044b4e1d1ac6 2085578 libcoq-ocaml_8.3~beta0+13298-1_amd64.deb
75c8cc74c4b00d1f75c640a6cdfd6939775120cb 5822546 libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
Checksums-Sha256:
328a3f17fc6e5fd98bc7cda891cd963b4a8630ce7bbd77ff2f773c00fa4ccfc8 2194 coq_8.3~beta0+13298-1.dsc
130dafd9176cff163e91b37806e596ce3c71b12d12349597940d287950a1d09e 3114505 coq_8.3~beta0+13298.orig.tar.gz
d27c176f3ab853e4656e6acb7c0b52c87198f96f66d6da45368f8a70afbb54c6 15842 coq_8.3~beta0+13298-1.debian.tar.gz
fa22b2b58f1cca525dd89bf23a5bfb970ddb4dcaaa1dad7dadfcc4feb043b227 5542878 coq_8.3~beta0+13298-1_amd64.deb
b00c3979915f9ee10f5449e0951e9b915e19f3ac3a0705af6e58c8268ccbe1d9 5494526 coqide_8.3~beta0+13298-1_amd64.deb
036b28ca5750fc4bfa4c48a8e787d73627705174f2cbd8d24c3ec49a3b2e5309 53710224 coq-theories_8.3~beta0+13298-1_all.deb
c652c676983087d50c7b498039d5262d19b343b9d61012d540944f72b39d7145 2085578 libcoq-ocaml_8.3~beta0+13298-1_amd64.deb
63d0de976216035df4b963e1da5f2199aca215531e5edb829c2f54fbbc61d097 5822546 libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
Files:
771b0105b43f952f4e49ae5b61a124d3 2194 math optional coq_8.3~beta0+13298-1.dsc
d58ee9adfedf7a261216e465198f9a22 3114505 math optional coq_8.3~beta0+13298.orig.tar.gz
e0ffc15cff469af280b3d522e9a8b467 15842 math optional coq_8.3~beta0+13298-1.debian.tar.gz
22cb3aa58a85d491ad22bcf58402b91f 5542878 math optional coq_8.3~beta0+13298-1_amd64.deb
b796ca496d80ead857f9f72a4b1d8a79 5494526 math optional coqide_8.3~beta0+13298-1_amd64.deb
835f8fe6fd2469fa741837eb9b5076f3 53710224 math optional coq-theories_8.3~beta0+13298-1_all.deb
74f35ff65479cd9565e11cd4e7ff69e2 2085578 ocaml optional libcoq-ocaml_8.3~beta0+13298-1_amd64.deb
a7e8149906744be9f2d7079440311027 5822546 ocaml optional libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iQIcBAEBCgAGBQJMRxFnAAoJEHhT2k1JiBrTI/YQAJ8HryQCyOHSzoAY5kTrVLC2
ioc5TmEF+cT48gtHdGghA9WIjpQnWMHwuPmKi4DZju/VZ66nIOhkoA11Bkfr+nmq
0TBllUPw8NestwDtRltWCj9f4dPF+UbihAIMy+0Ayz9I/sSUS+C31KIH0qtYid2g
OVyyBARfYlFshuMhxmHt0cLOHRvB7X2SylF3sRpVYLgD5oZPD7NtMaqOhGFlMrJ0
QsPffrIqqsujI9nvQb+PSVSbcIcuUKkxcV8lT0lUdel38GGR8RGbVhLp/iRHu4mE
vUUmXt+ON/ZFS+vLqTtXfJQwqhXJZhHqyA+RnbktcDhMLviwGT84NR8OouWaLv6C
ZZ/F/IqfMeEQpraLn/n+AyNNcTzJXIABH4JT+hY0luM5CFq/lE21LIg7cpLBMWHL
MUeKREKBd+SlSpFr6rSZCRz2kHhwmVo4j+eiIBcBYxDEUhpu84f+yGywCE5thV/C
KmzV2rtPMFESBkZGTB9ES5IrNrLVzRiQdmvNyX5jHqxa9kjD3VdQDqUwvqQplXZE
hp9r0EaM5OXW6izzNrGpoeu1Jzz6H669Zmvs9Qp/j9nzgQuAEHpflk4cxF86QvIg
zNfxYBqyBKscjbV3EYs427p0vwfva2D78IpEAxwFSJkR2M39t3vdORjXHgyOFTZq
EPi9gSo8NdE5ZC4JQYz9
=y78n
-----END PGP SIGNATURE-----
Accepted:
coq-theories_8.3~beta0+13298-1_all.deb
to main/c/coq/coq-theories_8.3~beta0+13298-1_all.deb
coq_8.3~beta0+13298-1.debian.tar.gz
to main/c/coq/coq_8.3~beta0+13298-1.debian.tar.gz
coq_8.3~beta0+13298-1.dsc
to main/c/coq/coq_8.3~beta0+13298-1.dsc
coq_8.3~beta0+13298-1_amd64.deb
to main/c/coq/coq_8.3~beta0+13298-1_amd64.deb
coq_8.3~beta0+13298.orig.tar.gz
to main/c/coq/coq_8.3~beta0+13298.orig.tar.gz
coqide_8.3~beta0+13298-1_amd64.deb
to main/c/coq/coqide_8.3~beta0+13298-1_amd64.deb
libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
to main/c/coq/libcoq-ocaml-dev_8.3~beta0+13298-1_amd64.deb
libcoq-ocaml_8.3~beta0+13298-1_amd64.deb
to main/c/coq/libcoq-ocaml_8.3~beta0+13298-1_amd64.deb
Reply to: