summaryrefslogtreecommitdiff
path: root/sci-mathematics/twelf
diff options
context:
space:
mode:
authorV3n3RiX <venerix@redcorelinux.org>2017-11-26 11:42:28 +0000
committerV3n3RiX <venerix@redcorelinux.org>2017-11-26 11:42:28 +0000
commit89c6c06b8c42107dd231687a1012354e7d3039fc (patch)
treedad94f4da8a6694f3cb99f7048be2f9cf5f78f97 /sci-mathematics/twelf
parent796cae72cf9ed18ba01256ac1f83a686a2a76036 (diff)
gentoo resync : 26.11.2017
Diffstat (limited to 'sci-mathematics/twelf')
-rw-r--r--sci-mathematics/twelf/Manifest20
1 files changed, 9 insertions, 11 deletions
diff --git a/sci-mathematics/twelf/Manifest b/sci-mathematics/twelf/Manifest
index 6b56bbe3c831..b6adf05fcc21 100644
--- a/sci-mathematics/twelf/Manifest
+++ b/sci-mathematics/twelf/Manifest
@@ -1,12 +1,10 @@
-AUX 50twelf-gentoo.el 104 SHA256 1d3382c18895a3f5a6b4c1aebc5d9fc2d2aa94a7c196d5b5ccc9a7bc27a1498d SHA512 b6bd1f73b2224c37f783d0b2cdb16cd4e5435280c7448fd7600398ab2806edb574ec4e811adf26bfc1fbc9d0c311dbb521022b2a9dacbfecfa1ffef488c764bb WHIRLPOOL dea650f36310f83a8b4d3ac51cebb19054e48279e589b4080fbd145f5678be2c0555f1594a28443eebe118873639abf933e58a5ac7f510b1c06397d8248876b5
-AUX twelf-1.7.1-Makefile.patch 1298 SHA256 77038dabdd5fc990d78cba18ce42f598a2ec5a94c85a38ff6e15b08b2517853a SHA512 ffc7c147790b180c50eb645b896ad86c35b771ad516d2a85998f8edfd0e1ff1db98d1880b6e8b02e4ddcf8f218761ab26ddfee9bd5ab876b3bd1caa6a3e0e78e WHIRLPOOL ef6e408c659284ea647692fd73dfb9512138ec1287364bd59fac255e7ae6fcec1ac94233c5fd2e695bf03ee73a7b2607d1e00437d97815f8fe3c4d6dc0bebcfa
-AUX twelf-1.7.1-doc-guide-Makefile.patch 498 SHA256 1a71e3686e1d84afbccb39649b1fdcc44a44bc458fd4ede2f323ee7b12a4dc30 SHA512 240192028c9dd9a953ff9778bc9753a08dffa0f3332b72d4d2cd64a594f32fb183092ce1a4ace9fe9e0123d469be50983e4d081db989165beba33212de74b3d0 WHIRLPOOL 62ffc47f3448b75325f051f62a7b2ef7bf60293927f1d7b16a3d441481c9e18602a5c56e8bbaaa51d5c0a33ec5b574a1887f10ee923b241156ec8f3c1e3c9a52
-AUX twelf-1.7.1-doc-guide-twelf-dot-texi.patch 386 SHA256 a21601d5ee953358fc155a96a0167b3fefae2deea9074f7bd53af287836c6df8 SHA512 60741e8df6e2b200f22c435ccf2d092624b601ad71ffc1a3388e9ae1bca6ef0d92092940075d9786efed6218d82cf1a344d3a433eabbdabe2514ff985a6948b7 WHIRLPOOL 1323969b3f369de40e4f6d73b1832e7e4dc3c022fefecf00a6c90ff5bc17cdbe345e66d530589751f87f823c035e72e55ed05d3beaf58aa742e2866db64c57fa
-AUX twelf-1.7.1-emacs-twelf-init.patch 813 SHA256 e3f2ffa9dc7e6c1d05a23ede172199a005411be3061e3d3dab65fcb126db4afe SHA512 b45415b57dee44da7a38ea1f40b58526f0f69d012a16c316ebd6c3c9c856bbffd270f034d172b4ddeb083b7289c87eabf805a96fc9475f501038fb6c85a0f571 WHIRLPOOL c48647209e071b8795fdfb8be44c8397ed814a219dba58801cccb82626025ea1b6132289f63b9d475162df3ab0365b88f38e6b797d557047872e1e9c1e0f6aff
-AUX twelf-1.7.1-emacs-twelf.patch 602 SHA256 30a8fca3da1b64d06ecb7572c62f832fba7cb2c329d73f86aa74714eba8527ef SHA512 e5fd550210b7107fdafc27906dcb22318d1b0b6044d2502cfb968fb3b5d4baca5535cd6ae995638f38395d08641e59f5b87c76eac190653a6dad89bf52eb1a97 WHIRLPOOL 647290f3c6a42e5075baa78e6683a496b6e0472e0346e4ad85d91978f09c1d1137864452f7993e2a6bb99a6b24f4615099c4e8d09aa95deb53af483de37a6006
-AUX twelf-1.7.1-mlton-mlb.patch 11244 SHA256 cde36be7fa9c21871926cc772b3b16fcf0a8b842ee55f9d78f3f875a0927491a SHA512 2d0f42399e444cbb736f38ad7bdc54f51322c17c010b273c365d9db9a1e6c045c19b872d4b5c1e50444559a981aa5569764ac859c7702c116c97c935fd959bfd WHIRLPOOL 1ca8368e5b4a96a0e175b496f8958782f1b4ecfcd4e49c024f8e6f2f711ac4e4db6e615431facc6b3d7a09137f0a6ac26de5fa690c4daaa9add8434d1579ad06
+AUX 50twelf-gentoo.el 104 BLAKE2B 0cff252b443e4b24d0c4e3068f7d4d2d4c5cdd0213d7fe6461502cb4eb7d8afc7dd6cb02cdfa3182900a3dfeddc19270240a6b3932435d21d2e5284bfa3851be SHA512 b6bd1f73b2224c37f783d0b2cdb16cd4e5435280c7448fd7600398ab2806edb574ec4e811adf26bfc1fbc9d0c311dbb521022b2a9dacbfecfa1ffef488c764bb
+AUX twelf-1.7.1-Makefile.patch 1298 BLAKE2B fcbbb4d80e2d6da7594f3385bc38e4f1bf6be775e544797ccd303c1ccae28087cf92ef5e739ee1075015880461ff28e0c55304e9961f8a727edb2b526a05d162 SHA512 ffc7c147790b180c50eb645b896ad86c35b771ad516d2a85998f8edfd0e1ff1db98d1880b6e8b02e4ddcf8f218761ab26ddfee9bd5ab876b3bd1caa6a3e0e78e
+AUX twelf-1.7.1-doc-guide-Makefile.patch 498 BLAKE2B 68b3831aefab24bb6b194e640921b24cb05cee3e97351d2284f4aa412ef277d70f41a539991c6c04f0501a0716b96364a33b54ed11d8c5b6186a4fe826912c39 SHA512 240192028c9dd9a953ff9778bc9753a08dffa0f3332b72d4d2cd64a594f32fb183092ce1a4ace9fe9e0123d469be50983e4d081db989165beba33212de74b3d0
+AUX twelf-1.7.1-doc-guide-twelf-dot-texi.patch 386 BLAKE2B 3ce663a6c06fc8af04f16cf190d76e0c113e41263fbdc9a74a61d9a4ea9c3067659b417569b0d11d50cf16baca9aa91bac66e74f75a681e2704d2c7fef969d30 SHA512 60741e8df6e2b200f22c435ccf2d092624b601ad71ffc1a3388e9ae1bca6ef0d92092940075d9786efed6218d82cf1a344d3a433eabbdabe2514ff985a6948b7
+AUX twelf-1.7.1-emacs-twelf-init.patch 813 BLAKE2B ab5708bc5c259ed940eb2d427e190a3f3ed2e0624745aef0f08cb3ba42ae6ed1d37668cff37752480de8e5e42b8ed5f786dc14d2aa6be3a522a51ca4d380d054 SHA512 b45415b57dee44da7a38ea1f40b58526f0f69d012a16c316ebd6c3c9c856bbffd270f034d172b4ddeb083b7289c87eabf805a96fc9475f501038fb6c85a0f571
+AUX twelf-1.7.1-emacs-twelf.patch 602 BLAKE2B b4b7572bd3b87013332e26096aa92a698e0a1a7648021b93cf0db2e4443da6fd43a6b8909703e21e748c37b774d5c93cd1bc6bcf342354ee47fc1d8b4c94084a SHA512 e5fd550210b7107fdafc27906dcb22318d1b0b6044d2502cfb968fb3b5d4baca5535cd6ae995638f38395d08641e59f5b87c76eac190653a6dad89bf52eb1a97
+AUX twelf-1.7.1-mlton-mlb.patch 11244 BLAKE2B e07adfd1520179a8ca3c292638689c8cc344b8d01ebcf2ba9f668cbf2afa5b5132a88d0521ca4123a9165d8fea49cdbab20b48b791bd3e78610d54b534e9e596 SHA512 2d0f42399e444cbb736f38ad7bdc54f51322c17c010b273c365d9db9a1e6c045c19b872d4b5c1e50444559a981aa5569764ac859c7702c116c97c935fd959bfd
DIST twelf-src-1.7.1.tar.gz 1147610 SHA256 91b0d4d8c2e54452a042da0ff642f3b46b25efb36a84497aa8b96598f49a213a SHA512 1b4baa0f385b6b605583a9da312f23c775aab43e7398c6e151833a6b95c74112492530f44fcb7b14f8288774e9b63e2f9618a5debfbc4d34737bc2588f5850df WHIRLPOOL 231879beb66ff143acd3245c10b5e25a91994e67eb3b12aedd0e5a2378a94a2e1f3b29953b1ea24e98ca0063f27aff662cfdd1cea01163be435a6dbba1f0d2b9
-EBUILD twelf-1.7.1.ebuild 2330 SHA256 df29280fc8002cbfa4a70442b45f1b9920f8350df1272643b1014ff1b54e18b5 SHA512 e8554e14b6f5f87e1a7f810ec62d6e1e3e597944a98ee322fc022ce922331e1d0e39b7d910e1ec7ea8f6a2de079f6940f3e4dc7fc53fe5f4354dda3bba38b170 WHIRLPOOL 3fb36341f6ad2015983c0e6ce3351e0049a129b244b511227fd5c07f6e5ea2cef5aa5cef8edfafaaa3de99b8c9b44e13ad7378abf19d01138b15480f20a5b8ad
-MISC ChangeLog 2772 SHA256 335e0af993594354b845f928caa66388c4b0cfce793ecff42edafc56742d7c9d SHA512 199ba29e04cd19a314a7c78c51d5da85d68c25a216ee4a6cde87f7f9427303255e8a1e78fc8439742a0d9ac5839c861f3969fc54d37260e8426756cf37f3a592 WHIRLPOOL 1bc9b5525c1b8d42d55a5d39ac16291c75f1ec2d567353878f9e911c5f5f457b542b44c23e3186be0b75384b8c93327060bbd8fd0cca577ee2f0852b73aad74c
-MISC ChangeLog-2015 1479 SHA256 85abc565d663b5e5f26929a0a48db1449bc698a9fa7d4d2a74e0d68e6943b85d SHA512 1de52ef8577cb4bf9e1b8d4b4431aa143643d9008110875a944ecf4a23154e63fa589479f62ea59578880ac66601e00a4b78214d71f0c7b119a1c35ddf7c7a5b WHIRLPOOL 8137d222cfb3d29763d257a5c821a21ec788da579019b3505a60cde24f1c79052994a772541b92f8b6e77228e14d6402928d8a666b0e052a1393ec914a7c3309
-MISC metadata.xml 446 SHA256 2eac2599f3b96078a4a05bee31e00c6187c0270a875362ed515a3b60aa11c0da SHA512 7fcca73104456672c8e262129cdcc232073d6d0a4cd48d6593734646a3611ac6056325cc88be5c3a3585d67bc76fa9fb663a0171df7b84612c56c0ec93bc0e2e WHIRLPOOL 390e4992cc9b66534d410f246dab9cf0f35d49ab2d4fa7886b50803a1a4625345de4bc8d1067cb0e8e51ed7db1a5749e17be1b81f239a0ddd3ac1fc43c862043
+EBUILD twelf-1.7.1.ebuild 2330 BLAKE2B 8098ac3d117e19c0fbdfbeca003e4235feaabbdd644b26392d8e47af33acd6c18e0aed5c6818912d7e83a2858ca61f87a842f65b8caec7fd1373a185e2849dc6 SHA512 e8554e14b6f5f87e1a7f810ec62d6e1e3e597944a98ee322fc022ce922331e1d0e39b7d910e1ec7ea8f6a2de079f6940f3e4dc7fc53fe5f4354dda3bba38b170
+MISC metadata.xml 446 BLAKE2B 318daa8b8e87beff1553a9e49e7db737736b8bad6f157753f42dd8fcfa0941dd83273cab94c056ab4e9555019263f1356e99baea1ef4dbca1da2df3d8f096ec7 SHA512 7fcca73104456672c8e262129cdcc232073d6d0a4cd48d6593734646a3611ac6056325cc88be5c3a3585d67bc76fa9fb663a0171df7b84612c56c0ec93bc0e2e