[ubuntu/trusty-proposed] mona 1.4-13-3ubuntu1 (Accepted)

Logan Rosen logan at ubuntu.com
Sun Dec 22 07:00:14 UTC 2013


mona (1.4-13-3ubuntu1) trusty; urgency=medium

  * Use dh-autoreconf to try to fix FTBFS on ppc64el.

Date: Sun, 22 Dec 2013 01:54:55 -0500
Changed-By: Logan Rosen <logan at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/trusty/+source/mona/1.4-13-3ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 22 Dec 2013 01:54:55 -0500
Source: mona
Binary: mona
Architecture: source
Version: 1.4-13-3ubuntu1
Distribution: trusty
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Logan Rosen <logan at ubuntu.com>
Description: 
 mona       - theorem prover based on automata
Changes: 
 mona (1.4-13-3ubuntu1) trusty; urgency=medium
 .
   * Use dh-autoreconf to try to fix FTBFS on ppc64el.
Checksums-Sha1: 
 f418003b7608ec98a734a9698dab0eba914bb42b 1728 mona_1.4-13-3ubuntu1.dsc
 a1e6e745e8f6d7242df55325983a28f20b737d30 6438 mona_1.4-13-3ubuntu1.debian.tar.gz
Checksums-Sha256: 
 7789dd634975b8efd436a3de41fe9ffe8f092990ebfc3159c3f0098962f0dce6 1728 mona_1.4-13-3ubuntu1.dsc
 fbb2771f67a0ab1f07fe31d828459d7b4dbc0785eefc675f1cff3aa39daa60c2 6438 mona_1.4-13-3ubuntu1.debian.tar.gz
Files: 
 1ffdd718bab85de5591734fd2c18059d 1728 science extra mona_1.4-13-3ubuntu1.dsc
 eaf06ab763d71fa0a2d267689f8cc67e 6438 science extra mona_1.4-13-3ubuntu1.debian.tar.gz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.15 (GNU/Linux)

iQEcBAEBAgAGBQJStozjAAoJEKQhGXXqMwVDWIQH/05ryT4Cb6BArf9FQM7I7O0N
DTgAEn8THbrJpXJpJBukRxDlU59yuUhQXk2ImtYb4ozibu3TyZwvRHTEClYaoMcq
tQ1iWjKMFoI/eM+93cTJW1JYZVXFxCfHX3uvDrGF6miXMPCVDFOtAwBk3Xc7IUCp
su7zIJkjxpCHNnA0Oh7sQHwiUl2Ysm2N3NZteXQranSq2rlynyNUrlJ358xKig0x
1C/H6FQLb2ph2asvOZkANszGd0B0tAd0gS5/eI6sNlcii8vT0C8QaNjqtYpaBhrr
t1Jq390yZoymYARSEUcVUQLDHrS1Gcb72BxGzaS5BxI/6gtPq8mD+7QT72RjM6g=
=QB3m
-----END PGP SIGNATURE-----


More information about the Trusty-changes mailing list