diff options
author | Justin Lecher <jlec@gentoo.org> | 2010-06-23 14:28:20 +0000 |
---|---|---|
committer | Justin Lecher <jlec@gentoo.org> | 2010-06-23 14:28:20 +0000 |
commit | 4027e4b1ae3fce4e183a70db7ae98594ba5f364b (patch) | |
tree | 7fd8e52c8d3f05ed591f6b038e66b572f6e99e4e /dev-lang/maude | |
parent | Added missing configure ooption (diff) | |
download | gentoo-2-4027e4b1ae3fce4e183a70db7ae98594ba5f364b.tar.gz gentoo-2-4027e4b1ae3fce4e183a70db7ae98594ba5f364b.tar.bz2 gentoo-2-4027e4b1ae3fce4e183a70db7ae98594ba5f364b.zip |
Added missing configure ooption
(Portage version: 2.2_rc67/cvs/Linux x86_64)
(Signed Manifest commit)
Diffstat (limited to 'dev-lang/maude')
-rw-r--r-- | dev-lang/maude/Manifest | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/dev-lang/maude/Manifest b/dev-lang/maude/Manifest index 100000d7fbce..44a6ee6cc86f 100644 --- a/dev-lang/maude/Manifest +++ b/dev-lang/maude/Manifest @@ -10,13 +10,13 @@ DIST Maude-2.5.tar.gz 1574038 RMD160 2e40f9f69dc7bf95169fb645e7d89484f5deb5b8 SH DIST maude-2.3.0-extras.tar.bz2 2871587 RMD160 dd61d0cfa517d29031e55300376b32fd3173bfba SHA1 fcc6f8dab0c26d7bfe03a4bcf37417f6c315cd3f SHA256 0dd0d71cb5a1463c9888303c1ed74c6d373d6aa60a9a45660e92f3308730a54d DIST maude-2.5.0-extras.tar.bz2 3202095 RMD160 5f112dda206467302ea2eadccaddc10d09b07ce0 SHA1 f8bf90adf2f82aa40153e539f0132d9f3c57fd69 SHA256 4eaa9c7ddea3742aef90e5de16aec193e2f2821d9d3b28759b889d219add54c4 EBUILD maude-2.3.0.ebuild 1522 RMD160 fa9c8d847ac697ee4c0a94bad94c21f558e73092 SHA1 36efd203eea054ce66eb0ef55b0edddfb593066d SHA256 e79eaba3df173aeeebf36a9a57f513a17a0dc0661e46c766c9d050a0f9f53529 -EBUILD maude-2.5.0.ebuild 1485 RMD160 2b800e3fea96f322bfdbe67425a732237009212a SHA1 e95351e50f94d2f0e8b6d8512b352e90ed173939 SHA256 07e02fed929b3a331e06943978190e70edf819ec62102b7bd8cb51bdb714ca43 +EBUILD maude-2.5.0.ebuild 1552 RMD160 b81c2300ac771c397a672ae8f83fc216e6862e39 SHA1 eee84e7cf4430239cce87dc30e680dc0b412ff6b SHA256 add8010a8540c09e87ff8bff3ceca2f97f30d1acd7638850dd6a03f4bb14a498 MISC ChangeLog 2460 RMD160 379eedbe46971870c4cbd401a80ae27ec07b2161 SHA1 e9c5a272f15d694ba627a1717021e8fe05572659 SHA256 9aa919c0c817df255d7f36cc14a27b70416b649c8062169abc77fe2ac48c56ac MISC metadata.xml 612 RMD160 14c7abbd8a7ce730cda7958315c67781f89d5e36 SHA1 e5e3f3d01414e8fcb96dfe5b4fd73a8ad2a321bb SHA256 267089654efa86ae5fa39c9a9f24392cf29dfbc24540bc7c76161239b9877c21 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.15 (GNU/Linux) -iEYEARECAAYFAkwiGSUACgkQgAnW8HDreRZyOQCgwLOJMtwWVE+m9duAzJmWlHrl -NeYAnR1K0cZcF3IpKDSf+xRZbLkCypUv -=tLqr +iEYEARECAAYFAkwiGgMACgkQgAnW8HDreRZH2QCeLiVE4gi71/VOtZvCaMMphZf2 +QV0An0vysIh3yZ4hCUKplyD1lG3n03L7 +=anim -----END PGP SIGNATURE----- |