[ubuntu/focal-proposed] coq 8.9.1-5ubuntu1 (Accepted)

Gianfranco Costamagna locutusofborg at debian.org
Mon Feb 24 17:10:14 UTC 2020


coq (8.9.1-5ubuntu1) focal; urgency=medium

  * Fix tests by calling python3 instead of old python

Date: Mon, 24 Feb 2020 18:09:07 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.9.1-5ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 24 Feb 2020 18:09:07 +0100
Source: coq
Binary: coq coqide coq-theories libcoq-ocaml libcoq-ocaml-dev
Architecture: source
Version: 8.9.1-5ubuntu1
Distribution: focal
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at 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.9.1-5ubuntu1) focal; urgency=medium
 .
   * Fix tests by calling python3 instead of old python
Checksums-Sha1:
 cd21c6ad77b2910c068af909ef6b188a3c205941 2519 coq_8.9.1-5ubuntu1.dsc
 457eaf60a55026f4eb6b82b17573ca3798fa767f 32220 coq_8.9.1-5ubuntu1.debian.tar.xz
 728c32a75b923268801165815c82e2a07400bdd5 15459 coq_8.9.1-5ubuntu1_source.buildinfo
Checksums-Sha256:
 de2dc691bda5f6f75d34466d2f5406b0781a0667875e4c8a625b3ebc3fde1743 2519 coq_8.9.1-5ubuntu1.dsc
 b2af203ca9bb36df790e94bd80a769f502be6aec9bbdedf9024eda4d0b55e22d 32220 coq_8.9.1-5ubuntu1.debian.tar.xz
 c624718e20559ad439955f04e5f5a253d73fc98fd6aedd560c28a8121c8eede3 15459 coq_8.9.1-5ubuntu1_source.buildinfo
Files:
 1dd2a89410b5a07729e4fb93dacee96e 2519 math optional coq_8.9.1-5ubuntu1.dsc
 46db7906e7c631078d7f88ff35aed4c7 32220 math optional coq_8.9.1-5ubuntu1.debian.tar.xz
 a61d280bfda24be933eaa37a911d9992 15459 math optional coq_8.9.1-5ubuntu1_source.buildinfo

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

iQIzBAEBCAAdFiEEkpeKbhleSSGCX3/w808JdE6fXdkFAl5UA0sACgkQ808JdE6f
XdlIZw//TYf9uJ/jHycd1TTIoQjM1Qzy9st+O9HZlEBz/y6QJroMlwTnrUw2BCTk
dCvzo6eb9h7n3YTU0oeVlq27qHlQa+FpjW4FVO3jES0eD47iD6YDT/k8WhQ/vws+
ft1D0g1RqjAuLtYiKa6r+Fpvg4wcB317L99M+xANDFfPcZGRol+7sDq7Gp3yT7p4
OwfpgnDDiOxV1Euqz76RuA0Le8v/ngeOAp0Qodk6HMpfbyyFP6QG5oBNUikmGpvg
avUESoBvUOxDFwuVfzmaNUs0AZYWgZ24kqRqxzZGyZLQLk+ZbprN23zw9qMZigEa
aiWb27bf7XJbJB7+pXwQ55TQkTAN9LJRrIFMQ63Io7OkVXJgRz2UQ7BabyiGOnqb
MpnJu+FqvEiE5mkPmiW61KJneizEq+cBkMqyIJjtbuIfXl3EjBdhMAuMs3yiL/WM
2yl0K82Rqbap5hz+lQ2EnI31hZx3klxYm/iTIgRdJymrm74mZ5pEnvVjvvNyHFaL
Ku7YxD/sriBmOPzZja8WVemXrtV5LBVSqqbIndYNHK9qHQdBI4TroMFe0zFk/ddc
47h+ewmBHM/hBFNE7Qq88BCXAUtggdvVilgI+sLE22SQvRjtMJI1TZdjvDaTYssB
k6+Fgr+1b6INsFhQvkTKZfWJD26fYuXirvsDf+6D5tVJy1/VNU0=
=aGu9
-----END PGP SIGNATURE-----


More information about the Focal-changes mailing list