diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2020-05-30 11:44:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2020-05-30 11:44:06 +0100 |
| commit | f516638b7fe9592837389826a6152a7e1b251c54 (patch) | |
| tree | 8bfecb640b7b6403d7a3d662d923eed630033da7 /sci-mathematics/agda-lib-ffi | |
| parent | 1a61119f9f7b057830e2ce0563f913ec86f282ad (diff) | |
gentoo resync : 30.05.2020
Diffstat (limited to 'sci-mathematics/agda-lib-ffi')
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild | 6 |
3 files changed, 7 insertions, 7 deletions
diff --git a/sci-mathematics/agda-lib-ffi/Manifest b/sci-mathematics/agda-lib-ffi/Manifest index a507a1945291..177f83a141d9 100644 --- a/sci-mathematics/agda-lib-ffi/Manifest +++ b/sci-mathematics/agda-lib-ffi/Manifest @@ -1,5 +1,5 @@ DIST agda-stdlib-2.4.2.3.tar.gz 252558 BLAKE2B 2373b9d395a64fe7f23bbb583d8cfc5b2572f5aa3ea98b687e8f122ae1accae835e4ed1ebfe7252a5bc5e519898b9ca39e1f19e16bb9f4195246f9904cc2c9af SHA512 d503fc2abd18ab8c367a1947301e0302a6ff9fcbb6376a01f016aa2ab7a9a967e5adb96c5013db1892f4acd9fab62bead11c58c4d443784aff1e42ee4ffd4aa9 DIST lib-0.7.tar.gz 226400 BLAKE2B 4203486fa35d6dbfdcdfa227da43c771e8e2c78d906c06dae8cc3eb473c6ac0029554b98a0a665de80f1d1b5806a82ef68491050b0f90e80065a08ab91dba7c1 SHA512 557aa7b9b143f2e4a2249881a98c753035962bc5d9222241e6b4fe86aab8642986aa9db7ca6fc2b2da8486f9294ff30c4c2edfa0222ba95d9216ed2d0e00c114 -EBUILD agda-lib-ffi-0.0.2-r2.ebuild 733 BLAKE2B 896337f143df0c75aea375969ae9bbc8fac8cce9c821d52a600e4af496897a7304e326141048fdd96327f7fc859c91d77bc66e560710e47765d8925d10f8b17a SHA512 92182ff0f4ff71d3d6f67b2a01dd7a066d21a4c6054b3bd9e4333ed04741b781dc59b8e8e72a5a73b7d3e0e181b93adeb5f3f093ad746a243f38a01bdffdaec1 -EBUILD agda-lib-ffi-0.0.2.ebuild 656 BLAKE2B 89fc97e68ff3067389c6bec6753985b69d167b92b7db05d1cec3235fff426f5f116857b743c843aeaa454e627bb2eb75459535f14a8a49307c4403d9ee7bbcc2 SHA512 08e7debee9a5de4091376447e0aa09186c37878bd745cc6bf96d838f08e442b1b06125fa42c9c9e3e9f4133a4480a8add95fdd69c3938b4807b6238eb7a32140 +EBUILD agda-lib-ffi-0.0.2-r2.ebuild 731 BLAKE2B 84aacabeb83f81b599b457e62d3541c17d2f5e7d5880264a27a560c79a57490666771c602b127e3812fe671dccce21af7f0ea3531b1ad50ac5c90d27821481c1 SHA512 a7870a30ca78b00f3fb4645d394fbbdf881f4e87b189cd590f4587212f1f46dbcb60a73511278305f54768eaf2a4b9d8a52f94d4f2701dc9cfa391f4f1dc724a +EBUILD agda-lib-ffi-0.0.2.ebuild 655 BLAKE2B cbdf24bdcd0027509b5cee43224f9b1c5e65c4c67263334a683ce848118c05967ebb8751da3742cd90678fe34b8fb06eec77fb33fd9e07f1a8bf02cce91d824e SHA512 ebeed8e5ae98c0a1b2f18bed48cb63cdd8c56d402ee7b61ea513ebd52c1cee744974133dfe3c00a255623c878726f89c871b9a7a94edf2d8406d31e39777a739 MISC metadata.xml 427 BLAKE2B a47c114964a36abbee07f66f13f5af553cbb11bd3e703397ec2650cb13bd23b9971ea0b5dc0692e606efe719b4abfcdc6c3882a091f146c27b173300d753b8ad SHA512 5dcdfd777392fbc8d215e263cf2ef8be706ebb4790bc79f551d19f25bd061a144751b5c4ee39b75cd974fd996239c70a9ca14bcacd512503d0189dec98faf30f diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild index 44bf12e940e8..9f4b8f627c6c 100644 --- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild +++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2-r2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -13,7 +13,7 @@ AGDA_PV="2.4.2.3" AGDA_P="${AGDA_PN}-${AGDA_PV}" DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +HOMEPAGE="https://wiki.portal.chalmers.se/agda/" SRC_URI="https://github.com/agda/${AGDA_PN}/archive/${AGDA_PV}.tar.gz -> ${AGDA_P}.tar.gz" LICENSE="MIT" diff --git a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild index 6b8ed5ad076c..a547e511ba11 100644 --- a/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild +++ b/sci-mathematics/agda-lib-ffi/agda-lib-ffi-0.0.2.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2015 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=5 @@ -11,8 +11,8 @@ inherit haskell-cabal AGDA_P="lib-0.7" DESCRIPTION="Auxiliary Haskell code used by Agda's standard library" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" -SRC_URI="http://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz" +HOMEPAGE="https://wiki.portal.chalmers.se/agda/" +SRC_URI="https://www.cse.chalmers.se/~nad/software/${AGDA_P}.tar.gz" LICENSE="MIT" SLOT="0/${PV}" |