Back to coq PTS page

Accepted coq 8.5~beta3+dfsg-1 (source amd64) into experimental



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 13 Nov 2015 11:27:35 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.5~beta3+dfsg-1
Distribution: experimental
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Enrico Tassi <gareuselesinge@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.5~beta3+dfsg-1) experimental; urgency=medium
 .
   * New upstream release
Checksums-Sha1:
 0f19cb7f744c09d45f6a3b1e0d9f413f2786402b 2473 coq_8.5~beta3+dfsg-1.dsc
 0da7510ccf7e6ab97043ee0870ae3a013eb159e7 4837057 coq_8.5~beta3+dfsg.orig.tar.gz
 3e59824f52603c551c1807b8a0f47763ce913ab4 15916 coq_8.5~beta3+dfsg-1.debian.tar.xz
 d03b57c7a650151f9289186718f7ae23576f8025 35115524 coq-theories_8.5~beta3+dfsg-1_amd64.deb
 14eb5aeffe013c49080b5b2d77ec438544ed6707 12903040 coq_8.5~beta3+dfsg-1_amd64.deb
 73f92fd957c62fb6e6145c3d6459d945afe0c15a 1139334 coqide_8.5~beta3+dfsg-1_amd64.deb
 0842bf142cd3340799209c3167a6876038cf8af3 13298068 libcoq-ocaml-dev_8.5~beta3+dfsg-1_amd64.deb
 c25e332a0b6c2e110205a7c9d8a1dcda65d4dcdd 3422672 libcoq-ocaml_8.5~beta3+dfsg-1_amd64.deb
Checksums-Sha256:
 924b612c4d4224c39d462a2a02a90d3e95a632ff4e838f985ebbbcbb83faf21e 2473 coq_8.5~beta3+dfsg-1.dsc
 c906a12bf1260921329bcfff7c8fdce9b2d43c1611e029989b39132688d9f07e 4837057 coq_8.5~beta3+dfsg.orig.tar.gz
 c09fe160595d25ef12a53df4abf66fcf3e7e239e91eb629cf0ff001853e0e20e 15916 coq_8.5~beta3+dfsg-1.debian.tar.xz
 3f71d1425aee1b1d9ea1822d4d9595e86dc31c2643dbea1ce7c07c43b98592bc 35115524 coq-theories_8.5~beta3+dfsg-1_amd64.deb
 7f043f516d748a256c7f55466d428ab6ab3b40c7f29cc5454891e1b187970991 12903040 coq_8.5~beta3+dfsg-1_amd64.deb
 16145374ed799ba4fcd8f0aa77eec9725a1f9941d6da34e6a1590d14de0b5a36 1139334 coqide_8.5~beta3+dfsg-1_amd64.deb
 25e037a5bf39d91f02d034e3415c693a8290038e9eae1b57f2334a01354fd093 13298068 libcoq-ocaml-dev_8.5~beta3+dfsg-1_amd64.deb
 30cf705f6bf0f27956b2f783851e9271eb6290b0d0400961004f7b237c386e90 3422672 libcoq-ocaml_8.5~beta3+dfsg-1_amd64.deb
Files:
 fabf909506d68e7414359fd49fd51b77 2473 math optional coq_8.5~beta3+dfsg-1.dsc
 73e0e61e11d6fb5a9fd1b7f1b86e17ce 4837057 math optional coq_8.5~beta3+dfsg.orig.tar.gz
 7ff3a524c875b5d8aa67d485a5cce8eb 15916 math optional coq_8.5~beta3+dfsg-1.debian.tar.xz
 c387c1bcd94ce9091f07946e908eeb98 35115524 math optional coq-theories_8.5~beta3+dfsg-1_amd64.deb
 41f799d37ef9b31b0140edc133739fd0 12903040 math optional coq_8.5~beta3+dfsg-1_amd64.deb
 9a50853cfb2455c794e3d1d7464013e1 1139334 math optional coqide_8.5~beta3+dfsg-1_amd64.deb
 abe9f62d1bab9bc761ed371f5b15e8ee 13298068 ocaml optional libcoq-ocaml-dev_8.5~beta3+dfsg-1_amd64.deb
 5a4225410533c656246985aec6f65874 3422672 ocaml optional libcoq-ocaml_8.5~beta3+dfsg-1_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQIcBAEBCAAGBQJWRvy3AAoJECUFM8yim3ZPwtMQALzvQVaPTX3b/XGsk/KmMcMo
6ZiFeU9S9C3uko6f005p6pxljxsAZmzRvK3lQbtaCKeUCBI3uG4F54zrIgG36rhl
S6rz5BR0f4nHlXBFenBxTPoXiEFcHKYOaSN++QITELAnIGEojCxHLt7ZSoe4+whP
JPqNHoZNosY2NCThT2mpHhl7ePVneU84jHr6vpINQ+eQmyaVzRG8b62H4qdskqKd
mlNpP0vpWL2gL+m1oEyXVaLTr3Xg+Km+5GoI1Grab1VpeVGHGWjpp7daRp0Mjngm
6Qh1KmxSVYnTUDpMmWfFu5yXw7iXFbbwaB44fLDXanJqoNBac9lqiRerih2sLmB+
4QKxkLIP8UcBcxvlH0aUcbMKW2CSvhBcycun5hd5GahiL06HVErw1CkLiEOk2RTZ
kXwVr8zyYkbV/3hqqab2jbwI3+JAN3HMOhLL6mQf1F3LRhY9ei5Majqf5Pfi4JfC
23sNUqjjiBgZr5k+y9G7tdidiydzAtvh4z7KaQO9TZxbAXD59zyBfmx/Kdhn+AXa
LDa93bp/hbVajEO1cvi+sXBiE4Q5iO4O2mEg/wRK18V93lRKhSN8T3yXui5HP73G
OIqGJiDe8ZNswPk0QbwdSPCiXwtpYC54CEApiv/0xDrYgE+rEc4h4Gw5m8IEAb4S
lTk6ygSKOJy9bXicdXfe
=TvcT
-----END PGP SIGNATURE-----