From 7f4641a5788e60c57156ce8e32fa272cf2d53d9d Mon Sep 17 00:00:00 2001 From: Patrick Lauer Date: Fri, 30 Jan 2015 03:05:10 +0000 Subject: [PATCH] Remove old version with unsatisfied dependencies Package-Manager: portage-2.2.15/cvs/Linux x86_64 --- sci-mathematics/agda-executable/ChangeLog | 8 +++- sci-mathematics/agda-executable/Manifest | 13 +----- .../agda-executable-2.3.0.1.ebuild | 32 -------------- sci-mathematics/agda-stdlib/ChangeLog | 7 ++- sci-mathematics/agda-stdlib/Manifest | 14 +----- .../agda-stdlib/agda-stdlib-0.6.ebuild | 43 ------------------- 6 files changed, 13 insertions(+), 104 deletions(-) delete mode 100644 sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild delete mode 100644 sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild diff --git a/sci-mathematics/agda-executable/ChangeLog b/sci-mathematics/agda-executable/ChangeLog index 2580b329236d..aff1fe61d927 100644 --- a/sci-mathematics/agda-executable/ChangeLog +++ b/sci-mathematics/agda-executable/ChangeLog @@ -1,6 +1,10 @@ # ChangeLog for sci-mathematics/agda-executable -# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.5 2013/09/13 06:56:08 gienah Exp $ +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/ChangeLog,v 1.6 2015/01/30 03:01:06 patrick Exp $ + + 30 Jan 2015; Patrick Lauer + -agda-executable-2.3.0.1.ebuild: + Remove old version with unsatisfied dependencies *agda-executable-2.3.0.1-r2 (13 Sep 2013) diff --git a/sci-mathematics/agda-executable/Manifest b/sci-mathematics/agda-executable/Manifest index eb7f08b287ff..c3a89dfe0b1e 100644 --- a/sci-mathematics/agda-executable/Manifest +++ b/sci-mathematics/agda-executable/Manifest @@ -1,16 +1,5 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - DIST Agda-executable-2.3.0.1.tar.gz 1765 SHA256 614594c414c828c87abb1913741db66447c09617d57b92e58ffe445ceffed694 SHA512 8abdd2739a36a952bb754c069717be70e9fa74b55fc048c2877f7d0c6791a5a8f7944b3b3a97be754fd00431ff94b9f7c6f35f40b8376155952c4b9b414890b2 WHIRLPOOL 84b738ef4fb75d7dcff8c9cc0002509ff2ccc9bdd5e27c04472deed6df960047da907948f7d5e585a5e3e8f6caafc05cf2e25718cd9b575e4cf18a0e1e8cd422 EBUILD agda-executable-2.3.0.1-r1.ebuild 939 SHA256 81af8438b4647a6e6150779fbfb260327355e21ccb81ef97a0088ef257b3820b SHA512 d281e6646adb245097a76e5d5cf3d011b7b41c5f2da7969f14d2a4da6d737d901fa9e2d8820ebd09f93a5db32aa713b10010455c1d9017f0ca745a95fd9d4c9d WHIRLPOOL 37da7203146f86e76194b80b884d9a1234ec765abcffff3ec4651d4299c6692a61d1d9fed3154d75dcf05cff95f058db3cc510045a3f7d825e5df8dff2fc7eec EBUILD agda-executable-2.3.0.1-r2.ebuild 938 SHA256 b299d69b9755cdc88da6d94238a0cdf1e79fcdb3e3680a4190ea898c4f44bdb3 SHA512 53f1fb2452ef04bffb615fb4726a9eb07c86fe62dae3eb6aae081578804e8cd6d180a3edc8f0d8fc85b8386732240ee160a302ef6107360a0014aa61eef4dffa WHIRLPOOL da455ce8e900e0ea77c7ea70dc25a373382ea294e4707ce38560ea7951eeb9c616f97fa0b42e7ed5f88b0af8107d5789f89f4d4b63a06b0cf61250922093a64e -EBUILD agda-executable-2.3.0.1.ebuild 780 SHA256 c4667c5d96c5eb1190e6b1c4abe2971b6ab444a94f5f209376511e026e9fc4d3 SHA512 f92a9e81f59e9ba7b9fe42ef204d7e6c7646bf0ad2a10ba82639249bc13a78126f616e9538658b2b931876b7555befc48b305b40a03c50d5edf8594ea9c239cf WHIRLPOOL efd990749fe01c520ddede769f40b5180e390b1c13d1715c7e2ea12f2978b007cf08e3ca4eacf37f184190de7bfdc3e44fce57228cb5ba91a7308fbd672de6bc -MISC ChangeLog 1274 SHA256 cde77170df1c4118cd4d99be6f55209a38772fb1eabc11c2aebfafa88761f7eb SHA512 0915557c1dbeaff3ed6d349d21c14a48e5bf50e812756d7f34661b224afc9b64a0c47468ca640d88f729269442a48de9ba3361479fd77d2d242d452082863846 WHIRLPOOL 60afaa2542e24da9527479e2f53764e49db19c03f0b859b7c5638ea028ab9f642772ad8442617433750a253de5b78dd934394fb0a67ef54574dead70d80b7e63 +MISC ChangeLog 1412 SHA256 54113c41ff4a1c071e6056c4b40b044892ef799f4451ea3dccfdfd768b966bee SHA512 da6f6d5c529f011a13cd8a4cfc03b1962bf5fc74a3d294d40aa0c49efa31c879da32ae9a238fed1c4f8fe0081438624369fc35b35df8356f4b66c43f3e7c92ef WHIRLPOOL a95c4593a3638bd951653b39a4c09112926aa7a402c600ee00bc838bd5c4245ddb8b993e9fdd1805b9e0e9b44fe70a0b60e01f0e4d9d909d51b60dd2236ed0c8 MISC metadata.xml 448 SHA256 5e3aedaf07222facb5978ed2def421d74b635e23d66259ea5054abb89c80b6c7 SHA512 1f96c1e7ec2ba6eb0e67e38e8c80cd191dfe07a85a8d6abb85811b5b43093f86792808f41e725eacf97e452d8fcc51489db1b166b2278e420b3d8368a8c6fb8b WHIRLPOOL 710e328314caa829083350c670ef55dc619dab54029c5908bb3183d872a91ca72ff74d2ffd0bd1f4e9d39f2c05faad0d23d05960a51d93541eec2770a7bb8fae ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2.0.20 (GNU/Linux) - -iF4EAREIAAYFAlIytngACgkQoBEVQmGOlx8MggD+Omi4UD8Krkt6ie4jC7CqI+UI -VTdUXGY7ghNKHifmacQBALZ0uTSANAJgH8K1g8AtzIte/TF9OGPt9pezpsNF4BW0 -=eYf2 ------END PGP SIGNATURE----- diff --git a/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild b/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild deleted file mode 100644 index a9f1e550a14f..000000000000 --- a/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild +++ /dev/null @@ -1,32 +0,0 @@ -# Copyright 1999-2012 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-executable/agda-executable-2.3.0.1.ebuild,v 1.2 2012/09/12 16:10:46 qnikst Exp $ - -EAPI="4" - -CABAL_FEATURES="bin" -inherit haskell-cabal eutils - -MY_PN="Agda-executable" -MY_P="${MY_PN}-${PV}" - -DESCRIPTION="Command-line program for type-checking and compiling Agda programs" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" -SRC_URI="mirror://hackage/packages/archive/${MY_PN}/${PV}/${MY_P}.tar.gz" - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="" - -RDEPEND="" -DEPEND="${RDEPEND} - ~sci-mathematics/agda-${PV} - >=dev-haskell/cabal-1.8 - >=dev-lang/ghc-6.8.2" - -S="${WORKDIR}/${MY_P}" - -src_prepare() { - cabal-mksetup -} diff --git a/sci-mathematics/agda-stdlib/ChangeLog b/sci-mathematics/agda-stdlib/ChangeLog index a07d6b8b3df4..60e2aa812b0a 100644 --- a/sci-mathematics/agda-stdlib/ChangeLog +++ b/sci-mathematics/agda-stdlib/ChangeLog @@ -1,6 +1,9 @@ # ChangeLog for sci-mathematics/agda-stdlib -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.7 2014/12/14 10:46:53 gienah Exp $ +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 +# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/ChangeLog,v 1.8 2015/01/30 03:04:58 patrick Exp $ + + 30 Jan 2015; Patrick Lauer -agda-stdlib-0.6.ebuild: + Remove old version with unsatisfied dependencies *agda-stdlib-0.9 (14 Dec 2014) diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index 35769d7f4934..f2cbe3096c5c 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -1,22 +1,10 @@ ------BEGIN PGP SIGNED MESSAGE----- -Hash: SHA256 - AUX 50agda-stdlib-gentoo.el 58 SHA256 e14091719568a863fdcdeb032b398b47cc5dc22d44c5552ade66daff2cd10946 SHA512 f45f0e59a1becd5d2b13b452219cc77b553dad9480a848ea62f276e106ab911ed1594e826fe487b886fe9b6e8aadcfde47de4fb1b0ab144ae98b6ac9eb385cfd WHIRLPOOL b03e7359f9576887f35167b208cb9e6c4b599afa9bf963a51fbd8b1c13d636b56d2b20d769a78f567f1c9f956e048185eb5dd45b6281931e1e0cb04d11b6adce -DIST agda-stdlib-0.6.tar.gz 216273 SHA256 f3b22d104a1d91e558e833ff968cf63dbe239601e15d91e380ef791f75d82060 SHA512 38900674cc95deec87fd5a61843904e05ea256b89401741d7e2673801953f87fdb5b97e0972b2dfd74195c7a85121db0e7abebb69808227f85ecd8ac6702e6cf WHIRLPOOL 7decc6a7a35221954c7affbb595ec14ca9a079db2e6f7ac582e2b6834f6b345bc63a1162a2a5a3b9c8012ea200ad419c723544c04d4757e207d51819d083ed6b DIST agda-stdlib-0.8.tar.gz 246158 SHA256 e8b8380bb03871ee3348aa2df32201a387ca0af02171d32ac58664f58467ed0d SHA512 5ac3bda61eb209a4db650edbbdfb96b73cb58b24e43842957696a20a93454d9846a19e4866af0b736c2c3390184223473da75277e490a6a8348531431ca27af0 WHIRLPOOL ccb5f294cb303b7d502227a6f908fa4904c56c55af1c3897753da3f39c7271cd07c292b56e030b8d80f97e6d6a8ad9f0a5fba1f22e0d169bdb4cb79e6e2db060 DIST agda-stdlib-0.9.tar.gz 248895 SHA256 923b487876235863e4f778aa40c508984b26636d50d531f0f31ca9dc45ab3717 SHA512 aa297e250c5d98ca3f267c5ef95fc33999f9b120256c1983774d814b940a0f5952e524024908e3716af71ad544a586576c1bae6cca19e63797b1d4004ba88413 WHIRLPOOL dd200c61e91e397dfc7de8f6269edaefc20aa3daf5ead9e9fbab62468e5385481a74d5cec62df88e5c5304e06dfbd47b1870f71f70aba7fad29eceb0d836e2b1 DIST lib-0.7.tar.gz 226400 SHA256 631a33e8e27ead32c85cc92a0a85849744d3b2960ef9675736d54288267ed2fa SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 WHIRLPOOL f51ba5c3430e9a8a11d8eacab3b6121c730e4a437286b88f743fc2521bf1941a889d5274dd4aa7f4fe283595b5ac29a8a35735d873eedc94505455178d167536 -EBUILD agda-stdlib-0.6.ebuild 1115 SHA256 33a8020d46f3a71f270a1cbb90401dfcf17951d1525e7bc1c9a7b3f1cf7234e9 SHA512 a9b6ae898f748b3f61a78336b6e7f5dae7433bbdc767a8bbf954d60b656616e9daf26bdd43facc7b643790720ddaf47793830d980eef8871d46421861119116c WHIRLPOOL e4eb24f8e901ea04a3e00b8b5026c8d519f1e915cb20978df0613d87089cb66ab066d679449fd3bb2ccb5015d75a49f3784d15706bbbaf805e181075c01ce306 EBUILD agda-stdlib-0.7-r1.ebuild 2214 SHA256 0135405bc6ae440443ad520a737b9449f1109f0bdd784992abf6c173339753fa SHA512 4d6e427dba6fc04985c7f5eaebd5cff5f5f338267fbfc932979e825f9832a05e4bbcead2bddc7782e29352e329bc056acd4d4b1334e2c557ffdb05ac820ccd06 WHIRLPOOL 5285e1f2581dc2f99a6979e8217dc5f7f583b1bc9c6251f6f58ac12615e7ef5bb7c997c1a12aed579dadb8e595820c22660f31fb3177ac528e7e9db418efd782 EBUILD agda-stdlib-0.7.ebuild 1778 SHA256 a1d1505200364dae71365177ec1eb2deaa06710816116445af9e7c811cb878b3 SHA512 20d31b4784d89b6122ffadfd72ba1710a02e5ce06bb0780f588208ba2cde333140e0740b917e9f74894f80ae09274a048b421604da53f7e239aedf463ce74a31 WHIRLPOOL 281760de3bd2004c24b4b4f9dd4040ec6c7227140e55b82864af5de3d4e0ae40c71098641b12ebea9aaa255d03220b80009064dfaeff86eb5e8709e5146a7829 EBUILD agda-stdlib-0.8.ebuild 2049 SHA256 618faf148d97889717f4c885933e2f4d06fc40eed7e7a5f949fd7c1637677aa6 SHA512 195a58d0b4234e6e5a33e7f8c160419d0b1caca8fe945740c2113e0ef6c3bf28e9b540201923b4c9b2d9fa7378735c3c988f5d2a5cf3f1510c1627547a028d4e WHIRLPOOL 6fbcafce9bb6208f9683a249485cfbb13c28981fb54ff28da4058badc38c6f35be8a47b5d79a66e4e6a67419507827de011ab42e265fe2ef75edcb05193c935c EBUILD agda-stdlib-0.9.ebuild 2049 SHA256 0273ea9381b06071631b2a230dc031a6662b75f96f7857e87fb335b0ff351a58 SHA512 a99df09c630b5f10ff36f6d9020c8498cbcacb08c1c741bd4bec8ebb7b33d28001f1c25c3648529b4d94cff455e041e4f181ca053100cd3d88af1d833d2ef0b8 WHIRLPOOL 670a7ffa181fed3d15279538e5e353f4637f178e0d7f8425df2f0ff490f1ced373a5ad838e4fea55ef2ba1a57a4970cd9b5e4d028cce210d76545c2feb061907 -MISC ChangeLog 1882 SHA256 1c96755b1d2b6d73243a2818015a8e3fdcf8b80305f9f4366e7d62c983be2e2f SHA512 0f97afd9080b495c19aac76dc75e1c515e0d3c6f6d8bcd5944029c29af037728e078cc45d7dc11d1f7572168a2476671c8e571f5874990405dae5c7c4636cbf5 WHIRLPOOL d5a820bb40ddc28981e00a260e7f2d378e77abbbcea1a87c841342694e57f894752cda2a29c5a14e09d108cbb0ad63701da681d12566518499c54dfeec8269e1 +MISC ChangeLog 2010 SHA256 97323ee0a444b2ad2a20ec68442adbb02f84d28cb81bdb5f26a831f72ff238c9 SHA512 7a3aeb72451f49a806a654ce502b91a339df2257613dc9033c2b1a7c94f3864f2f4c18d6f55b2c7e8da29afcb9cb50cc39c1949b2bd05ea89580cb4429cdcb83 WHIRLPOOL db7ce3989fc7579be183ae60f406299ad5bf7f7d6d31425ee975a370f894090d917b3f8eb44af7c8f8b865e2d6b1cfb4ca02e993cb88070944676b12f2f8b517 MISC metadata.xml 366 SHA256 c41fd8efa2f976bdda4d3a30d8ef583c3978bd88157791e2873646aa21d222a8 SHA512 84a809638cac53987f8206e8dca03b50eb6b50b24fad12d986bf270adcaa2b71f6f2e264898d1eaab9b9945397dc65246866249b14182c095146d3b6cf5a25ff WHIRLPOOL cac6530be82252ec18ad15ecbc9a38af081f6137f8fd7018813d8903c7a339704243df53fbd245bd7c92328d47ece3b29785153115ecd38a0bf2be05f8c0b8e5 ------BEGIN PGP SIGNATURE----- -Version: GnuPG v2 - -iF4EAREIAAYFAlSNaqMACgkQoBEVQmGOlx9esgEAhQOK8PQt/g0ZaTNXNbogsEZj -5Dn1+9uFqHV4yIrskzwBAKeyZr6aGxKOUtyNpX0yVOpxrenkq64YxlF7uY+v8oCz -=qED1 ------END PGP SIGNATURE----- diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild deleted file mode 100644 index 8058499d8f78..000000000000 --- a/sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild +++ /dev/null @@ -1,43 +0,0 @@ -# Copyright 1999-2013 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: /var/cvsroot/gentoo-x86/sci-mathematics/agda-stdlib/agda-stdlib-0.6.ebuild,v 1.2 2013/01/10 12:31:25 gienah Exp $ - -EAPI=4 - -DESCRIPTION="Agda standard library" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" -SRC_URI="http://www.cse.chalmers.se/~nad/software/lib-${PV}.tar.gz -> ${P}.tar.gz" - -inherit elisp-common - -LICENSE="MIT" -SLOT="0" -KEYWORDS="~amd64 ~x86" -IUSE="profile" - -DEPEND="=sci-mathematics/agda-executable-2.3.0*" -RDEPEND="=sci-mathematics/agda-2.3.0*[profile?]" - -SITEFILE="50${PN}-gentoo.el" - -S="${WORKDIR}/lib-${PV}" - -src_compile() { - local prof - use profile && prof="--ghc-flag=-prof" - agda +RTS -K1G -RTS ${prof} \ - -i "${S}" -i "${S}"/src "${S}"/Everything.agda || die - agda --html -i "${S}" -i "${S}"/src "${S}"/README.agda || die -} - -src_test() { - agda -i "${S}" -i "${S}"/src README.agda || die -} - -src_install() { - insinto usr/share/agda-stdlib - export INSOPTIONS=--preserve-timestamps - doins -r src/* - dodoc -r html/* - elisp-site-file-install "${FILESDIR}/${SITEFILE}" || die -} -- 2.26.2