diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-01-04 01:27:12 +0000 |
| commit | 3517852e3b8a68d1e997770fc0650c5053bafc6c (patch) | |
| tree | 44068672445b1418489aed82de58df3c470289e7 /sci-mathematics/metamath | |
| parent | 0f15659d48c193027158492acb726297501202c5 (diff) | |
gentoo resync : 04.01.2022
Diffstat (limited to 'sci-mathematics/metamath')
| -rw-r--r-- | sci-mathematics/metamath/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/metamath/metadata.xml | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/metamath/Manifest b/sci-mathematics/metamath/Manifest index 32ce99ca3096..efff7865960e 100644 --- a/sci-mathematics/metamath/Manifest +++ b/sci-mathematics/metamath/Manifest @@ -1,4 +1,4 @@ AUX metamath-configure.ac-dont_force_optimize.patch 490 BLAKE2B 5a7175a72b32ecb1991f01a481459543bf9fdc511ded4bbe1551d5991710f3176575b7ebbea50c6aff3cb4087370960249e78223b84df6337304c1eb7dfaf460 SHA512 882ebb713e6209af28d39fbe120aac223337602d3553e93bfe2649237f6f03cc5dc5ab610ae0f051054f24668ecea85293ce9a1bac6fb8b635a52f93e9cf806f DIST metamath-0.198.tar.gz 468593 BLAKE2B 030bc61f5d8f0c02d473fcd2802b3411c96eff04f7144b966f1f098aec3a65218137228f4d97ba96aaa190386802db00865b9e997b399ce06b19d421c335f2bf SHA512 607c0a8208b9414b36bf82a1fcb0b826e9bfa4cbcec0337be58f3e890b91473649b115403227f440b9774e5653434ffdf09f0ab82c2f5af59eac0d11b9d09942 EBUILD metamath-0.198.ebuild 632 BLAKE2B f5df87080cce63d8410cd70d7979350582e40357fc9fbabe86bff8d8ba4434d6170a1d1ecfefe5f1d5ad5a3b7ca8f456f5eaecb406490631539a009d53d95677 SHA512 dea937a871e03eece4f72a81e6814013ddfc7266da2aa708394c1dc35a4584d565d42260b05b116290d8529ed909605fb8bc627e2015e44848fef6fc539b249c -MISC metadata.xml 619 BLAKE2B fdeb72df964419f71e05af45685e81e9127e978b648d0386cbbad50485455a952fa380c5cf66706afb247a731b091fe7efbe076139d336132b3dc1ced69591bf SHA512 d7c4e4d33f5605a36480f62631c63d22724bb4f448aa102edce4d06898eecb6629f1cee59e16f13634359694d861b69317fa3d236a82ca3aa7252dd8159b3dc3 +MISC metadata.xml 635 BLAKE2B dccfae75c331c81b14e7bda8efe077f10dd6c92793a8834a189f02c7803775aca5237499af2042854121b4f6acf5d7a1919488ed659c64f364ff6963c3bd4543 SHA512 81b87f82b5ed9cd89faa674c002bd085acdc4cdb1c3441701e8945d8dac0eb85399660e9e4774732c31d0fb0e6b9628817bdbd4b2154073a1875da925baa4ab4 diff --git a/sci-mathematics/metamath/metadata.xml b/sci-mathematics/metamath/metadata.xml index 824d79b7b66d..7107a9aad059 100644 --- a/sci-mathematics/metamath/metadata.xml +++ b/sci-mathematics/metamath/metadata.xml @@ -2,11 +2,11 @@ <!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd"> <pkgmetadata> - <maintainer type="person"> - <email>xgqt@gentoo.org</email> - <name>Maciej Barć</name> + <maintainer type="project"> + <email>sci-mathematics@gentoo.org</email> + <name>Gentoo Mathematics Project</name> </maintainer> - <longdescription lang="en"> + <longdescription> Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. |