Format: 1.8 Date: Sun, 19 Jan 2014 16:16:36 +0100 Source: coq Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev Architecture: powerpc Version: 8.4pl3dfsg-1 Distribution: trusty-proposed Urgency: medium Maintainer: Ubuntu/powerpc Build Daemon Changed-By: Stéphane Glondu 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 Closes: 680248 Changes: coq (8.4pl3dfsg-1) unstable; urgency=medium . * New upstream release * Update README.Debian (Closes: #680248) Checksums-Sha1: f6fc9df981dea24b2bcb62e830703f50d6ed5708 3585438 coq_8.4pl3dfsg-1_powerpc.deb e8bec27f15504ec5a8c0543d362233d33d319594 642222 coqide_8.4pl3dfsg-1_powerpc.deb e7b16895ecdf51bcdc35ece045f7f15bdc58748a 1374618 libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb 97c278b390244b99c8f8fba7392b687e0500d3f0 3576508 libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb Checksums-Sha256: 22e3e29956c5c636d3fadabd6e4ea522f81a47e621ffded63a47ff27e74c9dbe 3585438 coq_8.4pl3dfsg-1_powerpc.deb 3d0304819a739ae560ead08f6539f1e844fc850fd23d864703925ed827189943 642222 coqide_8.4pl3dfsg-1_powerpc.deb be03ebbc87f4515385e0d0fa49f692f7b3df5b61a1fbd2e0f437d4a77b1e2d20 1374618 libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb 58949c78032a782e2d313e48544900a139b261b7de3a930e0ad1c9f441c0648a 3576508 libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb Files: 9c269e79d9e7c2458e75707599b067cd 3585438 math optional coq_8.4pl3dfsg-1_powerpc.deb 18fb502f20bdca162f184b97834c43a9 642222 math optional coqide_8.4pl3dfsg-1_powerpc.deb d634ffa7ca21ea58708deeacafb70eef 1374618 ocaml optional libcoq-ocaml_8.4pl3dfsg-1_powerpc.deb fa162dc6b670170f3275aa8e2e70031b 3576508 ocaml optional libcoq-ocaml-dev_8.4pl3dfsg-1_powerpc.deb