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 <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/trusty/+source/mona/1.4-13-3ubuntu1
-----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 <[email protected]> Changed-By: Logan Rosen <[email protected]> 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 <[email protected]> -----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-----
-- Trusty-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/trusty-changes
