-----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-----
