diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-06-02 09:21:37 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-06-02 09:21:37 +0000 |
| commit | 17c6674bdf7afe2f1223a226499a519d9233b417 (patch) | |
| tree | 83f1194df3578c9669b9285f66295380da2fab01 /sci-mathematics | |
| parent | Add virtual/emacs and app-emacs/haskell-mode deps (diff) | |
| download | gentoo-2-17c6674bdf7afe2f1223a226499a519d9233b417.tar.gz gentoo-2-17c6674bdf7afe2f1223a226499a519d9233b417.tar.bz2 gentoo-2-17c6674bdf7afe2f1223a226499a519d9233b417.zip | |
Add virtual/emacs and app-emacs/haskell-mode deps
(Portage version: 2.1.10.64/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/agda/Manifest | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/agda/Manifest b/sci-mathematics/agda/Manifest index 3f551c2cc9aa..2faba0a510e1 100644 --- a/sci-mathematics/agda/Manifest +++ b/sci-mathematics/agda/Manifest @@ -16,14 +16,14 @@ DIST Agda-2.3.0.1.tar.gz 612342 RMD160 5228de0bffc63b6604c4d2263fc2a5587262c6ec DIST Agda-2.3.0.tar.gz 608029 RMD160 759a5d057def93ca6cd87f5e40f5a32953fbbad6 SHA1 128fcca71d1c1ddc2cdbfeb61e5ad41ad4d7ec97 SHA256 608e130bd33a1c14ea544b46bfb55c0c8e31ab43952572df38df90d086e30cdc EBUILD agda-1.0.2-r2.ebuild 1234 RMD160 548f429956b77cf1514b6b8b7cbe1d48bf2966d8 SHA1 970eaae13da56585a9c2fb5d96be5162405b17fb SHA256 f5e5b1f82c4197d1fd820a54e9273c48074229bf0dd75a78f1ac11d2c744c48b EBUILD agda-2.2.6-r1.ebuild 1350 RMD160 39158bf9155e5b46bce03ad1520b803829d6bd7f SHA1 40b51ac6f2b6f6ad88e98aafcdfc98487dd3cc94 SHA256 3d17da7d37b43cfe8f3fb3391d226bb33e9323330d52091027a89b2e1be0922c -EBUILD agda-2.3.0.1.ebuild 2147 RMD160 e093de7e24e0e4a94cc935e4b2b43ce97d695feb SHA1 520c256c875342acd28d21c6145cf1b019a67a32 SHA256 7adcd6b796f13c885786270eb77a83e7377c726b85ea1eca43d42baccc0a3689 -EBUILD agda-2.3.0.ebuild 2407 RMD160 2422b58d0b003a8d46fb099a464c20eb6f793ece SHA1 795a5ef47860f86dcbc7dc394491703d9b820289 SHA256 cfff0b0317ca130d8ddb083391f2cc66485907e3e975fe97d2759a95215afe9d -MISC ChangeLog 3303 RMD160 3c8e9c938ce4f2099bde737db047d7e1e5a7b8e6 SHA1 b987e9ec71f298201e9c09ddde0b04a02abb784d SHA256 ec7d0b68b3b7184ec6d6bce44990bfb0e5e76f516c877d1353d64779c28cc8a8 +EBUILD agda-2.3.0.1.ebuild 2149 RMD160 83cb687381054f31fa8cb4fc7ec908382860950b SHA1 64db4b8175335026726b17ba46ccaf87175dd947 SHA256 ee92f730ba6c619924a16a2f11be1c64201b387e7bec08b6243ee6d5a793117a +EBUILD agda-2.3.0.ebuild 2409 RMD160 6ccf8a2e5b6b1b7bd3923da61a867c5435f7485d SHA1 59983199de54194fb18dfe19e5872e6001116c41 SHA256 a8efb028044efe476bafc2664cb29253849d1407563a2306d5d7bd9ca2f01340 +MISC ChangeLog 3445 RMD160 d99a8901c41ed89f3ec26989dcb1544e8502e3c7 SHA1 16bb761278fea8fe601f9517f00d69969ec1fcef SHA256 e92c256db1e2a9c343fdde10414b6b57a970adad089c15e60bbcf76fdfcf56a5 MISC metadata.xml 668 RMD160 466ee13a2463be6ace75b275eb851eeb2a37f59c SHA1 3f9dcf39927834481b84649e667c144d22509a32 SHA256 165c4a13bd018ab925d952bbcc5bfbb90fc3e52a48c0826d15002a0b4f5857d8 -----BEGIN PGP SIGNATURE----- Version: GnuPG v2.0.17 (GNU/Linux) -iF4EAREIAAYFAk+IPysACgkQoBEVQmGOlx+F7wD/c4DUttte0wUxSP1il5jtOqZ8 -XIJmbGhw9htI819gLH8A/jEPPQ35jEy34QHR7SfaD7OllNvRh+GrfvqK53dWUZJR -=turT +iF4EAREIAAYFAk/J2x8ACgkQoBEVQmGOlx/dkAD+Namt03JFk2H8PtU5+uY7RhdR +EEeqExO+oCjekJIynWUA/3LbGFnCYiRKmrMWzPLzk8ty8NGp0C7UO6dRjRS31I2f +=Bo/C -----END PGP SIGNATURE----- |