[ubuntu/artful-proposed] why3 0.87.3-2build5 (Accepted)

Dimitri John Ledkov launchpad at surgut.co.uk
Sun Jul 16 23:10:08 UTC 2017

Previous message: [ubuntu/artful-proposed] aac-tactics 8.6.1-1build3 (Accepted)
Next message: [ubuntu/artful-proposed] mdp 3.5-1ubuntu1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

why3 (0.87.3-2build5) artful; urgency=high

  * No change rebuild against coq abi change.

Date: 2017-07-16 22:48:20.852134+00:00
Changed-By: Dimitri John Ledkov <launchpad at surgut.co.uk>
https://launchpad.net/ubuntu/+source/why3/0.87.3-2build5
-------------- next part --------------
Sorry, changesfile not available.

Previous message: [ubuntu/artful-proposed] aac-tactics 8.6.1-1build3 (Accepted)
Next message: [ubuntu/artful-proposed] mdp 3.5-1ubuntu1 (Accepted)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Artful-changes mailing list