diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2017-11-26 11:42:28 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2017-11-26 11:42:28 +0000 |
| commit | 89c6c06b8c42107dd231687a1012354e7d3039fc (patch) | |
| tree | dad94f4da8a6694f3cb99f7048be2f9cf5f78f97 /sci-mathematics/spass | |
| parent | 796cae72cf9ed18ba01256ac1f83a686a2a76036 (diff) | |
gentoo resync : 26.11.2017
Diffstat (limited to 'sci-mathematics/spass')
| -rw-r--r-- | sci-mathematics/spass/Manifest | 8 | ||||
| -rw-r--r-- | sci-mathematics/spass/metadata.xml | 7 |
2 files changed, 6 insertions, 9 deletions
diff --git a/sci-mathematics/spass/Manifest b/sci-mathematics/spass/Manifest index ef0da8fd4682..201bdb1c172d 100644 --- a/sci-mathematics/spass/Manifest +++ b/sci-mathematics/spass/Manifest @@ -1,7 +1,5 @@ DIST spass37.tgz 1340925 SHA256 13c67e5e09b814ba50f38a391fe653661ba714e7541ffd4951efef91274aaacc SHA512 5b4efd7b767dfee3f24e7917a6ec58ac240ab33bf601722eabd50af57637d8fdd62de9e34e7cd1cd98b8b7e371c9e2d47c8fa3e07c6e7ce2fa616a76646a4e12 WHIRLPOOL 2fa8881b08a0fcdb9f1a6e7d27849f5c900a32f2cb27d878fbdae4986d0854608fd137e4608349c4eb612f4e1981142e63af8462ab904f7d08c3e2758f319835 DIST spass39.tgz 554633 SHA256 1797c3fbd1954189c812fbab7927880bad964ded400bae733a9938c7e6b09e85 SHA512 d7ea0697426c476f2e03b2f9078b7e060671067a67fad7144bb5887a2dd3f39e19e1888f121fce546b5d6ea9a4dc458d1cbec56b59c93507e7dc2d0afa25a89b WHIRLPOOL ad69c2e3714c5c640898a71a47ad6ab8370d3dd568372d492e82e6ba17312e84d3885016db3f923a4d7b3967cb0ac65c8e9dd8f0c8ce93f9de0534be01a371aa -EBUILD spass-3.7.ebuild 1991 SHA256 8524f5dcdd8259d5e1738dff7913a80733c019b2bfea2eb38061d38c10d46a60 SHA512 a155b205249cd9e80b274d8316d42e3a69d60aeecaabe4162b8b6225433a138b5b33605cde7dea391b65c9acb97f65807e0bbf7f2eb9fbe7970e38c81cccb33b WHIRLPOOL 888941f10f766da432b55e3c9e5de885a63232ea03b2cf4dc9150ef1fb2b25bcdb6e575304a774408878f72842c1955d58fae10b34850ad6324adb1bb899814e -EBUILD spass-3.9.ebuild 4528 SHA256 3e57af8d835a632140db27e2adae2d432fe0f4a8af089dc6e787442f9c27a71e SHA512 5cd41de9201063f2ebf696b5cdd1cf2572e6e0e99282c41a0fd3a92ea8589337da63e4392e0e45257b79dd667d986f7206655310696372ce433e43f5473a6f2c WHIRLPOOL c7d039bc9b3ea7e384f95282a95496879d06f70efb5a348302a8e9b70e1498b0dffc6e46b5c6230a8d048a47b7afe0a7c680409041db6e913d8ab2fb58d11beb -MISC ChangeLog 2424 SHA256 f4936a0ff754040be0956d786c7158b361c450e27f8237913536b4a4bcda2812 SHA512 4b0181fb1b17724771d12059ce3cf492e51855bfdf79e433c8f390855977c9e5764416ade2a18e3d836044826d796430ca100fec41fe92bbe53bb2a555e4618d WHIRLPOOL 8169fcaec589d542e37d97948ac3e100f2b9a0466a888f9c9390dcb97caccd4643361387af38672f91ee3445de91216666a8e5a03decbaf7685198098720feec -MISC ChangeLog-2015 1093 SHA256 3c2d8b3531c2a1bc4b3e8043f2e7c22412692835d4afbdec8c6bbdd11be581fb SHA512 a2207b16aa8aad5a71d04e263bddf2cf2044a6f9851dac97aef8af43cd70d917fe875af989782e1116d5f6b3c5080bee687c0301efaa564964368f431b01d809 WHIRLPOOL aacab1927f786e96938be5b4b7073b935f1e882485c6ae98c58cca35e2efa004ff7e97455983d2cb422e7b1e775e5ec4289e789ac4b806ff938071722660aac9 -MISC metadata.xml 576 SHA256 7a3da86dbf6e3e8dbcec949179166741b53122cff989568c9651dee00bc43308 SHA512 0524dd35d60d33e5e75d83079dcf6e9dadfb65bc16fcafda1a8128e0cf8256e0c2d4c1aa0e7f54e19ff6568c00c2be9b9a7b6309d905735b6298bdf721bbbf4c WHIRLPOOL f3e819cae52a36d233867654563bf865f64e3109f4866115d3a565e3923a70d26d21611df23140c456b3b827b8868282187b49be2dc4ac9d1f50527a8812b23b +EBUILD spass-3.7.ebuild 1991 BLAKE2B db0b3f9a499dadfa94d30838fcf59fa35f2cb463501502448e5301cb0532efdac20a9131960e85d0cd12cb8abd2dbd5a2a8721a107b4906b9d051aaa3271a562 SHA512 a155b205249cd9e80b274d8316d42e3a69d60aeecaabe4162b8b6225433a138b5b33605cde7dea391b65c9acb97f65807e0bbf7f2eb9fbe7970e38c81cccb33b +EBUILD spass-3.9.ebuild 4528 BLAKE2B 4004195f26de851c50a4d0d9631bf08fa808a45db3efb2421823097bceda8da062c048020bb84b187d4bdbcfdea74e641226935150dfc105cf698a7949f9f977 SHA512 5cd41de9201063f2ebf696b5cdd1cf2572e6e0e99282c41a0fd3a92ea8589337da63e4392e0e45257b79dd667d986f7206655310696372ce433e43f5473a6f2c +MISC metadata.xml 577 BLAKE2B 7d0a60f31459c0a514ae829d1a56efdb55ac0abb5c5202e1e8400755ae4593ef183e9770e2308545af2b17ad7e385d15c48a9ee630a3cd20d1feb5f0edc189d1 SHA512 7cd50f06b202828fd682e2f44d361b393cc89f0468001970c2ad807e26d7fa5399cba09e6805a937cfba9c56019b67ab3dec422a989e16cbb5216fa76c253285 diff --git a/sci-mathematics/spass/metadata.xml b/sci-mathematics/spass/metadata.xml index 742f96e9a9c2..93ca493501bd 100644 --- a/sci-mathematics/spass/metadata.xml +++ b/sci-mathematics/spass/metadata.xml @@ -9,10 +9,9 @@ <name>Gentoo Mathematics Project</name> </maintainer> <longdescription lang="en"> -SPASS: An Automated Theorem Prover for First-Order Logic with Equality. -</longdescription> + SPASS: An Automated Theorem Prover for First-Order Logic with Equality. + </longdescription> <use> - <flag name="isabelle">Add integration support for the Isabelle/HOL - theorem prover.</flag> + <flag name="isabelle">Add integration support for the Isabelle/HOL theorem prover.</flag> </use> </pkgmetadata> |