[ubuntu/disco-proposed] why 2.40-4 (Accepted)

[Jeremy Bicha]

why (2.40-4) unstable; urgency=medium

  * Team upload.
  * Rebuild against coq/8.9.0-1.

Date: 2019-02-23 04:38:58.424202+00:00
Signed-By: Jeremy Bicha <jeremy at bicha.net>
https://launchpad.net/ubuntu/+source/why/2.40-4
-------------- next part --------------
Sorry, changesfile not available.