diff options
Diffstat (limited to 'sci-mathematics/agda-stdlib')
| -rw-r--r-- | sci-mathematics/agda-stdlib/Manifest | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild | 4 | ||||
| -rw-r--r-- | sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild | 4 |
3 files changed, 6 insertions, 6 deletions
diff --git a/sci-mathematics/agda-stdlib/Manifest b/sci-mathematics/agda-stdlib/Manifest index ebf29755a4bb..fba24e394bbb 100644 --- a/sci-mathematics/agda-stdlib/Manifest +++ b/sci-mathematics/agda-stdlib/Manifest @@ -2,6 +2,6 @@ AUX 50agda-stdlib-gentoo.el 58 BLAKE2B e9b9bef913e26c63e4b0e19a1e4b5c0e370959689 AUX standard-library.agda-lib 55 BLAKE2B 057e933b07b291fd505f2e64f43b087c2aa4f4828ba2a03b5a53b9cac0f0fd0ab1f523c91efd6090e34e376dcc61d90bc5193063b6f07280c0eb2d688a07dedc SHA512 b1e2cbffe4b99157661fe6f4685580c7524890735db0a20ae1942e076b00d0df13624f587ea7584319e5665484da63beb3e0e5c77226bdbe02a4a80fa33a17b4 DIST agda-stdlib-2.4.2.5.tar.gz 253379 BLAKE2B c635040892bf940057bacf35f85fa6b7e3b49d1877ca7310933c27312b37566f3df077ad021d34e7855daa1e23b2495df82fe288e8416a11f630beeb313ca027 SHA512 b15ed5838916240c8602fe7a4bccddf43c71ab3a18ecb5a6dc85199b908e261b04cf794a4d93c90af0a9263a36603c392280639ace7fecead0c39269c2623302 DIST agda-stdlib-2.5.2.0.13.tar.gz 264701 BLAKE2B f35b419aac1b80af86217a86fb8e21a2f3427ef9629c8f2e284036859cd89da16ce1b64ceb87f8a3030b5bdb2a68b4f59f74a717fc1e13378ecb20cc6b28f59c SHA512 340a7b9cb15793cdbe99f558a32eaab3476b94b4d43d45bdc92c6b368197d075c977fd2f6ce0c5b0baf584289a2218b07dd030ad2b83f6d9e4bc7effee91eece -EBUILD agda-stdlib-2.4.2.5.ebuild 1916 BLAKE2B f30b6d5b1eeb31859e0bd6b557fb113fc8ed1eb3dbcfa192b85d8e5cf004b170d5b747a09b81a94125baa457f19abdfbf422b41d24b856ef95a35edc1bb773a5 SHA512 83c74eee1022fda2fcf36346aa3017d3f0a73994037187ef674723ccb90f761c37ed5d75294452d88074e8e44541452edccbc4bf5c3286147f3067923eabbdfa -EBUILD agda-stdlib-2.5.2.0.13.ebuild 2177 BLAKE2B 9d52c7d2840ffb17bea6d15465d11ea5fdf36c0302009ea4950603bfca8b69ae00b7ba18d12afd02a88964ee8a949c71fd8dc1bbc3be25126ca32fbdfe951245 SHA512 bf10ddd12a01feb400944e0b63d6575dc6c2cfd54f8651f333bb8577e03ef6ce714581dd5ffe077f906746babf65b511df0b1f6e87f5bbf51ce4e6e0e6dcfec5 +EBUILD agda-stdlib-2.4.2.5.ebuild 1914 BLAKE2B f76f7e595d75dcf99b1e6968fd2b1c458e951b1e2807f7110261830cad2b1b436964c826764ec59e5093712dd6ca1b999746b1321a00d902f9e9891bd9ef01cd SHA512 40c9829fe63f6041253dc022c072fc1eca9e8fbdb1945c6d2f89e278cc051df05534397919691b52638a46e656bd6455db185f0dccd1899d581c85be0c6708d2 +EBUILD agda-stdlib-2.5.2.0.13.ebuild 2175 BLAKE2B debbd1f201004b20b3e41ad446eac17e2e5ae53175d2c5c56e1a35e94239835d337f5f87bc9b2f03b39a8b7bc1f52476cf02147f5c47fab5ce9e18aac4086e25 SHA512 18c5b73a3dc72a8ee6839381428f27617d299f7c0f61af6c10ce32279e9d50b43b6a36ae02ed675ee1a196914d7f1a2331318976e038c6fc827ec66f95cc9a23 MISC metadata.xml 658 BLAKE2B 5c799efce1321e2223711ae7626794d6f558fbf40b86b29c3d7bec31c746558e4cbcf1b0040feea20c648a02da876485b7d899afabd416c2dc2a0d302193aea6 SHA512 d1afae7ae946e667e796060d28ef006a47823de3b30c5e493dcba4a606a585b52308e4740b780f88fb7a9b69d1e534bc35514d31b030eed74b6439507e1239c3 diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild index f4be8e1439ec..be6d6baf3910 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.4.2.5.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2016 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -7,7 +7,7 @@ CABAL_FEATURES="bin" inherit haskell-cabal elisp-common DESCRIPTION="Agda standard library" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +HOMEPAGE="https://wiki.portal.chalmers.se/agda/" SRC_URI="https://github.com/agda/${PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" LICENSE="MIT" diff --git a/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild b/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild index e1dcba466e3a..4659c6572de9 100644 --- a/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild +++ b/sci-mathematics/agda-stdlib/agda-stdlib-2.5.2.0.13.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2017 Gentoo Foundation +# Copyright 1999-2020 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=6 @@ -18,7 +18,7 @@ MY_GENTOO_AGDA_STDLIB_V="${PV}.${MY_UPSTREAM_AGDA_STDLIB_V}" MY_UPSTREAM_AGDA_V="${PV%.${MY_UPSTREAM_AGDA_STDLIB_V}}" DESCRIPTION="Agda standard library" -HOMEPAGE="http://wiki.portal.chalmers.se/agda/" +HOMEPAGE="https://wiki.portal.chalmers.se/agda/" SRC_URI="https://github.com/agda/${PN}/archive/v${MY_UPSTREAM_AGDA_STDLIB_V}.tar.gz -> ${P}.tar.gz" LICENSE="MIT" |