Back to coq PTS page

Accepted coq 8.8.2-1 (source amd64) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 06 Jan 2019 23:07:04 -0500
Source: coq
Binary: coq coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source amd64
Version: 8.8.2-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Benjamin Barenblat <bbaren@debian.org>
Description:
 coq        - proof assistant for higher-order logic (toplevel and compiler)
 coq-theories - proof assistant for higher-order logic (theories)
 libcoq-ocaml - runtime libraries for Coq
 libcoq-ocaml-dev - development libraries and tools for Coq
Closes: 902903 910840 916369
Changes:
 coq (8.8.2-1) unstable; urgency=medium
 .
   * New upstream release (Closes: #910840)
   * Add Benjamin Barenblat to uploaders
   * Update debian/watch for upstream's transition to GitHub (Closes: #902903)
   * Stop distributing CoqIDE (Closes: #916369)
   * coqmktop(1) has been deleted; users should migrate to ocamlfind(1)
Checksums-Sha1:
 f08025df216f4deff189348be02c59cc2a1da35e 2415 coq_8.8.2-1.dsc
 2a3f39f36f10958401279e3cb3d6b9cc36d7c99c 5313133 coq_8.8.2.orig.tar.gz
 5632fc5c46b46908409369452b2cd1563b26653d 62720 coq_8.8.2-1.debian.tar.xz
 9dd150b909dd2289835813e1238e9b606f14f282 2133356 coq-dbgsym_8.8.2-1_amd64.deb
 72e7597a096980ced55cd38dc2d0b2344099a9c6 752844 coq-theories-dbgsym_8.8.2-1_amd64.deb
 6ee701f7ce918d4ebcc6a392278241ea6d4e9799 29352732 coq-theories_8.8.2-1_amd64.deb
 325fe9284a56f30ad9ae601b40abac2e737da5d9 14827 coq_8.8.2-1_amd64.buildinfo
 8e5c0173a470c5931747b645f3aea3a472fbea1e 17526784 coq_8.8.2-1_amd64.deb
 0d4da521ba918468a576cdcbdc177c3d5df0815d 460032 libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
 6fa6c79a12455480a1a9131e650333661a938ed0 13125616 libcoq-ocaml-dev_8.8.2-1_amd64.deb
 7aded7646d7f708f063c7cd2e7f7979be54c9f38 4590400 libcoq-ocaml_8.8.2-1_amd64.deb
Checksums-Sha256:
 f8967bddabc9fbbeaa5a2566edbfe0692c837a185178a4818e123cb240d27f38 2415 coq_8.8.2-1.dsc
 7c0cff86fa2b2a377ec59c3d9ba5c9f5ec91edbe89962200f1a5168095f59e74 5313133 coq_8.8.2.orig.tar.gz
 c32c3fe03f4699f37552ace53fa5fb2eebd4aeda226f03f003784dc84003df83 62720 coq_8.8.2-1.debian.tar.xz
 796ea685417d886a0f0c7e881f29dc2221267e9d7434d01e6fc306466ee2b9ae 2133356 coq-dbgsym_8.8.2-1_amd64.deb
 72ea2c77b6744b9bf44dff9afb29450cfad8ca65fe14f71038863ac3b7108698 752844 coq-theories-dbgsym_8.8.2-1_amd64.deb
 9aebc1e5c9707e8600c2a309c3d223e6764357ef2c6752d75c9332d2cb887217 29352732 coq-theories_8.8.2-1_amd64.deb
 c88987624b577a8360532ea86f5a5df91de1c3d31a9ae653f012eb57c7104e6d 14827 coq_8.8.2-1_amd64.buildinfo
 c94dccb02774f36092d78e299f47126cf777af6157bfbd203adfba9590108026 17526784 coq_8.8.2-1_amd64.deb
 d00d55ee22df696a9c0bfcb10da78ff4c43195bd0d4dc723354ec2bd0e07c08a 460032 libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
 351567d2d1f566a7e508c6e4b1dc47d5438f5099df4a996a698221490b076600 13125616 libcoq-ocaml-dev_8.8.2-1_amd64.deb
 af6fbc1d779cbba950d2fb84407eaa3a99faea5256af24f816789e1eca9554cd 4590400 libcoq-ocaml_8.8.2-1_amd64.deb
Files:
 e66450e0f2043c9d0233c6ada448491e 2415 math optional coq_8.8.2-1.dsc
 634651a7fc210f5e3f362bae0e5abb13 5313133 math optional coq_8.8.2.orig.tar.gz
 d72114aa51a95d35150ae6bbf9a40378 62720 math optional coq_8.8.2-1.debian.tar.xz
 7ee542c0bc61babbb44d7e16265a0609 2133356 debug optional coq-dbgsym_8.8.2-1_amd64.deb
 9c42a801cab1e0157d93938e5ae285bb 752844 debug optional coq-theories-dbgsym_8.8.2-1_amd64.deb
 f618dfffa2643d6222719b2bbe151538 29352732 math optional coq-theories_8.8.2-1_amd64.deb
 a67045d24cd9fa9a430e442600b65ab6 14827 math optional coq_8.8.2-1_amd64.buildinfo
 a5a2ab1af21c989c5c5a1b08192078ea 17526784 math optional coq_8.8.2-1_amd64.deb
 2a25a65341b45aef163c7e16f2d19222 460032 debug optional libcoq-ocaml-dbgsym_8.8.2-1_amd64.deb
 8e9bbba7bd736141e4e9f57af43eedd9 13125616 ocaml optional libcoq-ocaml-dev_8.8.2-1_amd64.deb
 4b7ea2a6869b9320d07aa05793c7b37d 4590400 ocaml optional libcoq-ocaml_8.8.2-1_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEQbf+q7LkywHKVTMA5ZUVm53A7cMFAlwy1AgACgkQ5ZUVm53A
7cNDGg//a6g2/w19vYuo4Fc4VC3pM/diniL9ycZEw0B5Fwwuf7QuHN8805+32tze
BDK09hWUV0uxvOLXTJ0kOE2z0H8YBWfez/0piUNc+Cq9sugPOM1UnO+FXKZlPmdN
Zsyzg7Kdbor7oqeIV0hbrJ6ij2c+SEI5Z4yHr/tQcehsQBRs5MI9ptoiX5fbE6vI
xEhBK911kx1ItO8oRIex6s7ZuIz7VyfRVHnPtqV+q39DSUS0wfBpUjwIH5kpXang
RZsY2Spy9tDj+Y5qcRHUZ8k+hPGtiuI2rVVI1baMJM4F2gEpBhyaqzqRZuGKURTu
SrTvJewEhQ2oXZ3DG9BWhY53jPNDOD6KeSqj78zfmRPIp35FeGe6xQoGDz+zNPCs
mENH2EaDGeqs45H7z9EaP5b3yl7sTyCoUARjYH4a1qz1pyTABb7USlPpCK+4fXSg
jH1CcUL/DxrQOlnai1fCPVyaGlEIEwRHpMcJSsZqFSAnYnZDUKn6UJ6sO9qC0sBz
PaH/n5tdrpry1rh/54PfDUUCVJMN/tu5L0N05lxoAZcvtXGBtH6j6htZfowe9Xc6
3tHnqaE13fjnatW0GxcUkhNrv0ptxMOORRyXJtP53y4EkgVCWrv4noCV2GfgZL+K
VFa/VrHErFb7XndfJvPfjL3lfjxVVbYC3iX3R0gU4jOp48LrEEE=
=TeEU
-----END PGP SIGNATURE-----