diff options
Diffstat (limited to 'sci-mathematics/mathlib-tools')
| -rw-r--r-- | sci-mathematics/mathlib-tools/Manifest | 2 | ||||
| -rw-r--r-- | sci-mathematics/mathlib-tools/metadata.xml | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/sci-mathematics/mathlib-tools/Manifest b/sci-mathematics/mathlib-tools/Manifest index a8c5fe76b9bb..d2fc08050435 100644 --- a/sci-mathematics/mathlib-tools/Manifest +++ b/sci-mathematics/mathlib-tools/Manifest @@ -1,3 +1,3 @@ DIST mathlib-tools-1.1.0.tar.gz 32374 BLAKE2B f470927cae1dc66478efd44de6a5fd7c8df9656351ee342d14a1e75e8774383616cedf01b21ef1b92220fb03b1f1ccb326e3363dd0fec4fb5876f43c5ddb4010 SHA512 bc59d2e41c42ecc22c5768ac3adb209f0b170e2e97fe68483d8518b78a6b4fa163c1d46e4e3996c6f3e0aaa329c642fd111b3e16d850f40b6edc81c81215d03f EBUILD mathlib-tools-1.1.0.ebuild 1241 BLAKE2B 7b636b9be79404b2f46e7d3a5eb0d501a0267cdd00e84963eafd1ccaf91c343aefc93b2ae17b1662cf3d3ccbabbcb2be38d6bbf823122238d4264e14aaba1f8b SHA512 b695d4886cb7b36c944c40153d1ae1bf8e80ece5aa6c0c8e70be0d1b421dc5dad144089991d239d6957c8f50dd2a746a588add440c15af1e74565399135a984c -MISC metadata.xml 722 BLAKE2B eee8161a95d29fb43a6f3666206d16170f54238815d8caae3f451e6371282ac18900a7233dc0d82946b9ad0b207eb64293dd62f60ce1ac2f0883d237d43e3c73 SHA512 ffded3693ba0e928312e37a5572a5ddf8a4d61d5c4fb04a6ba0d7ec200e2aa05e7f317557eed958b422b51114470668fc5f3ab9b52605ce7f3b7de878f81b9a1 +MISC metadata.xml 738 BLAKE2B 8ac6b5355d564ff532b2158189adf95190dfd36b7d7fca1986c8ea24821b0062d65c27317b60b13b4b0541e68e89f014b477c299a651bed65b54cf5288fc8d34 SHA512 c5add5d3f3bdcda89f635067ed442eee731f9648048ab28aff005041ea3f223e196a80186e15b8b67553ee66db1409bd3c6af85cb453635db0c31fd89685d4a8 diff --git a/sci-mathematics/mathlib-tools/metadata.xml b/sci-mathematics/mathlib-tools/metadata.xml index f91e58a755f7..9859ea5c8b42 100644 --- a/sci-mathematics/mathlib-tools/metadata.xml +++ b/sci-mathematics/mathlib-tools/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> This package contains leanproject, a supporting tool for Lean mathlib. More info: - https://leanprover-community.github.io/toolchain.html#handling-dependencies |