coq (8.5-2build1) yakkety; urgency=medium * No-change rebuild against camlp5
Date: Sat, 11 Jun 2016 15:12:11 +0000 Changed-By: Steve Langasek <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/+source/coq/8.5-2build1
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 11 Jun 2016 15:12:11 +0000 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: source Version: 8.5-2build1 Distribution: yakkety Urgency: medium Maintainer: Ubuntu Developers <[email protected]> Changed-By: Steve Langasek <[email protected]> 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-2build1) yakkety; urgency=medium . * No-change rebuild against camlp5 Checksums-Sha1: 2a1dc2b9d7554d5c2e848f7b5131412c1d42a47c 2499 coq_8.5-2build1.dsc 6864761b8e3551cdc94938d7d9a87c9a46992352 16780 coq_8.5-2build1.debian.tar.xz Checksums-Sha256: 3bd0a2c9d5fa8688699f049b30b5b2c360bcd9db7aa33717bc4d9cde03dd776f 2499 coq_8.5-2build1.dsc d573fb3bbd022ede9ced3fcadb65b2da005f5ed98b91e5a6394fe5a5440e53af 16780 coq_8.5-2build1.debian.tar.xz Files: 397ef30159daff783c6a60a0fa521398 2499 math optional coq_8.5-2build1.dsc c19c18eda2f5594610457559f8fdc6be 16780 math optional coq_8.5-2build1.debian.tar.xz Original-Maintainer: Debian OCaml Maintainers <[email protected]> -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCgAGBQJXXCpkAAoJEFaNMPMhshM9Em4P/ikpUG28132qO5N4G/3GHkLh +wEZ1l6u5W+n3RyE/QJrtWDPkEcT6FbIMnylbRcdD6lkziOmkmNFIyEcGcp+m9dL JH0qaFGUQcsJffI8kTQUlSIwZjSsYkFHvzMpthhVebuaMqtoC6V1JG3UOvv8ocJD jsbaFHetJe6ZWSrgaoNXo4u/Ouq64fTXHRX1BTlOv+mRcO+0vXGS8Dg7i9bowAfr 3jCueThMg1Hl/ijyz/sQrJOZcwiS/gnVci4hLgRMocuA9Rz1VBoelkT4aQUe4zNu 6RvXcI+73kqjzGyZT3c0M4r0ecq4oVZdiShoASWR7/9QnPfypa8bC6QwBJOU14bd eXxPwPmcpdXVLzKuYxNmHX7BLGcFk8lg10ZWheyIxJaDQWJkudQssDDB4eC39Q8F BekYTag7utTi9iCSvkZazw/fHBdJmUX+UvyiMkHU3E6bVNN10FB1VTWD7W8IiF3K h8sY6YDCNeBuFYd282rPj4w1fz8IyjOmzpVrOlJ6v30Y4cjmtXbRu/t1sPj/X5nO R6t0un5h7uwkql4wkZRckPzQLGkbquwrkPlqI0tcEc89KCZcpWZVxcWyyOiUtyTp HnXTer/DA5sGCfkZuDXyrpnaJnALSJ7dF7sqL+XfoAB/cgqtlz1Y16zjTlSbqtI1 N1Tuf0kl31JWI7ijo2w6 =tLJ1 -----END PGP SIGNATURE-----
-- Yakkety-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/yakkety-changes
