gentoo auto-resync : 30:11:2024 - 02:06:22

3 files changed, 829 insertions, 5 deletions

diff --git a/dev-texlive/texlive-mathscience/Manifest b/dev-texlive/texlive-mathscience/Manifest
index 4168b4d90235..8f4bb23c1df3 100644
--- a/dev-texlive/texlive-mathscience/Manifest
+++ b/dev-texlive/texlive-mathscience/Manifest
@@ -3,6 +3,8 @@ DIST 12many.r15878.tar.xz 2104 BLAKE2B d6ba670cc1ddc4ebe2451cd2a4ac981f817b6bb36
 DIST 12many.source.r15878.tar.xz 6592 BLAKE2B 72c89ee8cc09779cabfc2ad34c47e574e0f41da29160f1a9b35a0a20152127c12d85e20b57740e71d22796a1e5a59b253111bf96279f65dd07e69dcc76daa6ff SHA512 f007dcaccb364964a73da6a09db5e6a25ee401d8108b19021b67023af273f486392cef6a0b01e951e9fa885304d0e157b919cbd6abc472a96dfbbb0f432b8530
 DIST accents.doc.r51497.tar.xz 239048 BLAKE2B dea96fdfc01c2c3fd6d80fe50ef23659ef5165035b5edc0a21263a21ff91f3e0388e4ea30c876132496deec19df931c372569792b2f6d7e1f1d5ef5b3a779c58 SHA512 50e5cd01da80113ef3247c4a7c7da703d4a9c3df68822b31ff734da2d755f5fd2bf9f5f8982d84e3628e96905276dfe6cc6699bb625ff1dadbe810b11bf5a35b
 DIST accents.r51497.tar.xz 2956 BLAKE2B 58cc6b79a1ce34379a3bc96a21b93450d285f3ed35cfc5527d2783b460a7ee787eca61c08b8d518068fa68fc47402c3053cafa112658e25a8bd6b88f37cf69bb SHA512 738e8299148365c0441495664cd97b408b181d192adb718adeacc93d4c63b7e81c12541746777571f3fd0da37348905269b5d7ecfc2d58f88174cd53edbe56b3
+DIST aiplans.doc.r72202.tar.xz 1133188 BLAKE2B cec4dfbd2c837b34eb8aa31b173885cd6617c1aaa95a673c093520a392df3702739c8155ef9e1f4dc044949809b3bc739b303c622722e462c78406e94841a8e1 SHA512 e2994e8f28a11a1861363036e95d2505b8b1a05abdad821e3a2467ec265a7f58f5e52f3a01cb8b99cefc7e75419749811954a13ae6e565a8938ccbbe4d7df46e
+DIST aiplans.r72202.tar.xz 1764 BLAKE2B a50c62df14f69273f32ce5b56632e8cdf2f25ef8a3e5844f1e001fffd57db968dde9c5b2bf91b038b130839fe4b4b4053a9328a3ae6626076f003bfeaca95ae5 SHA512 f6777842c749ee788501453517a5f7f70050ac30615ee38bfdeb52420a078af1e96b08ee39e9e4ead7e1518b299ad96233dd4f978fcf70483ecec94d8a88d40a
 DIST alg.doc.r15878.tar.xz 1116 BLAKE2B 42f78d8e3fcf812abe1ad85fac62d69cef486c60debb3964d69e0845dc72a274d165149d3991c1774d94def09102164df4da80ebac1000f272edb3a46de70824 SHA512 d94795e7513612f3eb102b85b9fdcc792b175411fd67edd6779037b1e0dc101378159f58c6c6feb82ca6b73ea2a6fd415a36e4a4ea67913a0d1110582a41e38d
 DIST alg.r15878.tar.xz 2568 BLAKE2B fac775e90a637332d45fcf053fb3f970a03147d6072372a8600c9a103e1475394fdb645a53628006d8bb198969af27b060c45386307b889ca786af1135ee15a0 SHA512 923f36ab03aa10cf3da008f4b3d7ba5919f3e4a512c82fd1c42386df22019ca70c4c1700b7596750a00ea7c50586bdb803db3fee22edfbc402ebb9e249668e99
 DIST alg.source.r15878.tar.xz 5768 BLAKE2B a79ca0b56cbef11adc5605b1623e0add00983e4c599593ebda42409e30736544668d01ac9f6bbf8fdd46a77fc6b8897129e441a69617890f8cd59fc00c2b0e35 SHA512 a8231edf9c10855b312bb00f2bf37b68ada65b876ab621f459b3ee12da5bc5b90080ab6eff5c3a48c0821753a02576aac0100b3a577cfb7c5dc2cd4b47c8a026
@@ -19,7 +21,9 @@ DIST algorithms.source.r42428.tar.xz 11940 BLAKE2B b3c1ba99479c2e15077e346cfca4f
 DIST algpseudocodex.doc.r66924.tar.xz 352600 BLAKE2B c45b07b99628b336bb3656f18d123fc2d3cb50f8337d086fdf69572d3004b324f007a9c9e601463f3d90c5409c9d1d80fc356660b5a9369823e161adbb60f0cb SHA512 5ebf9cb1c66d4e4987387958758aa5d174002409759a38075f6c32e2418f0db670445d2b9d61442c5fe719154d137e3156c6871063eae7e5c4b50593022af623
 DIST algpseudocodex.r66924.tar.xz 9268 BLAKE2B f3d76a76f15a272afc0c394745f979f7463219fd8bb5ea055e7e8b9b9ade35503e994cb4f6fc61472f38a7751a400091a133d8330eea283a89358c8c1dbdcea4 SHA512 0a8b2e49f389066575d403eced31e57cba4af96619bb2ad09bfe51054193d3033705736ea23233b8da3e5e9e0714aa26c4132c2227fa36cdbdeb7df50035aec4
 DIST algxpar.doc.r67495.tar.xz 751752 BLAKE2B 3207b2eb7a697872bd3038691241a59050a7bd999b12ba3feb0c676e16262d655567623e3ac2f800986cc09be80957adc42fc3dcf687c9a3406a093114af2116 SHA512 196b2539e23d96f2f7967272d59243af9eabfd588c8ad4cf69174493084f5f3af0c088e3e5ee51df96a6a5de02a7d3a84f7f4f7b3f0cfec0fa4463fb929055ed
+DIST algxpar.doc.r72657.tar.xz 830152 BLAKE2B e847d985c6d53cfb6d1498ea3d796539e8e0ec1760810234ac3684920dbf0f9f71982f42e16b24ffbd97701bf4ee7ac1b2aa15c7c85e36b794d671c10f47ccff SHA512 b971d1c91a4706e4ebcd8c17c8c828b2bdfbb2796505321b2be77493b512553901c9281ada7c14451094050a666dd655257352b3c8a079fea85ab132b5748b25
 DIST algxpar.r67495.tar.xz 6568 BLAKE2B aa76deb224e43abf363cb9f52181213a0da938b979707f890b44cebc788d0f0e09aac3d5c0c008624b81f1ff90338e267a2be3372c94d4139a9b643b45606e68 SHA512 3ea0ccb08a088e16c3fd47f5455ec1c3980d242c4f9db838ad07dad089326bead01c03708fe25fe3a14ab3abfdee93c864d1c633f5e0fe043b31962ca1dfe462
+DIST algxpar.r72657.tar.xz 9868 BLAKE2B b3a648808790cf6b657ffe8e2ab484c31b96af2a633fc88e01aad5ef13b98df7d3764945ea15fe84e69e93abe171c439c5bde2d5cbf7de4cc6c9f255e0e5d09e SHA512 6bfc5c7436bdb13f36b38c1b0caf7efa5b7111be748cbc20e5c3fb345b491893dde5da380d2f1309a06c880cc7b664e661c179d0cde67d4809d7b6c0642bf4f0
 DIST aligned-overset.doc.r47290.tar.xz 378812 BLAKE2B 13d1e6122021737d3b837a8e39010c5b8ee756e750198f135c615c2fa87c8f06aa90afc633a4ae6306bb62f4d3895f9650219376ce2a19ca157ea295e629a9ad SHA512 d44ff38fe36352e1498e12eb56652e935cfeeb9ce6af5711bebe7844b1b7ba16864c8dac3c3b5f2e2bd6fee86de38c7555d5796940b834ce1ad396f5d2cb536e
 DIST aligned-overset.r47290.tar.xz 1256 BLAKE2B 9ba86736c193ccf36ff6ac829be80f964bc2ea3d979261c647cff6960bcfc95eb22b5cdaba9f0e1f5b7241f8188a5f65a836c3a6ecff3f5d4b81f4d2084463d6 SHA512 3998cd5515ad43e559da91bd1f25b835743299ec13fcf22ee9cb3aadc44c285f428ee701f5b27141c4d03c97b31a31e8620a2911854a1781ee5543a99073fed4
 DIST aligned-overset.source.r47290.tar.xz 1900 BLAKE2B 3c01256412aa2af6dfe1e7994ab34dd5504fc94930a4fbf9d27213bb7fe52df4abe8461b696c7d1de13771be147139cab0dc82a0bde8732436a9e9a2af84ea50 SHA512 56584744fe5700505608c6ced57fed83fa189c9e755b63521f466f40e1080a35032b007831316e4b080cf93ef36958873924246a4cdfe2b0f129effda75380b6
@@ -27,7 +31,9 @@ DIST amscdx.doc.r51532.tar.xz 217524 BLAKE2B 086c69f240b413bf28a11739bdf36839ca3
 DIST amscdx.r51532.tar.xz 3208 BLAKE2B 5c3daa924da5a0153e439a31216e30a9350f78102ff905b09085eefcc0edad8feb74dc1e234fe3ea0e48730d4a7ccd216b5abfa586e54f4a6a9a2073539b9fe8 SHA512 6bdebfbe4985eea23ce24db5e0e14162310d81efab18a7a820fe819bd51f839b9deca35b94740f038ae80084f355e5e800fd6e681d859cb7bc9bb8886993c33e
 DIST amscdx.source.r51532.tar.xz 6136 BLAKE2B 27e1a30261ea3bba836ddc076530ec8d70a84b8a689ad773729cf1c412bf17688b31fd73e620653e2b354480faee0a0a1fa6b2716ba7770d3d01f98e0893e036 SHA512 94751d2c3f617710b50807de584cf4c4d7c8f1ff82a1ab14a5bbd8b41fb5828b0a208e20c131a0aa023a1c8afcdc3d4b5e36b2df99f76b260ec2d9509a941f76
 DIST amstex.doc.r67930.tar.xz 410788 BLAKE2B fb5a0ea4297debe3bd8398511001744b4b2009e217ae6698279e1d21c8a196ac3cc931001754a821dbfc0a7b73df4fe335c72b690f442b21f5960487b4b2b734 SHA512 94b3f6ac9f2314cf5e3335ea517bd23e0c08ef10e5edcc032bc5907fb69b04525ad434eb896ef8d5b149033148da55703039d5481242c2f5bf791c1b32c85388
+DIST amstex.doc.r70015.tar.xz 410728 BLAKE2B c6ac179ba52740afc11cbc3c51a2db876c51b59a27622d2d9f698bb6990f2f35c54076f3b7c432d04e61bc909587611826ff9fe8b35eb510a7d90271cb86fd12 SHA512 9d85b318459f5fd9b55bb88a898804762d8d09ee25db93123d566d9db7a1135c33cce392474660c960d3a1d2b19596a7612ef16b4bdf3fe341fa486eb996893a
 DIST amstex.r67930.tar.xz 38380 BLAKE2B b716c2775fd9b461f352260b0ea8341f01df96cfa72cd9ec9afce850062f54415f49e80c47cffc2973bc9461d5033525791ff27ec1101b01efa7290769ae9a87 SHA512 4f380f6c67b3c92d4be1b3a9ddec3b464e91ccc632762d6bf28f47dabf6e2e096471dd64804deb370349fe14ddffc3b4d37be195cb63f87e47a2345ebbdbd7fb
+DIST amstex.r70015.tar.xz 38376 BLAKE2B b80a77eb123e7e6c4542c699bc7f9b42d9049e89c02b56791adee9572546c1f49454e63a3a4bfb963d0561c3acf4711a7164f84f5bf5142b5d0a3152fbe0e55e SHA512 46855d571108da3b409cfe14ed58a8cf37b17ca26589378623cf309a4ed8766c1a4be999ebabf2d1ca459575919c5a5fd821fa839fd90065fc608b7289e1d64b
 DIST annotate-equations.doc.r67044.tar.xz 153300 BLAKE2B dfa59f14245cb77dc15bf592d62ab8093b4510769d91f696eb9255d0f37b4944406f89f20491301fb1965e69b7124ae572aecef846d289d4cee6939399939f0a SHA512 9f958eafc15d7de177a3ea66c0e381ec76480845647af0969e34b7429f3543c51de33dff58d2a4faf10bba82eb8f3de097d3324955b1842806fc69e8cc6b200f
 DIST annotate-equations.r67044.tar.xz 3048 BLAKE2B 6defa208bd1d247b3a5d8ec139c400472191349160189989ccad6c15afc56cae3cb8714e9160a456f95c047c8473f6d89d40fd628261b7df3128d00ef38d4aee SHA512 4d4f64f6346eaee14dfe509857d2a592da825eed9ccaaa1a9c2cbf3a4d4f750441392d703c9c9665c88316125bc37192c0d6869f3e2f5274e7f80699f8c553c6
 DIST apxproof.doc.r64715.tar.xz 585636 BLAKE2B 50ddc872c103705166608d6816be8f470b44529cb7305d263aa601a1132cd0485c03bcb29b5199b9bd506e8efa2d2cd8403c27f21b76b31d5671a1bcc954d23b SHA512 2ba3258ee71a0776ee27bf4249288b12d92b7cabecf1601efd9f1855f5a058b9c030a0d4107c026d8362324de9240350e65f8fca1e76ab5e4ebfe718b37ed27e
@@ -50,8 +56,11 @@ DIST bitpattern.doc.r39073.tar.xz 175700 BLAKE2B a04a5a537b82c13a1c21ef0816d14ab
 DIST bitpattern.r39073.tar.xz 2156 BLAKE2B 9443cbf9938b7b6923d5f443d90ec39d378882298eaf4843ce05b36dbac32404c62ac1dc3a4a5104387302125eb75cff6af8ebf1dd1d4f22dad0431f507d1766 SHA512 34a0ade2d1110a15618b2ecc7f46a413519a0864a2e5cd1e25eacb9dd76cc66b35565b4b8c015780fa1d3dc88e2237ae7de33c77e29fd5428758a526959625af
 DIST bitpattern.source.r39073.tar.xz 6764 BLAKE2B b158937728c38080637f22c1d8cc1e61b9fa0f0511074e9f5be70642999e253441add1e8a15677314cb52e291e1ca25c5bb97bd0633fec812daf6e0c5e5da785 SHA512 8c5860792394f85ab87d2a3ab234496a1f550a24f98a5e2f8f4d815b24e4fd3e7d0a1ffefac3912536d22cd39fdbd91db013b1c8e05d4de92aca47db679fa7e3
 DIST bodeplot.doc.r69742.tar.xz 741028 BLAKE2B 8bc7881e97236223fab68a5100c31150c0736ea3d9a4f2956d444fde7cf953aa7cde84e893c51f6df628d5932fb762c61fbf2c9385a52fbb6281fc71f0ba08a7 SHA512 d0eb443a98da30d66becca6e48e4e66b4efaf31d0405ff5d559738018f0c760a660175978f603f9c648af4ba20942a58b82c45f5a5446f39d7bfa05c944b4db4
+DIST bodeplot.doc.r71000.tar.xz 741540 BLAKE2B b7e647b9d5bbd21336ab9b2a63dcf79f60dbdb615ace7cb93859af562189df02fc6d1640cfb4e4fca73ad31d1e814b3494e327aba44b9859f60124de788529a2 SHA512 f3f10dc6170c825bcbc365af25df9d26bfd4721570b1f36d625ea771bac7bfc3ca9c0428a22858d97bedcbd1cfdd979ddd2bb881b07646bf29443e4216dbf6d4
 DIST bodeplot.r69742.tar.xz 5932 BLAKE2B 6dc7200c449ce98d59dc30740b20ec690cc3f733a77e08f1f7b32499b0ea8c51af45470c5521e52fd7cd3f919538f7727068598ae3a530bbec8b1bf254731730 SHA512 596a8cca1eeaf49acf1f24341601b4b7b1ff64f5df72a811738d57e2d0e5644cc9f6096b15825f208068446dfd825f9fa61406451234669df95683f746770d44
+DIST bodeplot.r71000.tar.xz 6224 BLAKE2B 1301cafae71f4e79096e82e7231a158709268555ed49b572a06395ab6016a0c31f494eda177e198accb916c78a83ea14c257d5d94ac97b9d7de05884584ca61c SHA512 49c521f96ade855835734de357a2043878394edf243398fca00bfee6fc8db796edc98e56f5c64be2b50b7638cc1dabfb567e5a6dda8871c9eab714aa7b7766b6
 DIST bodeplot.source.r69742.tar.xz 17624 BLAKE2B 0c33c7e91936ea373fb9f519b9c5c54fa69ca3eda1bc86c5ad2a4f077f073e0099cda9fb0e7f74cee16ec849811819588515fab8c5a8bbd345d133a4b01eef62 SHA512 84b487c782ccbc9f8a76331a7a01f3059d39052f440db82ba93ee40f82f420f2ebc25ab8a9351deb0a1261603d0866a7acf89a457bdb2c0b446d541a6bd78163
+DIST bodeplot.source.r71000.tar.xz 17840 BLAKE2B b4b1cd8e8890dfe54f079fbbff0f1a6bf3e2e62319c952c6c43efd686b134297a5292b2dc611b5b38e21e5fc1ab986a48ed018ec60ce9131229824a299bb390d SHA512 00a3dbd9322d721cea5d0329d42048f08bb165ea9695824f5d2a8bff4bebc23c7ecb1bb09fb362c9d3d52ee29f481d3aeed1e1381b666422ab00278f68e96a78
 DIST bohr.doc.r62977.tar.xz 424416 BLAKE2B e9893d3be39a792c1e37c7df97b293d40fcab469eb4826f7e6521e9a170a2ce7b22c6fdbe4ded0c10e2054c16dfa1f074b8f585982f0c6e69b4ea84cb40a487e SHA512 0ffcb6071ad55d9e6a38c9cff810b625fcd6eb08e476e9ac7fb0bae73ca5373517de22a536c2348ac8646b62d70167521d70dd46327dadebfdb9e69facc0f27a
 DIST bohr.r62977.tar.xz 3652 BLAKE2B 454b7781602736bbcd1ea419cc9ca31f741b6cb6700845a33613318009a89e3431a800045e976d4f8bdf942d12e9c401e07a2c4400224068d42790e0794d2ebf SHA512 257faafc089c9864a7878e9690a96ef8a5468fa4a310232609cb769c4bd80c15ee7923ad73feac782cda4690f699ab3734dbac05e39588a34fca576fe8dd042c
 DIST boldtensors.doc.r15878.tar.xz 53640 BLAKE2B 99ed184c8960ea38c54b99b821f57f292601f07750cea1cca02cd64a8f0f043d77734abf6f4b460134439377f81888fb126082148217ccc597d1b8bf106ede4d SHA512 657bdc4960e2d40621520240840ab4252e927baca704da0388e3124938c55de834e59cf8ff3d900aa294ac366ae7b1367909cbe885de08790d51380726960146
@@ -100,6 +109,8 @@ DIST chemcono.doc.r17119.tar.xz 231312 BLAKE2B cfd50816488a87092d3de8ba2d1b4e731
 DIST chemcono.r17119.tar.xz 8132 BLAKE2B ca672f129e1155314010e3ebef5ef2cdd94f913c96039d716a2baf6eb3d4f4f83867ad6d010ea5edd573937c5b584d0cf22552d96b0acc4a9491fa331652ac47 SHA512 29b6e78d47cdcb21c634540ed6a935cd5c6eea5fb6a28ee85cfe681ff00c8bd24d7175ee5adbbeab03e11db2f56a38d3359235ed44771976917f35c673fd21c5
 DIST chemexec.doc.r21632.tar.xz 310880 BLAKE2B 6eb888b24c8de2fe05b3ee42a996a9cadb92bc841dd97e2f43c0e150e4f9c0746c7f6916819fa9b7a67a4f68b424df3faf8239bcf41357ac7e8ce88842eee74c SHA512 83b622fe694111fefb9c7863d5322f7a717778727c99db3fe5eedec0b6575d4fe50e6b5076413cbbf36a222ee7765bbb847c44783d6ce45cb07f55bab16955da
 DIST chemexec.r21632.tar.xz 7656 BLAKE2B 9b21369b97b6d5801c4c2de00f54e8a0d588754a79860651f725d0fe868597bc4c9d26678c3a620489a013c699bd3512d4dcb0ec535c62b287910d4d75498f51 SHA512 62f374a57c799873aa4d1db52c56fcaf2f15dd813e3bd9295044499defa29a88567034e39b20af1e8a7e4208dcc35aa422c0ea8e1e0925fb1ae3e02a1a8cb482
+DIST chemformula-ru.doc.r71883.tar.xz 157152 BLAKE2B 357ee40433cd06db8389ddd5943b2771e2753beee57e5829bfce9b8fdbda52aa49790c1882cfcfdc87cda9e689be47085736bd9a855c3c057e10e12acf6c638e SHA512 d22f44c151dd5bbc27c67f549a34aed7c213aecee45a0186e1050258b494460e1d5f6f13f258b41efff35df0dc10104e89ae72936cd442ac9ca5001012a86a5a
+DIST chemformula-ru.r71883.tar.xz 1152 BLAKE2B 6c6721048c2cc1bab7fbf8eac2a5f1949efdc35478609b35e056e35bcd139eb8579ad91e9442e081ae998f7ab58e85bd942aa3f44e58156f778e965ba372d138 SHA512 fd03f5fadbabf6ab209ac9fdcc037fd7d2876d163fa94f4654a13d4e06d28564bb85689293961f33402f723fbd3bddc1326c8418b87a408418c5564a7ce2d4fc
 DIST chemformula.doc.r61719.tar.xz 863468 BLAKE2B d684489c49cf955942fd0815c5db010f7fa5551f64038cd8108d5dfd7cffcbd8e46c1c8bf62be7948a339c015f4b95427401b0f73581104482f9ee9ae0edc1ef SHA512 c839fed7313744c6abb77fd4f803524c47af7f9ca0e4b533b307a198cc2fefc072541d58afca8cfab6a17b85ecdda4d3bacd451ac9616b47a448560a97f3b62a
 DIST chemformula.r61719.tar.xz 15792 BLAKE2B e5293c25eb9c594fcc4ab5681669e49a9b66b539e4d63b8c0e5cd32ab84504c465a77f8972e9c6c86e31d02695e03c62a7c265188f3d56c8b8f1655cde758664 SHA512 907efcb72ebf3a315bffc11a8d78caa82b510993b4a4de1da8a960bbd6c66bdf5bc202933fce5f4f0626ad4507a5095b571487beb2414bc49bd37e735f0299f1
 DIST chemgreek.doc.r53437.tar.xz 714860 BLAKE2B 1bd914880ad3faffea6ebfa6a9cecb63cdef5445517c15c24fa67d1ea3e0794cecdf82dc664279fce4e673e46a1e35d774003aa2221861c5822805139d25c04e SHA512 69ef091ed42bb40826af81c9a4ce5536873a5debd971d70d30804f75a3240bc1aea037817cdc42346537cd025306c928fa347938785af9e69022ef51fba20d2d
@@ -130,10 +141,15 @@ DIST codeanatomy.doc.r65648.tar.xz 296484 BLAKE2B 0698547bfaaa7a110de579d3713ca9
 DIST codeanatomy.r65648.tar.xz 1844 BLAKE2B ed17a97c3633d98c84e6cfd1757a6904691c4f05d519eaf2249b65c9f395664e3da9f2b54df4efde118aadc2b554c3834cbdb0dcab6e688122798ce403199e18 SHA512 59f2c1b91875a69434595d435eb905265c9e114bebb8a94edbe07f597518424add7916fab565caef11302e6c31537c54e5885f3320ec0e515cd0a207c8012e00
 DIST codeanatomy.source.r65648.tar.xz 4844 BLAKE2B c933de2937eee0869e2886db8822376969d1222c84165a4de5f8aeb3df6d0ed50723ee8a92fca88faf5ab058195214c52eb98c7f03908cb3f1c9fad004e53342 SHA512 27c57ca05dd82f9810e63a0265658174dc3a9dfe21033c70bea65db5543648dc51052a8b72bd5f2d89e7ad9806d1cf1b0bf1e9c9ca543589afef2dc07184114d
 DIST collection-mathscience.r69485.tar.xz 1716 BLAKE2B 0486086c6c92b1e0df458c8e796ae114343d7163dcaff9916b18181a7456fec86bbd0136d9aa0cb4860094b7f8d886d6c0304306a9cab6b37eea8230f9a1a431 SHA512 6b8b38a89760ad3207054a401163ed661c16156a5a65f9e8f58aa7de51302a7e135b8484c976dbcc6f4845a7360bf4cfe07b405bb3710ef292c5fdfb95b1ccad
+DIST collection-mathscience.r72655.tar.xz 1804 BLAKE2B 5291ec437c650a1ee47fd817d3ac9ce6f8e7609db5449e4250414a50e71d6575915dfb2a4a468b040a23a90374e666c7d8f65e98a5be6dabc23860e78ee26d9a SHA512 b2c0bfa30f1dd02ff0a952b5545ae85cd52b39d03d22ecb427570290c3702f44aaf45577db5636e8b382828b9b7103aed2ef2c064db9f5e78123b4aa9b361415
+DIST coloredtheorem.doc.r72298.tar.xz 220408 BLAKE2B 9ac267a1d79fc38fe7c9fa003391f24a549306cb8eee0b876a5dab5810ef08214012ab682c04a9608085974339f7d2f302db7e98cee1ccbe03026b08d54e895b SHA512 50558df8e471b9ac439e75cf2cba09d0116e4344761bf9bc5b35d2bd2d582abbbcb0d32b060660e894843fe9bab15e7ff0cd101f64bd5e61866fad121c083101
+DIST coloredtheorem.r72298.tar.xz 1388 BLAKE2B 8752ce0db1f9b20911452e0357d6edd196ec4e74eecfaa008b6339878d03db970fd654892f3b318d0cf3f4551adbd33bbe9bd9bea18bdeaf7cf03862221dcc95 SHA512 a1a06002b72563b120b716e4084a1aa7d558ff1127e9daa0a788f80ac8138b1e30fbdb0b7617dfea189ed640d7c60876f295bb37f8f2e8b14e4a94b79be71bb5
 DIST commath.doc.r15878.tar.xz 101092 BLAKE2B 456c23b594627aef76cccce4a21a82dd171f9a8dc2f2727b79a16676104e13807bf0df283c9819d04d3725a60c8a410a962b30525f4ebe52e9dd9cd44f043193 SHA512 5d1d162cf8fd6692788bd15e2d3c2021fa6ed96f289f2c17e9d7e9d2afb428030f0d016f4b4aac62aebec1c8988aa1a978f71bdc7f4873e181f1b2ec7e0f6d0d
 DIST commath.r15878.tar.xz 2460 BLAKE2B 616ad2bb494d2f5a7a0437c9130852fa2c0b074d682ba4c2dccc93d34d7fe08e358cc6d6da54a68c1f5dddfcdc3866678779db016415f291c7a7b6bbeff55048 SHA512 68c25e035e211107c65eece91bf84d65f2328ebaa3dc81d70186707c081f865abcb1be383cecec7d780bbebf3f565647406d6bcfc2c6bb3e846058d50882a6b0
 DIST commutative-diagrams.doc.r68044.tar.xz 615572 BLAKE2B 204fe20264e750f7afa4db4e11d4960bb5d150867b217b13db1dad240791cf610d3d7c49375635dc1bd1a04b1e817db751d47414544d4ec8684b8de8d32efecb SHA512 49de0a9e52308dcf0b5ee7ca5b18df49efb3822ab2a46024e787979abf6cd682b180a461868c565b79607b301ef5bb65e9493bd27d9cbbdbe4d71472708fc01d
+DIST commutative-diagrams.doc.r71053.tar.xz 615932 BLAKE2B 2a227ef27cf37b77439c35139e18739d42be327bef6246534642dc0b6c3bc3a07002c6e01e66c9985e58369cde5af409d2a9af2dfe91b8627bfb69ba2913ae7c SHA512 c2a396394c017de1a5932f7d471424f5ce4a487bb856432f7d3a1b64460c760d9578c2a0253847c406856f14ee2cf394b4df8301257be96fc8c8d0838232d5a5
 DIST commutative-diagrams.r68044.tar.xz 12760 BLAKE2B 7d30bb8faed736a0eb15a8117ed1ab0a88d5557a9f3fb85c3f12b9260907a070d3e9b9cb767f852d1bb895d2eefdc2fec4f95580fb1abe1ab8c1a56bc1567ef3 SHA512 896235dcfbe5fc65302f5473b8821a2943ba3bce0c5b410aca855f48fd2ee6dd1b39667be7413aab027e0b36b3cad9735cf6b8406077b0c833f025fe41a83d04
+DIST commutative-diagrams.r71053.tar.xz 12748 BLAKE2B fb30d0f263517352f220e6bf37779260ade1296a4e46ca6e2974f4923d1cd74dec23b4983ec4a7fd29499f075db74ca6e9cb5081885d3dd454e4ab2b0dfed4fb SHA512 4dcf8817e796f646c7ac881f0711e2d56353484b090189bc32ea7b1a9590b6c7d47f8b8841458a62002983da18ea95d586519cc78dc3858d08b97c899d8dee54
 DIST complexity.doc.r45322.tar.xz 265392 BLAKE2B 13247a816a461ad9aa95ce70e38cfa4cff2c84ff3af75d64ddede6eb2f5da22020ddbe4a202fe89214df5216559824cc6bb7471846bed1c78519391a80d93d68 SHA512 2ffc63af2d86b7dc121c6e122ee1d23387c4c73a6ba65b226413671b86644d0cd9e9ec646b3eef49d9c4b2d64575d83ff45f3691337ba1dea6835945ca80de13
 DIST complexity.r45322.tar.xz 5604 BLAKE2B d12860401ccc3eea9ac8988a1e549d9be14bf6eb33307545687efe172df1634209b908792aadc61b3cd2d3aa013110d16c87d14b8e7609d42dfbd26a9d4a567d SHA512 352e1a308e159e432c3123afeba8b173b28e164c81b4874273ddd3f8bb8c8866ef33ba7c06e061d52a3845eafb3307b045b82c9da5ea6a812f3808417fa074d6
 DIST computational-complexity.doc.r44847.tar.xz 799564 BLAKE2B 7e82b0762e68dc21bf4bfb52f71ededd588fb648f043c69063edda2c829f7c0f7272ebcb95debd2adeaa804022161ee4cca5782bfa14b9ae7ed117c14b439eb1 SHA512 9daf1691d33bbf00b67b82cc29de0002e1aef968cb1f182bc3d722082582ed7e60945f74675b48a87baf67aa9f5fee4a167bf1548d3312492a8f570feda93ac8
@@ -147,14 +163,22 @@ DIST concrete.r57963.tar.xz 9556 BLAKE2B 0f0c3680a86862901efcf00b9540f424342fd5e
 DIST conteq.doc.r37868.tar.xz 395140 BLAKE2B eb454fa038f61da2670ab3e299eb9a29f97d4543d3d8b5ecdabff58017e12fe06eaa51f1556adf675ae9ac06e3918818715264d4ba91f1ff2025cfe2daafee7c SHA512 edf52893cef8c5f8538a64d626a12725b043c5f0106a63f02cad91df9ad632009cfe3da51149750d4c23c12742c00052b951ada957b89641d9a0da59e93396c8
 DIST conteq.r37868.tar.xz 2268 BLAKE2B 10063b76d709523da78531a8258c22e595fb37e3cb79e3cec9df7e25635620b28395e1b070f24592a0ed9db83b17418c9907d2c9d123896af78ea6dc04ac965a SHA512 ee0f344ed0eab872aca3c54422f83a6f8bbed2462a22cbd54dde075ceae79dc5a01ef13947327ec726d5eeb64eee5519e4074c138f4d172bbf2b4024eb88ceff
 DIST conteq.source.r37868.tar.xz 4924 BLAKE2B b783b09956d24d55f1210648dabf1a894e37a568e29ef72986e1c724a7d0611aff7f2fb6c300dbeb84f7fe2c6ea456538d0dab0d431e6e9e8f1958bafe13eec8 SHA512 d3796e7bd679bd64c59a8d16e50ee7e190f9fe3c0774ece399486f8d5df7f6f63ec8a0c595572be305532c66b94011a92bde3bb5850f2feb4ec162e3415b5102
+DIST cora-macs.doc.r72655.tar.xz 182512 BLAKE2B ccf84acb4e3e09b876f89c78b641fd178bb6ce27229475936d17087275889c672e5209aab636de3db5c5688c52911072fd493c23b2cddc0f91e815d0b61e8946 SHA512 679a18a7fcb7e90fff1587fb2916a61ee3b4c42bf9975b38c7ebfa634ad4a82c9a83de639af9639fe4b5ac786382b4a3f64314eec44ea55ad9f55f815f7922d2
+DIST cora-macs.r72655.tar.xz 2796 BLAKE2B ea50a7e336fb55cb762c9a1ed2530a6770ffac327aacdb9eb0495eb9be1825920e1e085b28faf48342d8bc059f8181c26f5f16052ac194b660b07c0dc54340fc SHA512 97397ea4c6cd8d143c57d2cfc736d94ba268a25f2678c21b2dc6620c853d8762ca0c0dbfa1ec94d26c40b80e0b9bf682fec30498813d8c037bfc574b17af0a4a
 DIST correctmathalign.doc.r44131.tar.xz 478128 BLAKE2B 029c051ae7e0722f15d6b53b343a36fbe7ab42973b6a94494aca76a463c41375de77bce809a88906ff9be7dbbd0e1ce5502d6dd7c7e67b0e81c75b8ef3b34f22 SHA512 bc6c9f24a4107d28120e6934f6966b2560ca4c34169b0074023e941746240879bc0572840d3967effd3a1358ef288ac412946f79fd3b40151c1507cba8828be0
 DIST correctmathalign.r44131.tar.xz 1508 BLAKE2B cef5b06360fbb7e7212ceb1f8557f844c8778bcf9665e4743c67acf15a6a7c42f656883fd02ae6dc5c8943eac7ec98ef23d2f6d8ab35ac94933a879dc842ff8f SHA512 5a7e9b3b51ae82980cc1ab9d4ae74aa0b65afa533d21230b1f5e6867bb6464f910a07bb1c38621eb18d8bccd8bc50260b8741752936c310012590706726ed6f2
 DIST cryptocode.doc.r60249.tar.xz 1046800 BLAKE2B d7bebd619fdf63ecd709d2f0a9b1c04ed0146bc33e8dea7e4438d123c93abff2a822748e5c7c6e0023b818962e068a889364f7a189f934a1b53c63eacd164151 SHA512 8516c946f2a72a898a6320be3b9037b3e94ec1e4c4624ac0c7f67f64855308f793275d682e2c16b5566abc17ab58200ec1ddc32dbb9fe2c08fe21183bac2986a
 DIST cryptocode.r60249.tar.xz 21648 BLAKE2B a1461fb760e9c939e24aff6e61bfe6d2a532b025c682e308c6f37ed7ed332d95ebd6521460b95f7270cb64949d2dd6413719d6665df65e912d21bbdbc13a3205 SHA512 d4d85db9f631bd2f3c78654e88b9c77df7af991f304732ec92b58d08111baf2548bd7d27e6187b0fb6dac7cb0517d27ef3973293cb76088ee8824cb28b1493b0
 DIST cryptocode.source.r60249.tar.xz 50996 BLAKE2B 9cc1e0054a32e95b673edac8d81579285e5f947eb27df2abf8940eb3a78bfafb45c61e58a4be75182ff36419d0b51aee53d26ec3cda00b008b56e46252ec6793 SHA512 ec51e316bbeaa2a28f7fea918fcfd3338fdff0153325b93309d79300b9df1655620227596cddb429952ee2d9074da8eebe6dd64207e2f300f475215eb33b9f3a
+DIST cs-techrep.doc.r72666.tar.xz 284020 BLAKE2B 6f543b7c4bdae502616e52f558a130b8b7070784074bf1d7ba50608121db84b56fdb460036e7e4adaaa848b8556f755dd527ddc3ea67fb3591c612092e850d75 SHA512 25d38ede6b236ec7428d73463e82bfabd27c0aa4e525daea671d3ab894bccdd5f01e29d6ca9ee21dfd7932cd8da1a9bda8826ea1696ac75399636bbe9784a7c8
+DIST cs-techrep.r72666.tar.xz 4256 BLAKE2B 4d678eb16ba945efd6d6095b601a1b1326860f1f3f478e8c27c75ed0eecf829546f27b0cc279615aa4cdde60d2b078615fd72e9454fdeab8459630b2d93934f1 SHA512 4390da818fb3a9dab4cde89906da90c81cd2b49cfbb16440c2aa724808bdc0acaf85ba6747b8932ae579a58c17bad6cfbd5f10c2cf1eab5be5a9d1fb89f2fc8c
+DIST cs-techrep.source.r72666.tar.xz 9736 BLAKE2B daa41b75f86f41c025fb6c05e6002cba3067d638ff55f580aa0c73abe63315087c1c0f99219e4410998891d3ec3d8781e2d084298cf8e328f103a2a704c2b0cf SHA512 e651031cde8c9ef0d7e8d516135d23dd23a6d0077801770f01f46477e2ec43703815f9462c2f226bcee03988b8f2bda462c1b91cac08933a9a60dfb2c39566f9
 DIST csassignments.doc.r63992.tar.xz 106972 BLAKE2B 72ead30b2b62edac07bbf49996cafc76383b536f31cfcd15eebec5c6468ad5c566f6e79dd61772201ba8cebf65357fadb7bae3e1d031469460715103bcea7edd SHA512 3523504d0f7289d485fd34463ab7a0ba2fcc3d4a9b2908f3853977a8b3d7fad4266fd20050d2ee8a685483f47a66e04b50fd4cbaf0788f22c1ce48d2f4b89476
 DIST csassignments.r63992.tar.xz 3884 BLAKE2B a5d0b2831ef348e48a2378b02845ebddd3dc290155c722d78595386c63ad5043aa0d4277150273f69a3e62ade51fc1f0465d4122752af1056290784215156198 SHA512 0e5356f133fb6f3fb33ee0407a53d59330e646e4f1356c307464c45f5dbb66435d68ec833c6482673417c53d611816c4a66a5db34da6b14e327691c0f0c3590f
 DIST csassignments.source.r63992.tar.xz 8200 BLAKE2B da8461d27dac65b7b140dc905fd62caaed6f692d645dfbed2a28b002283f2479a266821e38437573b8c9dec650ee433a5cec589dbbcb58a64efabc9fad7efd88 SHA512 0ba1b40ea19e3c1196a4314427ed882a00a4c4807127d0792ad6f020cb273d3c157ffc469bb7f363726b8a73ec20a9989de43a9cd82e114ccf1b9a1e66328547
+DIST csthm.doc.r72152.tar.xz 414796 BLAKE2B c5271d92cf944c652976b3fe11265e9c8247c6312d07c37307df017a648fb516e5d18a71090bbab639d794b0670a2f5a5ce53f02e236955c78d03666623e6f88 SHA512 19ad915ec352e4b22debf624230b86e43c8bd5e7b904595cbab75f5d0b916335ef5ba8da8d98caeba26fb14ec71871e46f838c4c89ade1eafa8d4c1601532cb6
+DIST csthm.r72152.tar.xz 1984 BLAKE2B 87e561edb88a07b71aef585c35b266ea965262b73eee2431d98bfc4d5d71719e3fd3e97f1a3e080d537464cf8fe76006ba8681096a0f3788676cbb3a98b760ee SHA512 1e80e2f53e5a7ef74490253500771d882df01c35354c1242826bd2c5e22d6bc2012867428d1fbd74347c0e98bd66e883331c39387a08ce85b29075b1cd379e17
+DIST csthm.source.r72152.tar.xz 2992 BLAKE2B 0b8c9174ad0f7e45e917e6ba651b8a9ee025e988f52d473c07ea48119cd6b402e67b3ba24dbee03dfd9c240b90540b9d7c528a423cc7c34bb36bfdb92ae4057d SHA512 0a784005b94ac340517a3a8f808c1d3946759a4ca7482a647824a31758812bce436f80a6aaae2d37c80ccbd0e839223fe84d7bc119e8d4cd21ef70e546791a3c
 DIST cvss.doc.r65169.tar.xz 574872 BLAKE2B 076bb91933de81328d4ebf20adac37393a62ba12953a4288564b089a7e7596b5b77f5b63edd0ecf71c914fcfcd116d81964d083ba3b462bd0da26d0355ab1113 SHA512 604139dd0e636b5b050d07417f7990c741e7400c7c656d76fb15d56a76b869a2805e43236ac2ea062826df5f102753c8f1450a4e09b24dbc2f96b6668975bbe3
 DIST cvss.r65169.tar.xz 3320 BLAKE2B 74fb5af8975ae36fb6c329bf1d1589fe0c42496154d350f61403ac9172f11ad4cc81218ff69f4e39c3509edeccc6ad7267e69f58b9494537212691258c041638 SHA512 563d310188adc99e14bc93772f8f94af0741665c15d8013d9cc98fa5d86129d48b62473835973bba90fcb4117fbd782b029b87045e5b392fabd308c8f1a6de42
 DIST cvss.source.r65169.tar.xz 7376 BLAKE2B 40a1ec8b3844ce17cd2af5fbf9c703af7bb166f6a684445fc1672e1ea9a0cd0e8ff9411afc76da412dcaf889bec9e42f6b60689352144722b5c1df8eb81237e9 SHA512 771545e51e6066529d43edd5f14f070c816c8b86478f5e2598929f34838dfd0e90d9ed666d478e8f5c3aa14da9f6f7b8658e6b1527f212c775cbc2c7645e9e2f
@@ -167,8 +191,11 @@ DIST delim.source.r23974.tar.xz 3548 BLAKE2B ebc1e256fd0c0f1cffb8aab734fdf1abf29
 DIST delimseasy.doc.r39589.tar.xz 233368 BLAKE2B 06f26f4eda65fbf29c8a1cc59046fd603c336f0820eeee05939794f3850051905399900ea17c3450bcc16c59b8ef45164de53221bac986fbd4f8d32e5b2ab42f SHA512 bc9c1ff757a9d98ff9b84993cedb62ee024d0f4aafee301db0d862be3d45c76d8d164d2d3099ae37d41017316282db1e7882330dd10de43a9539ba0b10e86b08
 DIST delimseasy.r39589.tar.xz 4816 BLAKE2B e1d9cc6c2562e37209f23a8907de2a233944f1eeb695ac2778eccd22a383bb92fc60c1bf6d6a197fd990989b299bfb0a3c8f3e25adc8786f4fe9b495441d3497 SHA512 7f9b1d77e9b9bdc6e5c45ed3c38606fb0d65113f7303e03f591c1b84aa83748d72fb8ecde0cd0c7b19d1bc9fcb454834e156429fd9080660aec77ddfd7b53e42
 DIST delimset.doc.r49544.tar.xz 319324 BLAKE2B a97a71735e3d665c3301145df451fe07a32f67f23d243d13b6afb6adb2c567732806aa589d43d468c2233214d8ce2eab939d785c0c1b095ff11ae06056d0754d SHA512 9e671fa601b878187b5b3ae1a47feffb6c451fd42f202f948a87b02f35385b47239947a3e91260e699c64c453df161d9ae734fa3a8e241b0e47056181fefc46c
+DIST delimset.doc.r71829.tar.xz 351444 BLAKE2B 6e3cb251c654c405e0061bb8da64b2611d36de5bdf17c5cae8f16942dc9df30f4c6296027e48fccc39621c9d03700cabc259aac2e859b0cc136e8f507b722eec SHA512 bfe0517d33fc23225490477b8858572b70b45e43a2e9b3019aabfe673a69683998c9c0f20e34efc15bcc0d4bf135af2cd867bc326ddf747ab02cf0973de5e7e1
 DIST delimset.r49544.tar.xz 2016 BLAKE2B 4378beda5666105954df73abd7242d32eb4f9197c9e9c4c46e41915724983d33be6483183bd9696761bd4151fd092e806d438db89fcf945eaa45362cdac6fbd4 SHA512 5c19bda2a87de91ac1d32981198ce7718d490184d4d65dade231b66c3f46621af91dbeb89bb79ba1370fd82a0527d01d0aa7cd9dddeea818e8c4b4380a7b63ed
+DIST delimset.r71829.tar.xz 3012 BLAKE2B ca1f7f076f74a9369325f748fa74dafc0a5d0a1a77df4bb92fe3f56be48f26b6c7f54a9354e5f0f22956a749af402d840824d76f1c53262af3860d29a4cf9e0c SHA512 876eb8e327bf7a84760147bb3a360d7f49b79c2e1f13d14b10ad176d5f66bb696ef881bc5c513d131fd82b056b1b1208823274fb53e5481e50081f72f06102e5
 DIST delimset.source.r49544.tar.xz 11440 BLAKE2B 308f2d6be0451281b6a19969ebf3a033b45efca32fb0378dbed1c58677102a5e9edf5f0458d7d8d48e06ab5b9493aa8b9dcbca1772e3be60721c7ebc4290ff00 SHA512 d5618af6db29684ddd58164c9f55fbee73417d6968550361d7277558de98e621e2d1233b593c87860ccd8f7beb66a3c2369518736e14c86472d77425d6499869
+DIST delimset.source.r71829.tar.xz 16796 BLAKE2B 99922801b6cfe82a558cf5c8635a6c60a7717f683464cd3b4fbf5b8b965e6ac64bef2a0ba8969e661499b34faaf10ba8a01b4960104f3cdc299c694e12727237 SHA512 15867340a499e18e7a450da5a3b51a368a17755ed377a154a1bb4af9edbe3768102f879e472874e10cd3c82f2eb9649c4e2a7c15fd51def3e4319dd262caa565
 DIST derivative.doc.r69746.tar.xz 223524 BLAKE2B 4160f4a344168bba8fcd9dbd86db8b21e523e96207b8726cfed8c989b24c509c1956c84956800bb1473776fd91d5ddd331dc4c79b9439bd1d65db40be5227de3 SHA512 8951a888d07fa9136a71c0b0fb25b7f3925e137100460fb41cae0766c56cbbadad6b58e0afd690a608306032f5c2d95c6d4bc8f07651a1354b184fc28b9fd2b9
 DIST derivative.r69746.tar.xz 10424 BLAKE2B a7c90b0df4ca2c2315435e19dfed0d1da32ac1b2d3221d69f9328e08b831ce2fd9f98cc489bade6bdf0ada5c4cded9e3e94881770447fb2ee6d630257f09b615 SHA512 a936429cc5b9933deaa349121fed565fd46e2d81f8d5a5be3b282f3a5107c13e2ff29e159759c10dad12bda9d5fefc5177fbba636dac0dd31aedb0074cb5ea3f
 DIST diffcoeff.doc.r68838.tar.xz 1346876 BLAKE2B da887f7db46bbc10ec7290bf7eddad0811f99bb7c0ffe9bf709be2270504dda02d87fd60dc918b9de2674b05dc2fc9b74078e8f684954968fc5138895a59739b SHA512 65646cb4ad22f5755be51c5c8e1ff907803d9d3817b76da8146d81b7b42ea4c9af07710d55d861795a2e7f25f0adbf4f0c55bdce208a563c3ad34d32992c17ec
@@ -177,6 +204,8 @@ DIST digiconfigs.doc.r15878.tar.xz 120640 BLAKE2B 4e7cf346c055e1def108eed32b198a
 DIST digiconfigs.r15878.tar.xz 2096 BLAKE2B a9dabea8723630a625e7b2e2e8bcbe92b18dd122751302dc889229e7d8bf53a613cc3c0cde1d10a3b6f20a50e3707f3eb4c48ac97cc6015a63cee844afde18b2 SHA512 a1d5cf0e93aa2722087a491d49c87c1b6c1dc863a39807f28dca198d4c52d8add42706f992ee91b6a42fdbf379293a2aaf3a21199094526c545f41002e8992d3
 DIST dijkstra.doc.r64580.tar.xz 160036 BLAKE2B fd7fa6c644a96a6ad361f6f1447083a434a7274b51f90ea3dc6271701f172d4b4d52305cd71f11dbd2579ea0e143792df99984a53b5f7f3ee89a16217316719d SHA512 474f8fedec9daf17363773a200b81ba57f57175b1c52de5b7a7c8f7395996725284056ddf4a9e3e68baa1197dce84ed2767795956a403946f530492b6713b8d3
 DIST dijkstra.r64580.tar.xz 5116 BLAKE2B ac4b9b95a8976b4e0b27703bd1ae5684729be7ba35c9fa0d590ba9b315bdcc892bf8173a476afeeaaaa914409428b6c76604c26a345a4e617ade78a1b4306308 SHA512 5662fff484dc88098c2bd22784aa95c4d990c5a725eedabaa1f542c53671783fc89ea1a4d6f7450483dcdb2cc8ce758a8a26c40d7ad27b93d7e3eef4d31d2ebc
+DIST domaincoloring.doc.r72176.tar.xz 4357968 BLAKE2B c9fb4e5d9a978dc8f152c0ab31e4ecace357e07d961eab8472a351e4e80761ee714c2d718b853f19705f28398180b30b1ff167bbc234d53145a7b3f010f77e6a SHA512 7a302b1728f3f024cd0a9f0b4dcd0521cea7993777b1bbd4e36016bc5bf92345d32a6dea8512d9ce60e240a6459b896c2ebc845b8d6e1a40eeb7e1bf1b3ab324
+DIST domaincoloring.r72176.tar.xz 8304 BLAKE2B 0573ceaec53bc288ebc2cc05b36ffecd68f658eb83a1c419695dec35145cd77e53cafd9e04ca6f6069fa9fad12ba36cd6d9512d45c12453e9f573075231371e7 SHA512 ce1b0f8fe35a76e05a6ff4e1744d25ad4ac5fe766926bc22db4d785558aa296bb7a845a1309cddcb29986785de36f99c0fad113ce9fc48fff154ad39c5ceb44e
 DIST drawmatrix.doc.r44471.tar.xz 313708 BLAKE2B 363fda4300231514fc0b735bcbe9477a01da97e16d758d104d2acd3b820ce03b2b01662b4850492f4bf6a12e170c4ed65a4be99c63ca6041082c3bf556d4c51a SHA512 07eec69024d4daff597f2a937178f66413e6dc4974a2044f983e809b046f09140db7eaf3cfd68833bd95be0d56b4a564dfc9ad4d771fa124f55ea3783eafca1b
 DIST drawmatrix.r44471.tar.xz 2456 BLAKE2B 7c002aef128a8cebc2f5efee2500596e6aefd13cadf809ddef8231fde157340b6f4ede3395fa69affa94916011f3b7d7d5e684985817b3c155dfe66de27ebc38 SHA512 6be4d4ee6970956dd2f3b31d31ca0cfbad268e2f98ae64fd87a49de9ab26765447531121aa0edc157779f3f9c0dd76ab2ec3f747912f4204aab9e2e7181368f6
 DIST drawmatrix.source.r44471.tar.xz 5136 BLAKE2B b8df5f973fd6925657801c27dfcdae656548f40374b9ea169e67405699792ef44404a6fe19a60ebaad0323292aea54c37390f5755cd9e042cfefbb3b0d4eb07e SHA512 8125f7c3b0867df9d8f21e45d89a03e6ff0f946d946646c26b0ca825a30c62051264f45e5c2da5bbd45b35afbc2f7f7120e9ea3d2d289f6a228385860d25f523
@@ -202,8 +231,11 @@ DIST endiagram.r34486.tar.xz 8772 BLAKE2B 02556e1f3c1c7de04836ea96b466d8bb8d509d
 DIST engtlc.doc.r28571.tar.xz 599048 BLAKE2B 6d596222c87fc9451051c2cb79fc9ced61bf913127b27eca635ea1022955b245872b589d35b28218d5a51f80a970390a43d0a69248d38c45e2ca33ada211389e SHA512 4c6cbcf337eca115a856eda24924588208ed9e7491936640c8875d49d649d6012279e4eadfa7cdb6544e08fa283c341754d896c921402a2b1180764e8a8ff233
 DIST engtlc.r28571.tar.xz 3740 BLAKE2B f331db3cb550491da537be150864dcc8a8a83a5f309a2339a0ce75604205f894b3c58971a1aec2cf2bc232ce8b0c3679638202482d1e7ee91e27b748140c31ce SHA512 c1ad2ed5337168c70bcfddd35c72b83b19a1596bc7d9c71298eb82ad8637c984253c79216606060753d1cc5ad4f961095eed8be2381b786b12202f5b0bc748f1
 DIST eolang.doc.r69391.tar.xz 1454556 BLAKE2B b11d1a0b7e961aafda1da8e6443e3a90301e152c2d744988b98b0882f3dfc6c64cfa55910f490bc1a3753c88b483a4c7b6e9f3731cdd35c0302be606b422d65b SHA512 6802a32f5abf01bdf32bdb7299e82ae2740e8323bc1ce0fb6dd5d38c87146ac52abd4fda69bf28dfb8a10ed09223d4c3f8d320510131c5a81f5262f2e81af9fc
+DIST eolang.doc.r72724.tar.xz 1358064 BLAKE2B 1def040bc4597fc389538e9f673119eb95abbaf684bfb0f3558e6c7370c4d6ad25c99fef304452c92a056bb3795d73873ecad88af2eba2a6d8325637e5569f2a SHA512 e2a0f6493feb7d1e06b04791c050637fe3fe37439fed28a31068485139de234b264e798d93fd06e5651a4ffc5a5cf5d4d352c7dee205503bd01a0ff1171d65ca
 DIST eolang.r69391.tar.xz 9068 BLAKE2B e792adbbb7399bfe0bbaffb58da42956f85a3761ec140bf663ed8cde15af7dde5198796d40abf6bb340c6b7b7955dd6ac445da2eaa69bd27bce7b03d17b517ba SHA512 10c7dc6dd0b824fb2ab22318b6ecadb592abb552b4a6fa58fb89612add290928b625f9f6d6ac3bd5b1202662545e51bbe0d8b154025135f92c7999341876b976
+DIST eolang.r72724.tar.xz 8924 BLAKE2B c1d3a6775ea78932c23ffb68d0a3ce2ffaa228cacdd91a5f5d071732cdef262221a5783c96d4a5ed9f0a7e08a3c92ee60ee0e0b21e1e23c15b2d4e61b545230c SHA512 58d0214df512456616ad835cacdfb4e4ed8da55d1f82dda08ad2a77e4f82dfd428fe89e5c4b2124f7ad16e3097e17ca97dcdb059e47c53302e9c4785ecef55b4
 DIST eolang.source.r69391.tar.xz 16972 BLAKE2B 2ec70a36335e84b6b828d2d49d4d7f1dfc506fb31f2a8ace89a34288cc1aa5917c985ecd23fa346babfcf87a02a860a5b98d14228a414ced82fc75942fac44fc SHA512 97ab60d5e21fdac9aca815b6acacc31fc534474fe6037256e9b18ce4cae3830ad39257f593a95ebaf35018109286140c46769990f60f659aaa78490bfe717cfc
+DIST eolang.source.r72724.tar.xz 16996 BLAKE2B b237c244a6222cb30f40474c1f0ac321bd8cd12d427174cd6493a89ed330d7ad73fff2847fe68acfdc8f93b8df82f91e6e9d1dccd8ba66cc507f85f296fd8c49 SHA512 9bfd779e93fb9e450c9600b1c8153d24db857879b8d628cb98990db1e0d54d408620bf364e7db3e0153dc0366cafe4e12d15f6b6f6f1e926fd8f62a7d894c4f1
 DIST eqexpl.doc.r63629.tar.xz 87944 BLAKE2B a9a9c40adbd1d67009a08f7ebfa67f1c2c795c5213613983dfdb6b9c185400bac4c26b930a8cc6fa63bfc54eb9a6b8c82fe9e03546471bb650e96c28dc2c0bcf SHA512 2ad0eb828e3ea2484220335d61102e0ccdf9787b0165d6f8ebab2073ad2407757c04165d5f872a4b3c674d2c27b952ce9ce1bdc09a626b8e4fe804a5ddc5b1ba
 DIST eqexpl.r63629.tar.xz 1272 BLAKE2B 80868b27b982a6a58e19318b9815f0588e65ce59eb0216979f301bab347066cfcc1a567d28e63bee5f7866d88be7d1cdfe942382773df27b158cad65802e38df SHA512 75f328b6b1e729b76b9be92ec7ad9844e5a41d8b6776700175af98ec217ef93df6dc56b92b49892090523e9308afa069ba3e6beaef8ca6712aa2fc3995417103
 DIST eqnarray.doc.r20641.tar.xz 101768 BLAKE2B 2adba9729fa7da3822888d222a5d165af19e0b8d918d31dad8c232384f5265ad88d4e515fc4e5f8b462d18fdf42e1cac154ae70d23bc67d33c67fc245dacc641 SHA512 7ea3d87f81eca28dd52f9e9cf4f7df1ce4f7b9cd82cc40d0a7fff234415b2a3e033fa1c8a11594b2c08e5edf87ae265e5f7a65eb92a79cd523568f37853de30a
@@ -250,7 +282,9 @@ DIST galois.doc.r15878.tar.xz 87220 BLAKE2B b1535a55b3ffe0ffd52fdf76726762f91971
 DIST galois.r15878.tar.xz 2328 BLAKE2B 38ba3466836fd1b2cfaf08759d8f383e9d93ef99ae5b17b3102cc40fb4d06ecc523b744431285cfee6715f495dfadc1c8e993b5011a9b08e5b238f62a9be29af SHA512 0c864940c2a47ad82f031868c1933679f9ee0e5ab01e98386433311a4230a77c7a5d41016619fbf7bb1957fecc259bd092d7a0894eedef91143a0d85e68a6978
 DIST galois.source.r15878.tar.xz 6452 BLAKE2B 2907aeebcb99bd3d9605e061f361b5c9ae680090384829e103e8596f905ee10a2fbd6593a880f9ee251e71f10d06e054ec9d864c7ca2fcb300d3c45774dba7af SHA512 f1f62a005edc9b6b5c1b294aedbfe00cff61c48f22d2fd0b90d76b1c6144fd9c8b885890e4a6c6e64e054ceb67b851c6fe3d9f2f1baf2801f070f0bd269d4925
 DIST gastex.doc.r58505.tar.xz 126804 BLAKE2B f34d68a56dc7abba22dd56824501de00ad2897bfa99296492ec014bb5f6ffbcbef8e464e9a7b1ed63e4684d5ade2c41f8afb63f636ed552c94d79d4acf3f8682 SHA512 86f3ee5200e41def7d13df25d175c955c2df562652c4783c8083249eb924c01556cd402bf2f4cf44d02f94cc280e1643c2ad2261bbd191678e3c9039430d1c58
+DIST gastex.doc.r69842.tar.xz 129720 BLAKE2B 6d2bf6c53145a101a48bb5602a267239a60eb46d1105c966c7315d9dfa5d46e2e3625d439af055bbe1687106a0050fb627aae0b55b03a9266a886ce0293389dc SHA512 7c1edea3ca7d049e6f8c8c4ebe34b0d1fd3cacbe6dfccd8107c8be78fd6b1e138ead62b5424d3a8fd11e348d0240a58b178be58b70250a51586f22bf4f41cab3
 DIST gastex.r58505.tar.xz 18624 BLAKE2B f1ce8e0da34f56ea0ecbf07a2c1b89aacd9c61dbe292e3d855cd65564e763e304a2ad3474895d95d06549ce85c3718f96fa594661a29fb1e5468c919a39f7131 SHA512 7f75503d009584119967528fabbd72a8f0b0430cbe67fcdf4ec0e0bd5dbf63279e10ef32c897eab9408d518a1c1d1d01d3a428e9b7f72cc4d7387e3b692a6caa
+DIST gastex.r69842.tar.xz 18736 BLAKE2B d1981fa1462989624d9bdca155f47a7835fa55eeac053af98782f32a613ade7edb0c4b7e69fbab1487ae9b381809a8a3a252458304b7a38cb4516c00e3b5aa90 SHA512 65fecfcad7e50343ede8355a001e9beaba47fa24c65054c1ebdec5a1be6dda7ed2adfa2fc4854b38f984dde448f535a48f8dce0c07fa1bc4854fc38dc315403d
 DIST gene-logic.doc.r15878.tar.xz 66856 BLAKE2B 545053488e47f8348434e65c566b5db8f5ea3878fcaebe8be83a89195f14df791b7016878ff0315ba2d1fc04bb57b672928ed63e3cc959491f04d1152ec360d8 SHA512 db358777af18e7d2e93dc23084bec0f47270b4cb6c6078382a1eb9ce288aed06a6f55fc30ce728b1312d06f871458fc6b5b697b1073316e8f727b5ee80f99468
 DIST gene-logic.r15878.tar.xz 2004 BLAKE2B 98271cbd25d2feddb4d1110e7efe58d8df53017bfdb15878445a287b1670374b6e7fa1651c3e4433b46c0e118d8b5b1b64ce2269c428a067e05ba22618ee8873 SHA512 b7cdc0d653aa8e25d763ca4115fa6fc857ddae35ed835aee6b6a204ba83d01ab91928b00248c40677ba132ef113276912a6b85dfd456d937114a3263a1ef4c7f
 DIST ghsystem.doc.r53822.tar.xz 721592 BLAKE2B eda2d950eca1d18276c3e9f8d70a48951f833da8a28234ab7c777b02269e839228ebeb787920339212db5072374cf63c7c3fe244c8fb5582bd58d83191ed5b17 SHA512 d2f1f42177ea820d209e9574def8efc0dcf9fac0c73ce1c9eeaace7bc0b25fc470ff7265ca8a4f42f6482dba61d7d764b2171268c168aa7eb154bb6f9672f52a
@@ -302,7 +336,9 @@ DIST isphysicalmath.source.r69343.tar.xz 6240 BLAKE2B 349d3325a50b2971b3abd74ac3
 DIST jkmath.doc.r47109.tar.xz 128124 BLAKE2B 4e692752cfb61e6211134e8b38081bbe2bb2a64bf6e2b41df8b6fed14f2663e9fdc7360216200ae74485566b02dd9ec64acdaf8bb113fffdb48235158f5ff8b7 SHA512 99a954f6eb917333a8e6c4e3437fcd16f6950e0473fc1a48c99d748246c97d5a3df5b96e0314a9ec5e7c6bb0b318b934c40070ec94df00546e49cf140aef23c2
 DIST jkmath.r47109.tar.xz 1636 BLAKE2B 5cc4ddbc7ab8afddd4f1c33cded93559e578e6d9a4e406a6801796da6376ae4ba2eabda017eb1577e675c1ba9b49c04248bdbb5fbc1f89148a716ae5880b10df SHA512 8e549db42b25c2edac71013afba0ebe3e09859ce4ef104da2b969663014cb88c10bf1c8899ee181070e6cec1b28d0ec9e5966d27f2176e2032d6855ded8ea941
 DIST jupynotex.doc.r56715.tar.xz 28936 BLAKE2B d233971ffa61d2e98badc7fb831f94d881666f83697515a8db3cd84ce899f9c95d9016beb2d666aca4d0f6024b8e602dcd313ed5ef4b8e3339c4957ff92cf98c SHA512 35b8d2dbcbecfb4e7b2bfb0ef39f2d076d6f4eec9189e89cee3bdfdbb6f57d5c1dcefbca3eeecf4842f7f94616030d2e73588074618b39e232f40104e371f3ea
+DIST jupynotex.doc.r72373.tar.xz 5724 BLAKE2B b1409a9a373ae5577c14468808567b3184597610ab9542ebf471ff04851aff4c32c4bc68896594c89dde5a10d2b16b7a38556fa360fd00eb276ff2cd293b5ae3 SHA512 63ae4efa1ae7c740da1a8dffd16b6d6ff2fe8fc91f21c8a857fe53dcfedd87b5924d8736b02b140dfea1fc69f7e90f1025f7a34889c7cc9c3d262e0877a68811
 DIST jupynotex.r56715.tar.xz 2516 BLAKE2B 0cb586d2c95285ebab28a2a350424d9b1d0fce2e0c9aa4317011ac6bad5502d44813e2b5dc3e889313cce8f550eca1062546094dd205e5f84a61e458cc128093 SHA512 3b5cca7c6b8b14eda35d52a6db5e7ac027c0b29ee08a7b8f58411886963d8dc69348752d6cc1f010d11b9216026b705fe4cc915d2c60cb3ee9f3950fcc6bb308
+DIST jupynotex.r72373.tar.xz 4660 BLAKE2B fb5d1d36c48cb09f843913c020a89844f05430f67e38e7951e587f534797339d31e2db2246e46667b5ad1ca02bcb9a5129dba8e070709262fcd85cdc4144ce9a SHA512 f048a117d04aa236694c3c1b56738131e0bf5903301a01921aec5888ed5f11415a8cc5abfc79fd90d100e497f8f71d2ff24ec340a60705a5a4df29fe0044e0e8
 DIST karnaugh-map.doc.r61614.tar.xz 287964 BLAKE2B 8b68feee21db77e8aea3d11d5e6a4f4a8febad28031a8ebad3e2295f41780ca0f9014df13ce812f88f673c73a1eeb05e3690023d6055c588a5cb15a715cafe9c SHA512 6a04bc71128802a62fa2dbf92a513c9859f9bab336cd2208d05fcd3b9404a1531e4f20cfd69a1d58186cee6660582ab03e89ce87511c3e1173f84bc6ac132f29
 DIST karnaugh-map.r61614.tar.xz 6116 BLAKE2B 2296fa81f600e0613b7a14f30c47fa5135164997ecd9f063788bff02a65929fd624f6e38af9879342e83851618a6cab5e53efffc1d4ff36236bf4aab3184cd3c SHA512 789421645939ff491e3ee00aa06813a5e194108c2d55a5e06ffb4dba593a095352ec54c5194ef8ac536f4226007d2323a923ada94966b5cdbd147117856ba680
 DIST karnaugh-map.source.r61614.tar.xz 9980 BLAKE2B 2bdd72f2cb2cc3a940cbffbd98517dd421af19b80317108d0327a3657ebb63018eb00cc621470967e0104e446648648da789d0d61136333c5370d8dd0051e88f SHA512 520bcc77beb97f2f106c92682898244160c2ee45ec85118776dc375763363b272e1459e73d3cfe1c27c7f82f24f723953bc9705cf1f506e7c4b679c0f3063804
@@ -311,14 +347,24 @@ DIST karnaugh.r21338.tar.xz 4420 BLAKE2B e5a636ed47f917efebd716afa0314513a36b8b5
 DIST karnaughmap.doc.r36989.tar.xz 323304 BLAKE2B 0eefc2d19d21e726452871d11b956e957facd73274d85973b9c0a77cab775092082244a915223b917e7008d1d4e5eebaa8ecc4eb8838575dd0c088de65ccc74b SHA512 c79e28dbfb45764c3f5feff21bf3cb8ec5ee41380fe43d35b2b091b1e263db1eb417a19c74987743c04a2f41fc2c3655fdc531c8971320580be48beeb4d3d6eb
 DIST karnaughmap.r36989.tar.xz 3320 BLAKE2B 36fd1e8aad096d2a2c05e82086a79ed66304aabbfcf737ad50a9f8499a419e9df516c4d32bc8102029392635d1eba4c522f8641727b73bf2a69e6a5eb3895f9d SHA512 72c5ee674d7719b535a03cb9180a605fce2ac089c875cf57b95739b5c139bc45552960faf8f3287731fbe12c8402ce3c2c6517513d20bbc484e12a44468d6ec7
 DIST karnaughmap.source.r36989.tar.xz 11192 BLAKE2B ec5677f7a1081e3fdf255c4dd5f4fd6ce2cdfdddc29c6254119afd3f5d2935dd2faf94a29e52730fe6a9120f072bd699490455db0a61d77355014a37458c0239 SHA512 ff5bdbaebaf55faf2d617b1e3634e52a6ec52c9d56932653d9b13a8aba94db101c4afbccdabd916d51be201135de2e739295b8a0523b63def160f1c07171e4a2
+DIST keytheorems.doc.r72832.tar.xz 174292 BLAKE2B fbcb6bb77571662fb0f683a36d74cf1c5194e72d79c87f8d9d0b7d218d3fd92e3f56f9352097bcc49302aa4f7b7d00f35492dc10923b2f5bbf716f68ff860430 SHA512 a6707acf09e6215fe3dcff7706ef761e19ed6702ba542f53a46fb861b7605732a99678500706f9da9e6468d36b6f36fe1506ad17b93ea442d1224ffaaa195c74
+DIST keytheorems.r72832.tar.xz 19344 BLAKE2B 87f3323e2d94d90c2d820e2499c599718412c3a2ab89635f6db4446ce747194552847c693fb4b5c6a31b4c5ab4d13397404bd20ebae8c398862a303735a553f4 SHA512 3bec9a3455e7906848ffdf971ed87478909f16d4a1c9dc17a2448989e6d7f057c2bd1f68a44dd5b9d476d08bd0340e24c21ecec1e57872b63c6bfdc7a7a92e68
 DIST kvmap.doc.r67201.tar.xz 93736 BLAKE2B 7c4398888a06a5835395367d51d4d86ab4d16287da036d4ec92f2e05227b9bb29dd03a7923c17cc3fd8d9406653e2ab97df797212d76140e608618059ce9dfd5 SHA512 96f3738d31a6d9fe8f8f8624448749fea3aa2d6edac1442eecd70d570954692eb9e1756c1b4f4cb02a8dc17cde37ea0012824fccc5b567250c8ab6715150c796
 DIST kvmap.r67201.tar.xz 2688 BLAKE2B 9d355c6a1c1585ef0ea93564e583d234d9d56cef21737bc318dfb40ddaa6afd50f0fd619ef105f2a7a1450629c73e910140faf78b13d3223635af05a3685ae5f SHA512 ea3659bf10ca08945ade08c52b4eba46fa01e28443bffd672a1614f917fe71f68a63d98568e23266d7becf6f6a4fed48f2d2367256a39e956bd2f1d40aff6f71
 DIST kvmap.source.r67201.tar.xz 8776 BLAKE2B 182b5ce2bda6641cd6af7bb7d068fc13f3007ef951bc777e99b4768f0497c8dbf640cd128fe5ceef5205174065357445506e7c4a9b80dd4184a193de982e4c72 SHA512 24103e29f4268d4ced68d5d1bb342c0e0155fe56e1ca07caadeda841795e44b0b246d2cc39a97f8c683a9ba71160ac774bcd194177352d6e29c079921c43c5b9
 DIST letterswitharrows.doc.r59993.tar.xz 480964 BLAKE2B 333e7b58b930a1017f41148dbc8448b540a51522242872e41f883f367d584963c55a0051f090e748030499b182ef002ea680f2f3866841bd172b9b219fcb1024 SHA512 a21ff5d9a4c2e409cd7a32207e1e162b263dff46919fdad25bd5fbc1cca86329efebf847ed24ff7401293d8a318bde9fe7fd2c9def69f39740d5e0686c0ab849
+DIST letterswitharrows.doc.r72723.tar.xz 468336 BLAKE2B 02be35fec3f761471378a53b177cf0ce833e117847770ee8817dc9da4643293b4537ecadfcaa36928416f275a28ece23668910e82c1601c04eceb83045051110 SHA512 57225393bbb5ea2032fad4264a1b95583f80fdd32e37d8c5f07eb182eed03de16b4e9ab7f07242f2209f9e08dc6e111f6f4106f8df3f7e7087fcee2aec8a459c
 DIST letterswitharrows.r59993.tar.xz 3252 BLAKE2B 4d419280a14052523029ccafac4ee2b01c1847783a7dddf9e97219f00934f030ce218fb58886e1f54c69feae0f245b492de049231291b2900dd6a2ce82e14976 SHA512 dcfd59b7a51100a4e1d856d3cbc0d4f2ac258e745566b278e275d8ebd0273e7f96fa1431b681d42e10b1c7496596f1ecdd92753b8b58df4fe352c51b9b009bcb
+DIST letterswitharrows.r72723.tar.xz 3392 BLAKE2B 1749cde17027127b39f7d7d3f2176772b98c5275d0f89c8ed4510f39725347f6c2d2a8e47719e0a0d7f8ed69c6604c1a7f834b86e11d20b060aafeff5d20fc30 SHA512 aa83d8d3df11c560a7d9e4ef41f9b505b43ace99c94eb7c46cc54af56a66f5f2857718cbae1a297995a9b632c77e27743c917a99b183983b2d7ce4358109c6bb
 DIST letterswitharrows.source.r59993.tar.xz 5380 BLAKE2B dd98d6ac1706d009b9c2c80e84731140b78bb3628df89a2065cf6333e28d353241022fd14ae58ceb48defb22bca4c6f4c00d44d9ce19275859df438f371deb92 SHA512 50e2521b55a238cd6e461b3bcde326c5948573363988bf3bdcc428d04341728dbf73e891d09af65ca1832924cdbd0b0320bd94d662afdf78b3d1039ca3519231
+DIST letterswitharrows.source.r72723.tar.xz 5572 BLAKE2B 26fb3bb140624bc52d569a87bfe5bbbd81affcb7c0a3ed0a9a103d489e9916d3aa114f008d538c60f7f25db957d1035e9c4d2465f2e231040a4797ccf4215e8e SHA512 e6a2a07e4caba824d8145599c0b4d09677404ceed566044d53c6a2b0bf83837a54036f0fb973bfcaecf9f4b165cb784b35d29d2530981932f2f115c11c4dfc5f
 DIST lie-hasse.doc.r61719.tar.xz 575496 BLAKE2B 77d87488f354b64b69cc6b7249fd4882a3d99f7c44edf394d18f1dca2521e017961b553ec27323575b9e921edeea664b636d7f610706964e4e5ec7a7c9b6c50b SHA512 d846971b6b8429e58521ad0cc564906fc06623a3764117069fdb1912aeb84858e7af93ea2f4a7732c6e677f260f10a6a9b79488d43caf56ad158152245f8e4aa
+DIST lie-hasse.doc.r71883.tar.xz 625704 BLAKE2B 9d90a7cdd4bec505e70df487e8c726bccba3fd2aa7e05a403720cd8e4ecde4f98190271074e50d56040af4821a2f565b22c08ac0de7c2234f5f80b17ec2cdaff SHA512 655f73fcfb149b7500f9e15086da819a04a673ee89240802564cf3f4a463b9a4f422643f998e068c64f0e0197a64c85ca78213380e023b1920360745ad746ed1
 DIST lie-hasse.r61719.tar.xz 10644 BLAKE2B 6266dc599c4ad5197944ce4ae6528125f24b56964fee8c82dc656790f54abbb76aca86bfb40e4829f28622ace91f26e5d9c02deada46e2750a41db998db6c80e SHA512 b71ed475c73a94a92b8a8078a4edccc73f7d688bad7a1a5e6218bafba823b76a20b79da83c7591903fa234c6f0e7f776317dd8b740e5fd7cd014821f8dd77c94
+DIST lie-hasse.r71883.tar.xz 10772 BLAKE2B d72532404e26af6690820041cb767cfda803c38fc155f431b32110c87010e8b0c74889895b12e3b37ce63c46dbe985133ff59fb5100b66b6ef53ebf926d7d978 SHA512 325ba9084d35ee66b1dadb6569dc9a58aa716cb258f78c48f52f61069703575778b942d1377c16b449f2998d23757847420dd4a2a431427efd80436e9803c143
+DIST linearregression.doc.r71466.tar.xz 383408 BLAKE2B 881cbafffd9c4e4a36c5cd71c0a48077658280629d535c54e74ca95a2a284e7059a6b14fa5bd7df20bfd0770e80f0d97eb15e6e8eb53532301a7ae68e81983e3 SHA512 70f869a730b157c133fbdb82abb9a41909b922880bdf2656deee5c8d180f9e9ee0d956aec669edb29a93f9b928edb9c66d16ba4d193ce3d288310510600eb2f8
+DIST linearregression.r71466.tar.xz 3140 BLAKE2B abbceaa834a188f802404af934dd5fb69a2eb13783411dbdcd8b513a9d4053cbd8751b344e45d95faab595c0834981348d60eed8311d23189c32e87ce3e33099 SHA512 e4272d0822cb2a1e31aa5f3a4b4567e5120c42dc5f85beff8c49afa162803a4bd974fb17cd6351866cf4da6825d92c2ee31da8f9f7b9939f59eaec7bc9bab129
+DIST linearregression.source.r71466.tar.xz 14732 BLAKE2B d5f85c83d396306a46f9ff2aad99222338479104ebb447a566e692bce891493a3d6c3ae438287ca631b625921a1b90fa6f1d56b97cb2af207ffee88a1a513845 SHA512 172e7823b59bed040e309e26a4cfd4ff92feed01f7e373921a4b3878402ed9e61c84d076f885d0bd612699025c6a204729e2df6f0aee6168ea80f0ca7d59a0ce
 DIST logicproof.doc.r33254.tar.xz 54576 BLAKE2B 756f5d8fd78188927e34be41d64724edc9b219d78eaf0a692d0cfb22b31c990bb2b4947cbc0a4a152f4646ae245af751111014f34901414eb3d863344d3aaebc SHA512 bf8a33c5db05a30cb4f520fa2f73f572a90c3803c4b6dc1709f9e2c80f67e32e7665ce898852dedcd3daa8974bf909034d06f805ce473318f0f512645ceaf9da
 DIST logicproof.r33254.tar.xz 2016 BLAKE2B 8984107662b711ab32033e7c45b47a59d291610fd9ba868aa389e6dfedfbd7c7ead31931b6c8713e61000a1f1ffea39da0038e3003d57aca870297c3c468c739 SHA512 d5b15ee5f35a9ef94618f8b092e97ccc4f1959a617c2e604b99ba56eef14c4a1a078d66f2c77d02239289e30878293ea6c9ff4134bd003331fc41fd3db19cec5
 DIST logicproof.source.r33254.tar.xz 7728 BLAKE2B 9107cfea8ef42a5cd019a06952768f9cde0c5f48a36145299b4bcd674028a6e9a827c17941a47f235e4a0c463057fb322b793ec64167edca69f0e7ae1f43c0b5 SHA512 4cde464059a65161c6ab069ef0c8905e4e6cefb7ebfd8c7c3b2af909209af4a911dd1bb0daee5b27868305660601187fe7a105660b395de98ae3d30864f012ea
@@ -341,8 +387,11 @@ DIST mathcomp.doc.r15878.tar.xz 166132 BLAKE2B cae5bc1ad3575f463c522b33e1b9fef09
 DIST mathcomp.r15878.tar.xz 1176 BLAKE2B 2d7dff3dde95c7ca4a0ea53b9e3a566929d5eccfb2ce2dd7517e9466b1bd332a4826e6c5a062c095a5e3c281f9b97f6c45220813cf4c3eb5400bc4c3d55d79bf SHA512 7dca82aff58606afd315bc18c6908946193be75f04ec456e2cede8184867543437007b27f04f4363a026a0db83da3fdf963afecab7330e9419b1ac5376efcdd8
 DIST mathcomp.source.r15878.tar.xz 3072 BLAKE2B 0ad3708fb811b99bc19cf67fa0db3f2a794d6d56f5afa8de675bb30f5280ab9042880bad6f27868166c0fb7a2ae9e76b49a39bde6e5efd755bc7c6689aa27962 SHA512 3578e5e31ac3cfda23381e348dfa9e4da6993a9cefaa73b3746be0f2719d04dd37d04e75925414f4f0083b0971222da5eced4bd582e405031f29899faacecf57
 DIST mathfixs.doc.r49547.tar.xz 293968 BLAKE2B ab0617e20b8cc093ac9068589a6eba4cfe0a9211e7dd8c67e8d9f8abc5760e4135c55ba16d1d3733f048c9e4ec01d9e9f92903a9f2d3bde99d42b5a1cdecfc7a SHA512 c9ad8dda9ffaa77ba727f536016ba1dcbfb91c4d7ab98b1e4b72156591e8ff0359f623475324e57c6b22f509cdfe7e30ba67c3fb22f9dd152e59f1557c96a6a6
+DIST mathfixs.doc.r72887.tar.xz 357884 BLAKE2B aaf7ab125757622507753006621aaa5a0cc4bdba0262d4684e35d78c7c5eb6c81f172e0999149a3815a4d7ec167f61a65924f85282e6427b60232675f9dc0461 SHA512 37f0075e7e724a9473c9221b69e5385151eb1c33df832ab236030a95e5be89586e1fe7f2179dbe37da44f1c81a74ca0e7e2351a52c71125f014ad67cff96acc6
 DIST mathfixs.r49547.tar.xz 2796 BLAKE2B e72d088b0824d73577c5a57e1d2360f47febb042266b6c550e0255a494dfc05a76d03309c001e643f4e2e259fa4f9335a1f6fa8d9974b036bf99ec6b5f73b723 SHA512 513e5dd9eb58ca5b1eb8daec663c48577fa2102ade0234412dbb22b6d756ad37009c689746c57c6624c731df64fa8d58eabfecbd4cdc31c576eb0ecd1e232fdf
+DIST mathfixs.r72887.tar.xz 3868 BLAKE2B 9775277186b28bbd11ea7ad264f49f0e884d331f4ba2a1e99e4e70d8bdedf6a54a82a23da9aa4aeadba30894f32eb142fdea6ad502876420da6a52193c5b78bf SHA512 48de9684433b25fdafee59cba4bc6cbd0e90e17637a1678dfe852fb7b47a84f78c886910ae3651d1626f89334615b890ec8f26eb88ead9b0e3f4a19c1d655b32
 DIST mathfixs.source.r49547.tar.xz 11900 BLAKE2B 2a0e757b276e74267f53a7d99736c847fa55706e76ebc7c3a834fe1f53a12dc25068c7a0ffba2a128401a6f6f857365f09ec2320072a34b31ac7b65c6a7e8323 SHA512 f08a26458ed871a11a44a1e957a1e9140b3e95c98ba1bd958cb9d63cbe483ee94e91217a5a7e54745b2cf245ee7f898fb64238941d1a8fce04699a3b8a06b7e3
+DIST mathfixs.source.r72887.tar.xz 17360 BLAKE2B e7333f641a0b061d185ff7cf9b9bc62a9a0856fa80e913b67e48b1aaf718fc10980ce2401c2ac32ec7ee4e098837991bbe97e837b0fa33d5a8878d3e90b0e861 SHA512 97d26db1d86f1de7a5134e6c82476d09577959ef5d6d8d56eeaf4a7bbd4b4e8f9945ef7e0c6a26b1e3dfde3beebd7262cdc42ed323b1ccf3e04ad972c7e9a7ef
 DIST mathlig.r54244.tar.xz 2436 BLAKE2B ac361f9c6858de03a90d75e502225870cf31176fceb53e89aa569d243b1b14cb5a335f5a77095054ad9d4345cf22d16351e4ac91d4c9d71ddc75fc437224057f SHA512 1ec5761aded23b8ebd4b9afece00ab1f3f9a18886edd12ffd2a2e0b5b9fe9adc9a4ee6fb629933f36f6a161c76e85b54e3d9855871c3387cb0f70f90194b2615
 DIST mathpartir.doc.r39864.tar.xz 271876 BLAKE2B b1e3a9351424dedb3032fe671683c3a1ec4502240e91ed9cddec383787ab3becff9da94834713a3dd3c2ca9dd6da16cf85119396418c8819a1f594fde90288bf SHA512 fca6b3e2650ada022617af137dc86858c83c51c55fcadf2ff21832a1fcd9fc44f371f89e8943c5e1d117a09893c3587f15a3e8021b11f7472dd3c9d37383f8a0
 DIST mathpartir.r39864.tar.xz 4608 BLAKE2B c7c08df4ab712a44160e148775fc0801f77ed1d4c2612fd7b742d9d5b48154b496c81beeeb5e0810a945d224134e082eec7252d4b88dd3555bad2494fd90c950 SHA512 8e1c99db2d64e9c815bf8b6784d1c717969a5ecc96281df2f815ba7c0d779b53484c61ca233468de793be94cf636373f4fc0e3413c0ce32d4715db30cafe5471
@@ -381,14 +430,23 @@ DIST miller.doc.r18789.tar.xz 260992 BLAKE2B 85235e5282bf560a3f58280c9401f0db1c7
 DIST miller.r18789.tar.xz 1456 BLAKE2B 3bd33828bf9ecca7ec6f5f0e27be82774b2cf69f74dd80d6add23e63cf19b97706713b9f7d2c6c4429bd65138e993b676585d25457806f919b38a14ba77c2120 SHA512 a1415d82a2a81c3dccdea1b59c4c0e8d2cb3902dbc6816cf7615fa3e571de26168a6a066f52bad94c38595102afcd1447721095bd084befc20b3fb3ad420e129
 DIST miller.source.r18789.tar.xz 2884 BLAKE2B 2d7251db60ffa781ce55167a391388dee1e8c9fa30a18cc53aeba6f1faa216016aade261453854572c37fe9c4b997d6dc0ec76932adc6332fd24191732c415ac SHA512 06e15ff6c146685a8b4d13c5d4e23de4ea343afe684924694f86104f362df7dfaa975b25e850b685e05efeeddf2ed079038cafff8a495116f27dd756e4dceab3
 DIST mismath.doc.r69169.tar.xz 244068 BLAKE2B bba62474805541fb069768262bde8811aa23f691f4afed80c785d74e7660cf5761bb1ef6f0a67991fe0e6d2a26f9afb99072d9cfe5327f10944cf54195135a4a SHA512 e5693af9be3fe8496b213ff988c851388e1b7f28942ad1734d527c70f905d82d2110f55f3da9425af2a15584196bd83888021b4e6817c6b7717adda5a47ea545
+DIST mismath.doc.r71549.tar.xz 420704 BLAKE2B 982bacf64e8bde98aecf6d1485f5d885c1c4983b484701adda9d5df0507fd8b6d79320df8cdeb5e7221bcb1db83ae8e05f7a793daf08e5a73ae3858304fc63dc SHA512 e3b0e48f549b74fecb9d5cc681735d6730218f6852ed68fa0fe361004fc433b32dbcdea51e9a380fb9c2d632a456700770ce36f2fd19fc8c48fe787e8a79e568
 DIST mismath.r69169.tar.xz 3740 BLAKE2B 2e7740167dcbe069e072ccb3469f44eb633ed3bda478a2c64923b430e4423f3fe4cf8dc07cfc6f28e5739aafde8486ee776c72a9ef472a91c258f95e6d84ad61 SHA512 0c85c7301c3409a56b99163c0269810daf36894c261c0eb62a78d333760e10375f0daade5e06090b3571d424b4b504f4ce14b61063a6518e5aa8f355aaa559ac
+DIST mismath.r71549.tar.xz 4940 BLAKE2B 806cf77c958d8b9b674287035cea49ac170ba8778cafb688fc7eebaee4ea25831af554ba01d621ec1a2de50d81eb1ed458c64d499934f31c024b255dd6b9213c SHA512 1be05f327f0f5b5f1704fb389c792ff83f5541b40e9dbc9907c15be986874978d876fee4efad6dca92de476f7cf95d65b9797186aae58efbe3916b1c05104c1f
 DIST mismath.source.r69169.tar.xz 21820 BLAKE2B c547cf8fd155b3205b288ee9e3e34cff77e81ea6ff98f63d06c5fe14bb7eb2f2b96d024db6d956274430b991d9beb594d6809d02d943d35899a46a0be77f37f0 SHA512 b2bfb0bc801dd99a54366f71f28971019717d351a3020de5afca1eb4c2ae7f0e6825d343735a860db460f3c345970992eb19491ab486a66aaebe26f9cba9633e
+DIST mismath.source.r71549.tar.xz 27436 BLAKE2B ec1a062dc39b9c0002f1e88293b7184c2f8bffd355eae65ca717e4cc7d937e0d1bbb6461adb09a10e9aaf9540b6be0e05a35ad44bd2d90501864a12fafccdab8 SHA512 2e2b0333641ae0e5ed95fe84ea49ae0f186d99b563d08e5bb5b3650ae46fb7a224626197a81af1e6e10760629a41fc5e692a802c8e6ab0f3c77b119d0b3d5419
+DIST moremath.doc.r72072.tar.xz 978880 BLAKE2B 133a0de953ca760e2ddc2e63db3610066e1782a0122cb44448c71d3fb5f9df4df843b43e646003fed15f730f6372f76cfc474afb986b82bee296069491c324e4 SHA512 3c2c10369a14497ec65543f3c397a3c6ee8bc5f0fb3e5a1a6c067ad6979e630d8896e4f90662afc79f468b0ad7c7bc5e548130413c0dbb4068f942317bb07006
+DIST moremath.r72072.tar.xz 6496 BLAKE2B 6b94d30303f89173c3cf24be41abb4dc9deb941a505159ddb64c0544a7cf0895b03e0b86f19957f6866deb62b9f27021fcca38715a53362dc15b70298b4db3ba SHA512 a951f519dc1f2343506e03c45fd32920ab311cbb540d62c291b49ef31ceecca5a0bddf3d2a8edc874295363dfa81a653bbfe411aa7d84c39517161ec7395bacb
+DIST moremath.source.r72072.tar.xz 30588 BLAKE2B 65619b3267f3b5cd44ffaf46f0ff5467d73e8c1c662c146e8fae32ad337a058eac68296f5414d10482b7fd4ec9132df6f74d783190466cddfec2fa084a090a5c SHA512 64972489f7cce85800b980d45be12564cd89f37cfab5a125f0cf4ccd710a111ff719ff6b8bc3590cf35a5d517f0b50e5e2665975e874c99db633ffb5ce37497d
 DIST multiobjective.doc.r15878.tar.xz 95288 BLAKE2B 87786a60768b3cf2401ee9d80a1f2150a7d9fd105ae690b5af28176346181685ff3c74335c5a7ab6b7d73b0caa7551c84fb7648496f5c92231ff605bf6640a25 SHA512 3a7c68054a85bbad36b6516c52ea74c35ce11c5ffd6f3d1f235ecc2ea55209343a4ff609857877094fb7f8861e8b7c54c8c979d06cc3b3583fb64e997372ae9c
 DIST multiobjective.r15878.tar.xz 1436 BLAKE2B 26cf6411ea453a82c5c1cdd84de2c2ace63d276e001400df7a0a79aa7787f8d95f5a0d9c9e0010cad97ef3b97100e0e11c6f8f9962ff40c2bbb7ec44af2f4505 SHA512 80b0f340f19dff329cd9f0fc32cbb9a8cf690243aa925d6687b9da345984f9eba9c0db7b62fedd2a54f077d841b9cbe91e47c98140f1cfeebdb16fc05408898d
 DIST multiobjective.source.r15878.tar.xz 2968 BLAKE2B ba3665bd527977fd4b2c78352bd83dd82c3f047e758b3a4a0665fd846e2f83daaf5eab5ed37bd9751ad2ab12fcf18d4c2c956a560b5a30b0a2a161a80beede8e SHA512 99b9d17438d9f3f8a6ac40d0e705371d255af957fa5dc78dd6d98c89b515cb5af7377b5ac11558c84c7908b7efc7faadc9be83b86c2a255ba8c4033a69be3f4c
 DIST naive-ebnf.doc.r67892.tar.xz 672020 BLAKE2B 955cbdc3dbf054e2247c5286f9ddba2af8838d940bfd3c894ba6387c62fbf7b9a1c25d4497289a0b11e1ea30dcc0cdb5addf4531f3e1fb4c82f654522fdeee68 SHA512 f2abf68012f902440e17235fd49c55c4776d79c3e7db46d18e203b47160a427545201170c6644a18d33874a90c6770d83fae576da68befde87da17606ed577e6
+DIST naive-ebnf.doc.r72843.tar.xz 506916 BLAKE2B 9d5d5eccf675d3d687e4d9d880a54ca01611403ac27ea1ab390249d08bed037752b04f9695934128ed4aa3d61afbafbd280195e142fc01078dbaa9cc69777b9c SHA512 06f8b69dc76f7c497b9c0647c966997c4c9724913882e20b3d6df4092df1423f57d4fbd90089c07a59b0bbc0bd2b3e5806e53e64e85ed11dba2eb575fed6561e
 DIST naive-ebnf.r67892.tar.xz 2416 BLAKE2B 262d99bbe9483020c7339549518357e4f751603257815fff8a9d3bb5cedf37a1e74f498b4c442fc0c1e0bafe8c5defed2cff5f10e4809a880ba25eeafb6d8cb6 SHA512 52780f4292abba6d621638637f8c3d11a3a39d4e26c3e7a10e077f4369624ed0f1fead7aa781d9d0017b000618bf08ade1bddb78e9d773c3abd9c6124ba00068
+DIST naive-ebnf.r72843.tar.xz 2456 BLAKE2B 9e25c760b71a1826f23ac7c8033429483b5bc0d86c3122def5716fe327cbbb4cba45243ecc26c2d901cc3e3daef8c609433d0e2c230d4f54ced5466bfdd44555 SHA512 d4765a03de5504bcb32a24d34dae7b5f7c517add2c519ad90b3f7bbd5446c8776940b5a18195fffecf35bde29cff12fcd16dff76a6b0e1807ca3270d139e8278
 DIST naive-ebnf.source.r67892.tar.xz 5800 BLAKE2B a0627fa6fafddc41f658f86f6e44a2fb34db61aa10ddb0cd3681e91b13352bc590014f663b23637b4968e17e881bdfde4f12465eaaf4f899d2264e07545c0c2d SHA512 a149e3c6ca7f22ed9b9d7a03c0d5bb941af809b6145967bfbc63ff96aec966eeb5e657cc0bc099c7727af6c2ebffaeb6f45474104c2c7c1462295ea115ad0d87
+DIST naive-ebnf.source.r72843.tar.xz 5904 BLAKE2B e969f2e4ec130b2df1d203f574b2e15b993a4bf3c1a533208c0403fb7f160b078eba4d2e1e06eec48a1fef35dfcf3c1c95d8d384579bee55ed086025c8c32f46 SHA512 a67d51de98cb2ea920812f304b507d9c4304013eb69e012da779e469f1d44394b1d9bde1fb0cc5f2191634ea1fb7f8c93712b7e6371b1bf91d485c8732b5679e
 DIST namedtensor.doc.r65346.tar.xz 1608 BLAKE2B 964e274bba56d669609b94e44a5f2f92275ef6bbe724c02363cd6cbfedf02fe3e4ea81a68e8eb890dc7e0e1afdd0c4d30c25e80b545b512c5cb266af3c185f8d SHA512 9127b5d7c44a4b2a1cb28062f3a0c18f61711dd72aba86ceb9b948563ea5cbaedcd0539e0ef8608222f957f6fcbe878848095fa48131b564e26b1bb654ac8395
 DIST namedtensor.r65346.tar.xz 708 BLAKE2B 6e003edf118c86e6e46941ff83986187e9ebdb2f24a923b5925cd1ac1a7421bf33527abc5fe8a63d240750156db84871acfab02a6a0dcedf487b4586e6a46737 SHA512 0925bc8a0a9f0cfee910470318fe00972d604e815aceaacc358fc412f3382c5cb5a4f9b1a337b9f609f0060fbd82bf1a7579ff611685a992b68eddd5348a8dac
 DIST natded.doc.r32693.tar.xz 339336 BLAKE2B 4f705b18bf07636bc302cbd1baa49a36a2ae6b8f0e2a75d850f570467d0aa872994397a5ddc30d4063d17418476aa041291f99489d65bb24200ba5410f5b9ea8 SHA512 5cc23aaaf6006c1f77d676ad1f20d3a62d9ac8d8be6f41e68085844f6060d570baa04000bf3108c975add502c7ad62086509464753474a74c43d045122b28294
@@ -399,13 +457,18 @@ DIST nchairx.doc.r60196.tar.xz 664116 BLAKE2B 43e1b9d14067066ff68fa49ea771acbd73
 DIST nchairx.r60196.tar.xz 11384 BLAKE2B 4122d58290da065d0a81b6288907f4f6a1ef9de70c81299dd938b661c19aa57ea441a4496eb0ee3ae28e812354372a75b1163b797da9df01874b6e22f503ccda SHA512 3ebdb5c11c57818018172d87f265760039f4de415eff568271dacdccfae4aa1b8b3c646d5c68b4df55b66f631679c0a72c17283d949a35047f1cb8a536f582da
 DIST nchairx.source.r60196.tar.xz 27160 BLAKE2B 12bd23512b1d6848fdfa36575a30c4af7690b5c740eb13591c99f78e42f47ff1fae922e4bc401b6a916b1df7979e0f825edafdc6f843965cc906296d5173b5a5 SHA512 f1621721f65fce09ed2abcee3997dc1d2eecbcedb651641a99922362d4586be53c5fbf3c9d07cf1834ee6dfb79d67d7b20ba070ddb80f6c302d053979e3d59e6
 DIST nicematrix.doc.r69588.tar.xz 2179612 BLAKE2B 02e0ff33a23ee52cd998e0f8176a53106375830df2e014df345aba4ee60035916469627fdd58d54afff825c8b746e7d51ab23c523b9d8f1e391a4017ecc5c031 SHA512 9a647567dccf10a789d8a7a9e80b7243c456fed2d71c5c0cc58d31f7266a9c547449bf03af277ebe7904b40d33ea7946f9f7408c142b72d8f5b3023bbc7b680d
+DIST nicematrix.doc.r72899.tar.xz 2163868 BLAKE2B 5a746e76e43cd2fbb394abc8b9dd37e6c5bb4886519497fac30a3030956505d9bc3b8100847f99ddc499bf0d1dc0bd439f68d4eadb7b8eb4a14c3935b3be6aec SHA512 5fe0e54e4025a86dc62cfd161bb2405f46a4c35e6db6089afd32fa54de1c24daeebfea1dbecc70cdfd06a4a621c73ce227c2408b906b2d382a05ff4f59936484
 DIST nicematrix.r69588.tar.xz 41844 BLAKE2B b36004fc1f4ec2004599f1ec66f456d45fe1ab43a1be05f1b66ca3f20635eb56770a51e10ece2c66d205809f94304b7c1ac3cc5495b2f5f8ca425443061768f9 SHA512 f5e1427808a05a4a1c9619e4f4c66439f6d0d1c819066455a7855940b24b6d7191ad549251e25908c67af7a24818f71832d22a3018ec0a2abdefbdc8e5065a23
+DIST nicematrix.r72899.tar.xz 42532 BLAKE2B c7bb5800c135d8fb4ec5a365f3d710e55862de3537ce8dcd6eea41ae1fa559aa347f23ddffcfeb16a59f8ebb0bf0b95450734c5648f677538ca2179e042e76e1 SHA512 37449a3d67096cb7d73a6f029e76d74bd448dbc6eef8ce3e961c3969186ac15d0f09cfacd0a9de8e712180486c2b54e2d1cb8c00ff043ee5a6617331b54ca4cb
 DIST nicematrix.source.r69588.tar.xz 90400 BLAKE2B 49c4bbf60ae981d28745ac4da7c2b73e3dec3ab27cc88760e66ab2e09187517efa76eabb55d5bd1acf42889ea710cf195ecff04a7295394f10eead7a06d45be8 SHA512 0a89077963c80ac2ea0de0f89dffcb9c17bcd3d5c2628d27fa2ab588cac1bb3bf598901feda1b42aeee13dfe94507e5889a2d0d713e84b6a5b437a54ad4e57e9
+DIST nicematrix.source.r72899.tar.xz 92636 BLAKE2B 735e1c4b3d10c1925ab13a872018104411d7408f048d6f0bfc5840c82f83639e933ed99c8853f4e1ffaafbb1d6e63367197f03cd6d9bce5640c5125672939ac7 SHA512 b0c31295d6c18c87634010722320b16604c6e7c61fb3a7be7b481ac6ce0ca266f1ec4563bd2acd6c468629c59bc01ca42946b6e565b3cb4d85b9cddf72a21ab1
 DIST nuc.doc.r22256.tar.xz 80404 BLAKE2B 31154aa25a2b7bfc739d5003e09f210d6d726276a5ec19d221fb20c07301fca829a49a0c1ece3b2700c206b0938a4f721c385ea4cdce226ce1efb7519701738b SHA512 ac118243f5fa4c7a4000344dfd5793dfbacc4d7a16a7031fca6305578e06bdd627473eb065a13c4d9cc5d9ef3c1712202c2d65a913c75043e36221fc7df25ac1
 DIST nuc.r22256.tar.xz 1788 BLAKE2B 711760406be1feeba5a14cfb33d569a4e34af8716cae39e92344e1bdffe8520099df77f59b2c92c6890423c93e894911f06605804d929629cd5eaf3cf4dbe840 SHA512 d540e5dc8a3edb41994ef4ed8af6a51fea544ac929ef059fc50cd561891e02e9ee9b55a62782757101cfc5eface3a170bd585c144e7c8e79e191299527f979c6
 DIST nucleardata.doc.r47307.tar.xz 407408 BLAKE2B 8d7120509fb9cb7e4e3a394504075f55338507924fcad4dd968cd5a54f6c79a7eaf76d22a3fc7afb5470255269c664f2c75e1e2e08a876541165e9cc375a6cae SHA512 3d03a8b301c91fcc3e8221f913574b4542e0aa645d83e443d117ad0d69b7198c4780207f0a5e36f7e24f538a249097e1ac4d828e192f6dd22684e905ce9f1cb6
 DIST nucleardata.r47307.tar.xz 128004 BLAKE2B 732017bf865db3c9e5acdd51c3060d0482fccc9df25f4c1a8bf35df54fb6dd0a4e4d886556603deb8d80a726cca86f1c975e50bd55574d0f92aedd625edb2a27 SHA512 68f9d542701bb9d2db956e70784dfce8a14058b5cab5c8316f9d76d59d20de4bc7fa05f22cfe318312b9ecd823a0d0b5cd084b809bcd615217f14e9e0ba76de8
 DIST nucleardata.source.r47307.tar.xz 132560 BLAKE2B 62b0cf5317dca73c14663ab21bafadec2fdcf6effc2791698039c03742caf5c80ec2e586b297098d7568feb9adc0d956dbe9ee458c06f05074aff7740cc7438b SHA512 cf26f591795ce6db64ee7548c0384764c42f2eda260b5e5c1d56f7f08c54e13fef84616ea0a3bf9a9bfbf95ca139adf675eaae3047c80faf49e14d6330cb25c9
+DIST numbersets.doc.r72558.tar.xz 62288 BLAKE2B d1f3e67a9c49dca689041dca177050e83310d7336d21d6c29712007b4738d73bb4c6e6ad5c63afd9ee9bc68c23a4b1712a73722e63e16aeddf5e57270019d9cf SHA512 b7538c592706679243bf6d4ad8d3624910ef52fc3e39f7e5390bda83c6b69e19c2ce0bb5f851ea26a7e6fd9b824ed60bcd745305a590237b29d1c40bbdebb08a
+DIST numbersets.r72558.tar.xz 1484 BLAKE2B f4b3e669088f14dadb355af1aff919deb831923f47430fe4b0a39b561eefa7fc1a8c4c3bacd11489f02bd2fca5b6307b302a80a25a561041aa68b75cb10a970d SHA512 1595b969f1963da9e68c3b7c79ab8bc81c37933bd4734490b56a03db67a1733b8311712f9f9afe21765b8200ebb9d739a19b704195720e4fe92956995570128e
 DIST numerica-plus.doc.r68019.tar.xz 606932 BLAKE2B bcf24dd8616bed5ce8468b0668abf1d7011d73a90a74d3665224a3ff0ca3f01320a39f5bc4ca3bae00d56f81ba3d7a496b2a310fdbbac422e5898be872d3bed0 SHA512 aa8be0b87a737a956c5f69b84a9760ed76de6d0c4a6c27bbdf0a08e9d3cafef977c4a0c22f7d2ec088c278e8333cf85e7d84a8054ce8a7fcacac6cb8a0e2a5e8
 DIST numerica-plus.r68019.tar.xz 6052 BLAKE2B 2fb02c42d22675825df3984c8720f12d36779df70870142f762259e5638bc97f9ae4be47123f1b72bd016af39aa8fee96ab89a29bc2dcf99b4399a9e96e126d2 SHA512 803e50eefdeedbfdf610f4084eb8574246a3f0c56e647a1105df410254fe7d965faadb397690aa8df08e488c5462af2404293f7deae6f8ae5810bb34488f29fb
 DIST numerica-tables.doc.r68193.tar.xz 662428 BLAKE2B 6bd73ab4dd36ef40f53c2064a18b99f35e00297f09f5618bbc309c0ac0e4687564846d794f53d84d939d63d184d2197f377bd6b7615869e96f062a86b076ae67 SHA512 f926645cf5f512dc655e46f6fdeb54b5c12050d66e9408690e0980843a291d2056a51915a44f2fbef6564f85344eea46ecbbf1859d79443952e989e6b8ad5e07
@@ -425,8 +488,11 @@ DIST ot-tableau.r67813.tar.xz 2540 BLAKE2B 969a359b1e634b6c4326f1bfb00eb9e754a6b
 DIST oubraces.doc.r21833.tar.xz 60352 BLAKE2B d040f778205e055b2e461be042e33ea279b0feb8504d78fa5211cac49dd0400249a8f9bde4bc9f7beb35c29a028a54ed033095d0018c16b479d3245158ab34c5 SHA512 c97f91df77f64d824605c56669136585b94d95031ed5a4a67f3404c54b2c96f32bafaecc06d114755d0e65c3fcd0379d63f28f94aa32ccb8d23730f5f3eaf63c
 DIST oubraces.r21833.tar.xz 1660 BLAKE2B 27197277bc990e40ccf215fa18c3698099e26a10b70ad0c307e026d6f79d0bc7eeaeacf62084c7f2420a3e4ddec6f2d2f3369d50376140f35df23785b0291aa2 SHA512 8a0a6e0648cc3dd9a342a960dec6512fc9153a083c8fc74eb08c4e0f46d091e5f2c71bdb69bae80fc13a857175ec6bab4b18cc81a0963d794028f4faedd0def3
 DIST overarrows.doc.r65853.tar.xz 551392 BLAKE2B a5f5144c8d27505ad41aaa5ffc2eb6a0fa05b20757f8a4759f7d303d44e9158d0f1517c641caa7e8dbea9d5c25613875e029c7fd3588a8a67b21445d8956f358 SHA512 1e5c39621f3790fe752c8785f5264b842ad00d7eb3a5fa91c41fb8f3c0a84c85d8be00b553a74f1750bfaebb6f97f7c462d9181c7b6afe9547a38b9d3f431b5e
+DIST overarrows.doc.r71774.tar.xz 594336 BLAKE2B c4796b44d4c2e6cbe348d0099dbaded072d275124227b98ce62db1fc41fb4f0f0b963bc70a5586627d11fcb3d33e541b1823bb490d477fddbd982e5c169a393e SHA512 3a0a5401c39078ea324e5c43c7db1c85f2d8b39d7d9c03fa2ddcb1a76d8ecb16057011ad46896d25633fdebc964aab4f0574560e77b18e9c202d76117fa140ba
 DIST overarrows.r65853.tar.xz 5392 BLAKE2B 827503c692ba35d36f91b210a181238d6e5c7773bae353abd8907cf8aa77d5ddb7822928103eea76435fe9df8812ab80c4d720d9ca5196ef04741aa8551a19ec SHA512 5c2d386bea3d2358e7c6baffcabdbb00411895a45b0500f60f139435b55fc86e6c2c7d7bf96a9bf38300f4d217606ffcc4f212523dc5a7fa1e35b7eb4358fe3d
+DIST overarrows.r71774.tar.xz 6108 BLAKE2B 247441e249b710a39e1ed8fe5bfcafbb759181b234266430ce107a457a699d3c418ee37782c1c71201d37ad7dec29f025ae58a8258954becf9a1461cf4a0edd4 SHA512 71c85e5d0058702ce49e3a7f03002a14732d8831055986f6bedc3acdcd4341c8e5fc22954e22cefc2835b74828986eb6058bb97be0d2e256f549fad14bcfb3f0
 DIST overarrows.source.r65853.tar.xz 24260 BLAKE2B 3568586835b506a1811557ccfdc355b8112c47f3d6d38131de5d240e3098a8db16ed55835f5764d25876626f976576f88eadfcf9a54d5d12483cd2849efb3329 SHA512 57b1da2b639cd7b2abcfd8b98c8e73a704b5a247b78ed8373aa3059744eaa127314abe34fbca474106b5a3fda4bdc6dd8f2d399e082eb7a6e6396f77b35309c4
+DIST overarrows.source.r71774.tar.xz 27288 BLAKE2B 24ade1992ffa98f0a2a36402eaaf011a5fd6df400d3fc13de26732636bf12a1e026c7d61d53b3cdd59130f6545d4f18168fa6737884c1ecfe4b4dfb46f03e9aa SHA512 93c4bc3ed1a62690ae035b36309b2800aa28f220e54f6ca5f56ec302d5c82f862e36f6ff9fac9d42a801f653f34a57e895ea20f595a76139d91bccf7744afd70
 DIST pascaltriangle.doc.r61774.tar.xz 164512 BLAKE2B b5e947d2e7ef518cab1a69d74211ea2136f16bce9bf53a53c6e6d219f9f0b7399ffce40aa7ed6bed39fceee4044c5b28b23a1f27535b293a1542515dd561c8ca SHA512 137c13f7878fcb5f3f2e7d4d47d05e8a25f7fd19f58672d7b521ba944a5eea22e90dd12418d4b056dbb1a94faaae750a9f2e06e4dfc8fcd206609f5f95e97a5f
 DIST pascaltriangle.r61774.tar.xz 3696 BLAKE2B f72cb476f24b8d0a2012fce99f9895bea4536fa708326e49c60ca9fcbd7f62b1d0f4bd9f95569e10bf71740ff08e6966f455db2692fe5e24dcd89acdfdd8b86e SHA512 0736284ad69dc62a9f97887f09aaf4e527438d068147319be8710c53708bf88c156964c9737548df4b2210b1e6bf5219d157e5d5baff53a510fa373684a8eda5
 DIST perfectcut.doc.r67201.tar.xz 167564 BLAKE2B 94859c435c272251039be3310f92caadd98f4ae94612da3121b5409122258330092ece4c50fc38e49fff85d5d129369288f4d6ed183b5bbf0fe6050fec3314e7 SHA512 4a978f726c8b5a69006f293b8428978a1a6185df27f2d26a0be06309fc55ec3b8cd6117cbb4ee732f6c2d0ddcfe8ad66d86f7f838ee2e386931e41c0ab043e2c
@@ -450,7 +516,9 @@ DIST pm-isomath.doc.r60368.tar.xz 681608 BLAKE2B 808fc7749379107026899f44ff57c1c
 DIST pm-isomath.r60368.tar.xz 2840 BLAKE2B b0e24475cbf7bccf63be6372a8be836af0c9dd5afdfedfa28f90e2b53f30b3ef8f98f9fac2f23f00384e7a03d00e8bbfbfe6107168b56cc16718e563abbcaab4 SHA512 89e11156c2a4b7d05fc3404b4badcbac94ed190db4c215e573c84cdbc8fd46c5775b19272e423df1806e8a38d61d8c071aca7d38380637c79f06c411a05ee468
 DIST pm-isomath.source.r60368.tar.xz 19428 BLAKE2B 4df06817bfd45eea2728ee843d0c919c48bff14333e8c00ef9cf9cdf5d9a2ef3abea1e5f29e40fb7fb5a63467f3a71fb88f40d174994d34dcb4662a90121cd49 SHA512 fac0256323bf26f55e5908c718b8622f4996b2b792ec3770b1db4a31d91ccba84a8e21e839710e1d6305448044c5140fc38a4eab06954783e428dd94008d2fc4
 DIST pmdraw.doc.r69366.tar.xz 379560 BLAKE2B 5e18e236a8e0191ab885c28b058ac45f7509157f65eccf04bb6774de578dcab0ec561b03683654bf46fb3a67d7df2d86dd27574a73f0547bbdb4a23589306bcf SHA512 60a9292a2705281b8f32a2789b34e0dbc46cd8d475d7c946e00e8f0951b5cdd5a29cc145e0cc270ed87b52a23f819552081fd78f99fcd529aea57027d4d71b23
+DIST pmdraw.doc.r72486.tar.xz 420356 BLAKE2B 605cc1a53a23ad70e80d2f91fd4eb74833a3580d5b11f093f325b682e020778d12096439f63c58682aa4745321fa7635101da4f2b06ad67a160b2538ea3e00c1 SHA512 d0380c05bb83f7e2932496d51c5cff375a3d7643ba3cee6f9f66da36685b3b04a2be4824a889bbf4ed6bc06766f9f2f3b8849a9a631a4f4afdc17a85fcdd4968
 DIST pmdraw.r69366.tar.xz 6352 BLAKE2B 6edf631ac92c7c02011d3ebffaa285ff49d00d400836455e4101679fd0a87e979d4fffa449a24165b914a46aa89d6ae32bfb025516965843a66f7cdb584ed639 SHA512 ab2b72364f2833ec7362d7284bfc10033e72c3f20c1b4f6ff7a89a8368bebd5aea2120c5cb82c27bf924fc1342030d83e61a8b4b0343aacadd09247890495325
+DIST pmdraw.r72486.tar.xz 8060 BLAKE2B 668f6f799ef89642cf974571cbebe57693d6fd7c0d88d5aaabe787ac85d0c97f797cc702fe86ce3447acaf14c8ce7a020d8eb415e7b59bad67e70d8a437659cb SHA512 aac8a1244486cd9e61457da330e888aaae6acff2902eb57fdc3fcc53b7928133ecb9ac784235b450242453276ce4d5da88dd4f920df7d30a24686610d65c924c
 DIST polexpr.doc.r63337.tar.xz 123176 BLAKE2B 79ef5171210f40fbb86d17902b5ca0deadc85fd451410fb891e25e4958d03a7e6b2be185de91e0e46dde9fd3bddbf93f0cc3d18d1820fe2b0a5ebbaadf481f72 SHA512 d2477a275477b6e47461e769fbf43abfc746769582cc916eab153fb7ee19e85285561601169dea0335d0c525b79c5435ee2d44ba931739eb9d903a3f2e3b670f
 DIST polexpr.r63337.tar.xz 39920 BLAKE2B 56e1845b3a504419229c1a98a64a5fc1ccf7406932fb8a998c88a2a73ada6974378180f974407aa39c8795952b6af587570ae84cf7bd36405e18a8a0a1472fcb SHA512 4d04a0a61b5f50c61eef41360aaec305b727e6d8686e8ef1742098a7980a6508e3455a8282a9cb0b4549d7dcd49cf065c49bbb7e710ca5120cb32567fd58fb8b
 DIST prftree.doc.r54080.tar.xz 363452 BLAKE2B 6bafa4211492332c87dda1fb5791f2000eadb2df2cab5d0c900101ca018b4c0dbac77c32e27007623aad2507e626eaa0ea64851ab60918f456c690d43a71a17e SHA512 3b4d81db24039d15e76e0b237ecae6454d54b452b542e26ba8e0c45faf4f512124f0c1d1f5fef3ca6e6dcb3c7cc09eead3003a53a59a689e5e917583585c045e
@@ -464,13 +532,17 @@ DIST proof-at-the-end.doc.r69602.tar.xz 464992 BLAKE2B a7a375dd0ef1fcf6790369c62
 DIST proof-at-the-end.r69602.tar.xz 7344 BLAKE2B 32bc01b2482c4cf6ec8cd342590e837661c032e7b4a0342500591d7134b98737b708425bd506913dda4203b526a963de64605e28987a69f5adba890cbbed47c9 SHA512 7859a8ab78c39680922e7131f2b95ca1b253b5e1252aa14fe219c3c7fe9c4357ab30d4b58a54e84c3188fab87de9cc14a23925dc1fc1563a7efec400481d572e
 DIST proof-at-the-end.source.r69602.tar.xz 20872 BLAKE2B d94189e9ed7b40b27b6b20664925c8e963e93424e2de53ff653cbd43e82a4b1ded36a1a0a26c2680adf3ac40f462a54e7480d38a638a74f44be0ae208fcf32f4 SHA512 088cefbdb746236e400b232079c54c6e8f73d8adf94f022c842f45d5bfe0e83cdcf8540c0dd51214c5538d6609dc0a0cec7fa3b5a2458a28eccd288249f4f9fd
 DIST prooftrees.doc.r67399.tar.xz 906348 BLAKE2B e2ad041849e1e8399c537fa6934adbf56ff83486e401ef29cfd9016fd834764504465f34ad1779503b2823f902e3d0f9b897894c3115b23ce024d7fc7a6be833 SHA512 67cbbd3068410bf152d54c2f25821b5672c33b68e76fc7ebe02f0df160cc658b20e072379035f090beb34a7d4d5ca21809965bd8e44a554e5ae65039a12f4850
+DIST prooftrees.doc.r72665.tar.xz 1044184 BLAKE2B c7d0183d57736117f3eff90cdc260f504d43e0308c59452e7bb9fa60e073f7ab75d9538c3a5cf8770535decdc476eadce2f0690bc1e560e8ec88b0d2f33ad113 SHA512 8d2d4e94619b7008a35221673451d338e6c9e5fe604b020b6cd6f42199afe2a1ff24ead8d131fbb2198ddc6afc0de60bbf13ad69dcb9177cbda2bb5af7ecd00f
 DIST prooftrees.r67399.tar.xz 10492 BLAKE2B f519b01eff31df65887e96a2c47e43afdbf3e82382a717b67187c91e76d6b6102d3baf1f17c34bf96559dc949b2af9dad1aa3624d6930623e0f098494577a349 SHA512 ee4feb832296a512e180b4d38e5989a87d6884c3c84ea2b224754201e42fe2fb6c4f68461a0cf3d3cda10b263c88c6da9e082572093f53ce2e8c62473d4707a5
+DIST prooftrees.r72665.tar.xz 10852 BLAKE2B 091ad4a2f2a684fb57435c42be9c01cf21d270991e2885b468cebad3a36213c1b8efb984b92679e49249a5c91867164036b36090fd0bab8adf9bfb722ec49ff0 SHA512 8dfc925cafe373b29af23c6cf31a05a8e07503c6d13d59a7def6c8b6b814507fa8ff274a95e6a7e0aedfe29f8e3622d7cdeea021981a681a2c95e7225b5f86c2
 DIST pseudo.doc.r66638.tar.xz 1026976 BLAKE2B 076f95812b2f4bd1666b4f503ea186a719271cc010d1e989d02ae9ae3d561f6c690fcd50bac35bc66a4046ca34ec180e6a269ec37592f754364d6a1728123c67 SHA512 573b023b0d9604ecc98b774f77016fcb971c7c5dd508fd272169ad5d3da9f5273d78c07801257cad5c1461de2ee425f036afdbc827ae343e9ae151a63c86db73
 DIST pseudo.r66638.tar.xz 6868 BLAKE2B 256f24eb1776e69baab682389f525d4335201c3e0b70dcf25d3d6e03c26ef20131f4beb1b22528fd4b72cbd5189bcbd0016471b65a1a8de9dbd4b46bd21b3948 SHA512 223e02f58f4b1cb137241a273cc6aec3c2923ea49bc74fcc220df449d01e6b3009ac6303a99a5d368ab3cee62d6542707feddeee30f527c2be1ad8771244ca85
 DIST pseudocode.doc.r54080.tar.xz 134004 BLAKE2B 142aee8929dc4de33770f2c13f0e8995cce59d907caf4aaf6c609117ff9f7a52747a51d2591512262b2cdb5cd0762409287cff6394ce8cafbd08904a2d954b6a SHA512 ad53ed572d7d79caa21baa8c34482ca6032369824967e2966479e85a95d140a6477acf0e69ca7bc2d6dda6f8b161253b1afd43cc53ce4d44641dda64d82abe13
 DIST pseudocode.r54080.tar.xz 2420 BLAKE2B 98d5e00b1c61cd82471ada9a898f1aa473d958a7c1656f35dcf168a8e1a1cd1a91961dc35d083a0f4c36ceebc0d577b0de1a3c7cd9fb0f30a025bfad9f255fd6 SHA512 8335336bb46c0bc362bb10b6bed547d95230a29ba8144549476ec984323bc79475b11afef91409761e4f651dc4c28669639106d14c4dcceef7f90290e5f77b12
 DIST pythonhighlight.doc.r43191.tar.xz 1444 BLAKE2B f7101b2fffa2ae856354a1fb41a841d5528ae058c15fc22babaea20b8f5d7f1e29541589adeb73f9ef68bd616765c46d27b92f4154c042d9cefee6b0a7c12729 SHA512 31297eb541060d760fd61ebe169b840cf182f8f857986aba5a2a578373037d3c99ee12ec9c707ab1f9d29564925821665997ea45f728273007f61a5f0bea5180
+DIST pythonhighlight.doc.r70698.tar.xz 1480 BLAKE2B d6403b239eb270f8ea48f1ca90a5ac769eaa567d31d55878c48b724ff8ba4ab528e8e8a4c93bf5a5d63c76110bc6af715557f09da560f2fed8b689e22e23b647 SHA512 c7e80bd19df4df4b6b012c2c3bd675474c95d4f2a295698b8d15aeadbf3a96ee7a85d2d3283b9fd6ad0d27e8fca97fe2d67c81b39b50ad52a9d5a8b4bd02ab0a
 DIST pythonhighlight.r43191.tar.xz 2180 BLAKE2B cc0d0e6d667711482e4639534ff44493366b4f966a02e4f6489d1f99a41dc428f97474606db401e26e9265736c19f89a6732458a4015e4e16d31a141b0eca9de SHA512 1018d4383ba04f92d383d2c4f51d30f091528f7a89ff23614e0ebc9e488ef3cc8167de12a42e6a6465c2b3937d849bd5eecc94cab0a9b8003569b06ae2c91632
+DIST pythonhighlight.r70698.tar.xz 2464 BLAKE2B 1f423f5bf56ae3c699dfd4ab683dadf6300bbc28bf938f7d34bb4e6f2d74723a416d8ff769d0766708b2865283381d1342ae5744325de4e1c61800d761584414 SHA512 9673268e9fa7b0041474ca36698458ff2f8c3425a335c0dfe694b27aa8adab83eafe60f4b59dc15d320df622eba90f3166fddf18659c4f9cdc16373dc2f3736a
 DIST qsharp.doc.r49722.tar.xz 7208 BLAKE2B 40adbb9e0eee85c902544d21b3c09b020cc7b1ca2904ccc0850c70e7aefa0ad075b2b1872dce5e646654bed2845c77819b0ae6bfdcd17bc0fc0241efe21108a1 SHA512 69d74a3ed755d16957a2a844ae624a15e18813fdf02595c2e4ae2dc0cf13b20a1db1c4f49c20db3e4d3343c586411a88c7ecfe6367c4c1efea1a8cb2730cf8f3
 DIST qsharp.r49722.tar.xz 1120 BLAKE2B 73a9b78f9bd9285f7656f4e87035041faef77f5350cd4c072508cbb3b4e4058091ac89022f2d459419314a523f6d23072a2b5da55b6a9d5b1c1a22e368939e68 SHA512 29aa0808112111d088f8795ec87ca3df6f2e10f0a8e91347ddc7101733aadc72ba90356f7e4b39fce6484e04975d3e151205a5d5272789ecd414cd0a6afc243b
 DIST qsharp.source.r49722.tar.xz 2620 BLAKE2B 60c37b4ccdec6db0c6b66ec4b7718246011b7764ed4517b531c204f698b1c565e7f4d5b091b88146b81fc0eeb8403df58dfef14f9482a1f71a37a968c273f46b SHA512 d8ad97902be6b5f29db2cdd7d27049407ebffe5efc8bf0f0ac64e64ed2e3df8f4fe86b8e023ae7dde4368740fdebf22ff6420a32854d5745e8fb147005788226
@@ -483,9 +555,16 @@ DIST rank-2-roots.r68161.tar.xz 4264 BLAKE2B 04953e951ed069fa56dfe35b51b7d57519a
 DIST rbt-mathnotes.doc.r61193.tar.xz 215032 BLAKE2B 1b7d709cc74ad05f4be9280fc1bd8e5e83b15c70877ac49859f704adbd2968e364e6de9c250aad77069f5b511eaa6f6003b691808e5430ef9e0bef89016c7457 SHA512 effd703a23c4eee3ecb385cf8ca891c50e373fdb91834f45f7ba414d6e69b5fbef8a1833db4cf76e27dc316b734b714926078e4d92de08122dc79948ba928f77
 DIST rbt-mathnotes.r61193.tar.xz 12292 BLAKE2B 0031ec611dd32a43fb487cb36c59b7d913ab8048e905d6ebf7a1f97f6859d893dd1a8f9189fddb14fb2920071232d506f26171545d079244718ef7831cb0395f SHA512 15e5b0c52a70b406cb6de6ff55740206dafb75c8cc20dd45820059dcdb112c03ea0df0884b6caa12db0f792b97e0507f90d06644a8f78cd7569f9489a896b3cc
 DIST rec-thy.doc.r63982.tar.xz 123836 BLAKE2B 85a03e0d69593c3e45b7b11cc7ffe642effd48b347a900dac8ad09d0857a81fd3e872bc4e9328184988647c210ea48db6c7a1f1449f06bf9842aafdcc275be79 SHA512 0733917542d683cddfe9651bc9187d2dfa7a57e2bfbfddca687a5bda10609451a3f58cbfd7f5308647f9a3014f0a4adc36e9075cfc1a5b7db48c7d1063cc9b5a
+DIST rec-thy.doc.r70806.tar.xz 128352 BLAKE2B 6816671f329b9135d52527d058077d3ccef90202f20eff1541194d3b8bfd217e042ec16331685b241c13b1cc1c94deecc9dab1cd0cf6617d1be87263385f25fa SHA512 812ace666fb9bfa3790b40bdffc98a44e2fd924cd6aff48aab36f916c31fabedc14582454215212e03851ff3293970d65dbd55e0942fe206b719aa4766a2dfb3
 DIST rec-thy.r63982.tar.xz 15364 BLAKE2B 0cba750f19c6369d78af82cb0d6d42d9b29942d98b9b79fe77ae7051c7877adfd7c69bf2baee96625d61088b5ed253ea7528e6f760607e55a8a280451abd98de SHA512 0497b8d382cf239b6b8d2f4bf2aeb3af34c8d1f1ad94640f930c316f9b7bd7e6a150c3d344a555313a88cc848fdafb3e392ff6cec0caf72d3517dd1db4b7c2c5
+DIST rec-thy.r70806.tar.xz 13384 BLAKE2B 73524e4d635a000e3f5306988eaa599f44b5d5fc8e9f9d14e62460ca45ac324df92874780d97c9696da3f8693da1681879fbbb1350f2734871ebc8626ddde209 SHA512 a057c6bc3b879700a1975e35951314d34b46af8dbd1f85f91bd714404f3473895ccfc1a467553bf80f63fee27fe6ee6ae38b7dd6c4e09c6679196d76ada6a36a
+DIST reptheorem.doc.r72495.tar.xz 247884 BLAKE2B 5a8c06cb3f7babce004bb8390f4ec8640373845cfe3657ae9253d9e1349bc8a1a32aaf1a6faf4450dadadb436442311675453a10e97c2c7e7477cb96d89ef11d SHA512 227530e1c128f4ec410256aa02dc621e05042731f4e62b8783cd9691bac68d6795422e1d613b57ef0843d79dec7072c958ea0af3dbf3ee7cb8c42d1c3bcd0063
+DIST reptheorem.r72495.tar.xz 1864 BLAKE2B 6beefe18fbb7f2d842068633807658d020162d1d5396a99f0594b35c1883a7a803285fe14908fcfdf5facdde57a392005399b90531e8e20d0112857000c36824 SHA512 984909185000a9741ccde3b851dc1cf2f0d8fcd13d4812c4556459c09bb21ebccef9a6de0a4885c051f438f276ee8a97d1a3b77761fc69f53688d6d7f1cfc3a7
+DIST reptheorem.source.r72495.tar.xz 5352 BLAKE2B c983b6ba176cb467f3860e86cdee89fa5e1ce57fdb47f98437d27b6d47d7d16a74ff31952e18cb2cfcabc454fd43106de5a6ba7a4051f87f48d48b2775a571f0 SHA512 911166381a8ce2407c07cda578bdbfd5b87f4df902ca9ff13bb8174cffe939a958c1882cc164fe6175e9121cc1eedc9a0aab39943539435fe52a4085916e2822
 DIST resolsysteme.doc.r66192.tar.xz 475044 BLAKE2B 8fe99092b12748eb420f9794cebe8aa448bc75df82611d9eb77a7b586f00ee98e7fdab3af94aaa158b32b53c2f8c8a9227c10b91c84e5e703dda17fce9a40a55 SHA512 3fe3d927326acf296c5cafed3c7ab5902ba7c8c943e6bab280b1e0f0a997f90c3e2676522f3dc7dae0436845b4caeb2c58804280d546dd4e6223bd1984659aa2
+DIST resolsysteme.doc.r71707.tar.xz 481512 BLAKE2B 7fa110ff595eff545f203c14db33e7d032079355e0226bf4aaa8290503ca1151435f1842f835ec088302fcd8f7bda75cbd83bcdfa1368d9e3834f3e4dea59fbb SHA512 f552daeecfcba58d3c890b477505f7f18a4237617eb32a8ad994888798c0b7abefddfa03fbd8ab6991d183cb1a79903481082de29ca45226b00eaa5764a2cdea
 DIST resolsysteme.r66192.tar.xz 8356 BLAKE2B d0c63436fa4a83edddec96c193ad60ff386dc2f714eaa3388c9a9f95aed595ffe0c22d1bcc74497215dacc60dcd9e77fabb1adc54c394ab468cb714eef58e7ef SHA512 b4d196ea41fd5f4c9d78df932516a8f1bcb2a8862a4b367a8a288678213fe7a7d6fa8f4ee531982dec11bf04576cc5836bf47368f282cd939464ea6df748eccb
+DIST resolsysteme.r71707.tar.xz 8444 BLAKE2B 59362f1d2144993045d59a4b0d9e1c9f4c71243521d3dce88d5ab31443178abb805f6441c6a9c35dfc5e8902d1519dc53929a72ee1efc927b6905363f6589209 SHA512 07fb4c6a469ba6f4f36f34045028d6b9afac9419706fb1531160bf6a7919d6eb9aac37210020b7d30bed12584b1a6854b49d707c4a00d7faddef66a1481b81fd
 DIST rest-api.doc.r57068.tar.xz 142288 BLAKE2B 8233436a58a014cfcdddebac481e2fc89cee4116558cc390ba994c4f2a00588724a9d6cf7454bd5874dbf396a2730ef207b8ddf7dcff59c7bafa8b7206e62b18 SHA512 b823828c122f971101a161168cfbd489985c159278de80db86647b0c0adff207747b6877795ca97b27f541c7907aff90213feee61d4b039dffbb8b7514923e54
 DIST rest-api.r57068.tar.xz 2892 BLAKE2B 7272f36d1f479aa5310e0c3f2cfb0a7e8db33f7d3d6553c9dfd0f2ca2822128493f98ef184dad67d24d9865c4151686b29702fce3e70bb572a0039cf1f65c270 SHA512 a5a8f299d6feaaf4079e4a99fb84bdf7752016c92aaca0d0060692c13a7656c230e611e06bdb805712e7427d2e6cb599b96bee77e0c51ed769c4bc49cec32f1d
 DIST rest-api.source.r57068.tar.xz 5324 BLAKE2B 01e20844dc04ad0056e6d87d86c6aa8a2e1f220739028a246af8f513fb01ad419f7ef68b9ae5f4efcda499733eaba20b525dec18ab1d72c1f9befd6c393dcf29 SHA512 2869854fc933ed536ef425d8418303e3558ed8e0b3681c2d7042e1386b0069dcf70286ee732e0f8ace19cf6965e3bb046caa0384ce1423e1c71d9591012e5a10
@@ -494,6 +573,9 @@ DIST revquantum.r43505.tar.xz 3948 BLAKE2B 37235aab0dcf5140522e6293bcf61619b5b83
 DIST revquantum.source.r43505.tar.xz 8792 BLAKE2B e90707bdb882dd545837656e0bf50b7c6b9c9c998a4c5923746b1761509cf38f996bfec5fdbea8356821040a05f779a107fc26072b37a3f9717cc72fbdb5b1b9 SHA512 47e7a900aaa9198875acb1a0727bd30b64c0d41e9c33cd6240c29b8d67b17960f1ff05f717701385f627e6827881d365c01ed68b1adea8bd3e1b5423700f9bc6
 DIST ribbonproofs.doc.r31137.tar.xz 335072 BLAKE2B 4d4938c9921a2ed97f460bd92bba35b51e9ad61071e7503cd5c461136f4b143b69be1d58d5b2c30c5cf71d6b54a4b8b0a6c51687eb2136722990bccc4f662dac SHA512 d0efb33c19d632253384182b562cf0e0aa10be81ce2336992c83ca7d25abce37c44b152cc8e928cdac90709cb99a4a5caf3ce8a631b13762aee7b39ad92da3a2
 DIST ribbonproofs.r31137.tar.xz 11420 BLAKE2B 716a00ee8586f5bb226245bb266c69645d3abdfdfc877e0e3c7dc70edad37759865f5aab056d997ae8166d49b66409f2533b2c187772c9fb645be8157fa1413c SHA512 88d1ea87819bef7f8e70e0df273315981c28ffdbc00247431afb8b92959aa2e0a3e489b01f7571d30ffaf3606d240f25bee6487fc704f39417146a93403bcb3b
+DIST rigidnotation.doc.r71264.tar.xz 273576 BLAKE2B abe281fdfb231a6fdea260715cba325cc9f595e08a73108790fba3845710cba9a92d320065715d466eb2c6d56fc60d32d3cb272f6a334678cf0a3b62a793fc37 SHA512 77604f52e7fd72528e732bb01bdea196dea9c6ffd14602425c4672146d41a41471f55843290a3bf78b67644f8314db2e343b1b6b5f78f2855840f61712c1ea0c
+DIST rigidnotation.r71264.tar.xz 2140 BLAKE2B 728785e0f63e73723253e5a4b5187c8d26d6a31bc9112254d7d7e240474be23996cbf6770de54dbf8e393eca7f1135d3c700d49596a5c9f9a9eefc69502a3309 SHA512 3d86939eed9fe74755550c22e045229ae42c3890704d752a22fa78beace8bbcfbf0d9d73c76fc7301234807902f53df6d2b0112c44670ac380994928656a4c43
+DIST rigidnotation.source.r71264.tar.xz 5184 BLAKE2B 761edeeb8680d256545f8ad611a327c1f2f06554ee9429dd3a7e468006b73235276440187a92a427e8d44df876958262b3335d2e7554588c65b7d966828afb88 SHA512 618cc40e752b56d590f46a81d737c666d74f6b17231418f29218c9587cf3d94f0875b652d19fc570eed3a729441e74ea1b5bafc63fb039bb60e19dd779d9ca40
 DIST rmathbr.doc.r57173.tar.xz 252508 BLAKE2B d1e96060801659dd8947fde58425cf2d930cb2522ea3c7e19c88199b9bac9dc6994c0620e513f4d8d18f0b73cd1deec6719b288596629f2f6c17ba9f131d9211 SHA512 e7c8d4f198399ac35e51a0d1c2c6ec420c746768de362a8179c0208325a45b11a8ba6445c2b7a433e7689e677505e3baa4b87d48a749bea5f3243d10f43deb83
 DIST rmathbr.r57173.tar.xz 8656 BLAKE2B 2b110c62b9cff400e61d8bb30ded2968ebab1c423fe9ce7348615c5314dca2d76fee6fa6645584ceeb2f96c84c9c1709e5f7d671fb8d95fd52ff84191d7b9b93 SHA512 d1394e40203bc7a0adffd26587870ad4aca0faaff6226047cedd5ece5e55e6a99e56829a38ce40b6736c1f9a03b9bc4b337a0e4f9eadf0617ddc385a60372176
 DIST rmathbr.source.r57173.tar.xz 14392 BLAKE2B 35fa8fc10d654bb3bf28e4eccbd3de860267c3b0912e6aa71efa1e5c30b045c052811c12b21456f3391dd5e276fea7bc69b78033d0b2245dcda0d4ffdcbeab26 SHA512 44e4859933c2a5f664feb1bd40ce1e51da845fed56b8594d3fcbbc814654c80b18d20760db3c2690fbfa74233523e4e8492471415154942cd2666cc52837a98f
@@ -520,7 +602,9 @@ DIST shuffle.source.r15878.tar.xz 3264 BLAKE2B 9bf5af8e2ad1443d161f07a9b361f24e2
 DIST simplebnf.doc.r68959.tar.xz 85436 BLAKE2B 653fc600e22f57f2479457a8de9e369418285d1691ccb54670b07f258502c827f1e5c722168ab3ee77608923d0269ee7767d2f1305fdbae05a1dabb0f4f0d768 SHA512 bfb6dcf8e843a42b5e7481e3ace572f55561418886cb0ed562fadd79a72eaac6c505b9a52ba37f0e3c2bfec7723a7334e81ab2dd6dbddca47ec2339f8a9b64cc
 DIST simplebnf.r68959.tar.xz 4216 BLAKE2B 75d26f3125d3451e1df9a81ba8ad2696317086b28f36a944259c0c58040ba7480b4282a4d66caabb04945d1c96ea7971152e60ff146b6d6eb4779c473e5c2af3 SHA512 87c6838d1a31f3a617752f428fdca3ccb7af22daace3caff307760f24fcf3092cff324db6357174599985bfbbba6a8c0f31a498481da3a7790ac653043c0683e
 DIST simpler-wick.doc.r39074.tar.xz 58000 BLAKE2B 9ac9a8b13a394a7041a1bd01e473ca972f6d1649316c0783d9059f0af3b1959662a8554088e6ec7f318fea20b98fdacd9261aed0827dffc9d72163edc01fa4b2 SHA512 d8a45e06707d3e6c39e36d83020f0a2d4654cab508d91e47022320e67454d08958cfd6d3872c5ae40539f29b03080915e136746452afb9f2e74fe8be2ec20bc1
+DIST simpler-wick.doc.r71991.tar.xz 57996 BLAKE2B 22d6f38a87ef70a614b71c1ac8e647b10bd1fe4601e76b2b5454280feb38f148fda51e1a31deb36842f473dbd8b99849f174168b402590ceadb1b329fb48c0d3 SHA512 047bfa1e2b404bb5386e422d7250f73f2b66e96410e4cb7fb0c28bc7b7129c23709c6e1c75bfe9b5476dd5fa02bb4beae46473218a00e23e2ba742fa4c4a741b
 DIST simpler-wick.r39074.tar.xz 2612 BLAKE2B 4771412d5ec5e6af3967a1fae4bfd0caddbdc2e74331d36c4b1bef19c1ff413d4e4e028f121d65a9c3997d45bc36af0188c50a36d18af754cc01f5322593a03d SHA512 2bead248c2380e19fb19012ba2cf7a41fdd113f48a372011c27ebac0820236500c5e49e5235e2c52fcc5a0f9c79f61cbf76a5d6de86322bc40382f5499216783
+DIST simpler-wick.r71991.tar.xz 2604 BLAKE2B fc22ac5e88a627fbdc376fe6f0eaba62ad8ac382e35d645a6b44ea765e222f709f38a20fb949d68e82e1836253d7bc63252652193639215e53ffbeb59d8ec6be SHA512 fede91fdee73a2c7d203474a8c7c28aec610aaa97492658b3c98c84c53398800434529b0ba28510ced07d83e374ffa9f0ce65d0da3c5e2fbaa6f7fc20828c831
 DIST simples-matrices.doc.r63802.tar.xz 1527324 BLAKE2B 16dc74dbb24db5dfc4691bbf7e62915473760736346f4cc20d92f7571a5cf32dc65f4eedab03ab1fdd92b24788ed15598c5664426aa54e7eccc2c8a724d8909a SHA512 8350ce5c4b504f955e7e2b214dfc7938e010ae440b0e51389f2013b8c9229db362938743e8da08d7fafaf1be67d29231d7fe6f92507399b838c65ce3890ec29e
 DIST simples-matrices.r63802.tar.xz 2508 BLAKE2B 42be368517cfdd470c4c85d580bfcd3e792b46e9d2f808178f6e80d9e5d5e34065e43bc1a8ec5ff72352836d502c553e32852abc34e169fe35b1e3c68ad85533 SHA512 859e5e8c221deb1a40f08a0cc2ac6949cbb055791ae5435f97675aff4bb1e97caa2fa8c49b5735d31ee7b11ae8638af839affdd795d052d022890b267131dc75
 DIST simples-matrices.source.r63802.tar.xz 14124 BLAKE2B 87ceacfdcb5ae0b427928a9ff87eb25669d0dd32b1d289d2a26ecc25f1ce51a3c20bb82cd4f4c7108e6b4823732ba25e6eb15dc74bfec38509b7283cab2b91d4 SHA512 f88a1b06657e40cae2c505f56e35c8696f4f4d962376b5f8886965066fe21a4bc36edb7f467c29cfcd511b5564643699a54179b44f5187f1c193690485598a15
@@ -534,8 +618,11 @@ DIST siunits.doc.r59702.tar.xz 250232 BLAKE2B 8b9c4063ec6a50e30270bad2578cf2295f
 DIST siunits.r59702.tar.xz 6040 BLAKE2B 6dd7c23ff06dc584b9411fb23a634151f6bfe9a05c51fbda2e96bb4e6d02a97a08c3001f60d49a1e553500f2bd3d18805ef311600ee0c82be8e42be78e0da6c4 SHA512 01b2b83edba4482a6d0434efd4590b3b0fbbb596da6075632a215d60a16cc48d66f0f47d3ca61a0e73290e933952cac15fa2048f6ac12112dc603956f123f5b2
 DIST siunits.source.r59702.tar.xz 34532 BLAKE2B d670f6c30f8edc8d95d9f578f7ca8fcfbe10080ead0d73b4861c102fe3b720dc421c44fdf9c043e3e64ff785e4894590d07583007d43d39b5f42a6f3d8cb8166 SHA512 8cd5d556cc4c6abc503b9882a7c2ff19052a9004d703b37383d6a6c6ec671ea434b03f6f1df362aef2fec06dfeefb7b231072c975eb946262b71b15131f38daa
 DIST siunitx.doc.r69742.tar.xz 1288068 BLAKE2B 345b14119e93186dc11927b20afca5414b1251b34d442f0f5a8263ad9d59b7940e8c21c62c42e0133f622007a66ea1150795d415b3703662f5978abc5356bf94 SHA512 61d5aa847c2c73d298d4b9dc55d8fd408d1aba93b7f6bfeb9351dcbed36bcee1ead5e15b70440f07c1901eb759809b0aebb421060fa718a309398dd6b0a9a954
+DIST siunitx.doc.r72900.tar.xz 1286620 BLAKE2B 5e2634555e9909fcae642e636bc72cdb16dd623a1b10d5707ca29251db41350e1f1250391fdc0bdcc6a7dad62a546699c88ab90547e570cb19641a38c4fd36ff SHA512 b7348bd1e4125a74985be845ad6f5bdced5295d5f4ad64ae9ddf359f234f67b4081e6fd16fda0e2ed616329998783e11093940a8c1f8117e7225e81446a79c7e
 DIST siunitx.r69742.tar.xz 67800 BLAKE2B 77458026f7d26c4149ed03f8b075e587bdcaef594b2c387edf1d42e341c903b898aa52456b14bdf16ffd0b2932ed6008faa37a82e4ebe424136f5b4be0ba7289 SHA512 90f902d72292b7564e69f03f72b0afe40b70625b4f84f5b19af5d33922224764c9f428c4b20c77c0a72315f8c1474902e9b697375afe6e304e6c37cc861b46e8
+DIST siunitx.r72900.tar.xz 68188 BLAKE2B 57db8a7f1321abc6fab239dcd0520c449150bf6e7785e50308862df918ff9468ddba4d349ae8a1fa4059bd01f0b50b08eaad72791210b45b2e75eb70d5bab3cc SHA512 508cd6a40f9de4873a7c33cba86820361975bbcb59c1e0ab685a7c30a91c23545e7a113f2499fe193b878c223472299febd2640cf7c4e05a2c27c3a28a747598
 DIST siunitx.source.r69742.tar.xz 122936 BLAKE2B d8cc66aa3cc07c6bfa6678784877fa1329bf35409eb4c451b7c0bd7f20b3ba6dc63a55cd162f231e1671e13d8fc53495ed624c056827a44ec5ac1dea973e2d4e SHA512 6718b92355197dbe77bbf8be23f57a1679cd1df263918d6c22bf82b71076e62bd6f0c6aa84fcaf4bfae43c063f828b678bc0c9ca4f960a66e78d63b46411a643
+DIST siunitx.source.r72900.tar.xz 123996 BLAKE2B 56147ba8a0bac908543565663385fbbcf7816a552db7cd2bfe1fb7677d5832697408989c2f22699f4ad98590de2fc7e0d11ed9c78d7a5466ac169e7b70a748df SHA512 f95b01570637877b27461969efb09d8f0b88bb4958c6452777b1e2198bb35f133f9b934cf4db76ce9524de3756f44d6b959c36820fc38039457d169f591ec59a
 DIST skmath.doc.r52411.tar.xz 304460 BLAKE2B 48a1f12beb4ee07fca5e4131e59f5563d9d3aef7135ad4d5d7885699d653fbf77597c55ed855f419005e79ba6d03529ee23dde3399efd252764850e781f78be1 SHA512 ce579b82a84f81169bf1a6cc37fff0c2e7c4e1570d0cbe2eb143dc8ac6dc082fa3cdaecae5a31791aa590c89fb74a58a4451811ec66d38eaa146520ff16e7471
 DIST skmath.r52411.tar.xz 3572 BLAKE2B c49d917cc79d4b1bad0e9dcdf9d59d0b22dcf9573ccebf35a57bf063be8dc68983005063c47a1510861fba19d3a71977159df3b80e629ac46befe585a158bb07 SHA512 6cbc67d9a6fb9cb6a3d8da38ff83bbb6dbd28c5e3e81a07a1b7292472d9064f321206ebd4ac1917d80f138f9b9cf91c008b8e3eac27ef0a77ff2073cab08eab1
 DIST skmath.source.r52411.tar.xz 8580 BLAKE2B 35b18ec258206cfe0dd3ffefe68c57c4f0fb4609b588d71070e1ceb90d9d3e964c5cc5ca53d05f8633a67ac53af74643ef689586c4ee9d91b237bc14ad061486 SHA512 d5101fecf8963f78b9e202c9d537723dbea069558cb764fc66344862cbcedfd81ecd3d923ee2f8b1167a65f8325e2f1fd66f16089a92ab419a580ca7313fa484
@@ -543,7 +630,9 @@ DIST spalign.doc.r42225.tar.xz 120216 BLAKE2B df687140fc7b364cfe20d2de6c91c93420
 DIST spalign.r42225.tar.xz 2848 BLAKE2B 643f8872f694a7be88d3590a124fcd8e34a68703f0a2303dc5c45012f1bb85d8407b23ffa301eb30b078f49d29b994d1960f994dccf3a15c20ff0f350c9feb47 SHA512 6e00399e0940778a6ed8326abce14f15836bcb69f8e7c67d06cdf8567330ce0482a213c7b65c2662e0fddc47ce7b684a640e133017eca314b59eefc278eb6425
 DIST spalign.source.r42225.tar.xz 12044 BLAKE2B ce1931fb074c46f6a75ec770b2d2528c73b62142bb1707e6e5d19ecfab721cb7fb59bdcf2953fa03554a44329fe1f5b310ba988886711bd3bed382eb519a1384 SHA512 3a12b34469bbefd61112b7338c8b5d440de46837632a695b52ae18e4f297d6ac0cde7ae71db7bb0a7bd3db0aeaa83e78f33a60e4dd496cf9c0ccda1a297b4ae9
 DIST spbmark.doc.r69725.tar.xz 92872 BLAKE2B 2a62dcda9342becd9ea8d5f06cbb16aefeaa660c791c13cbd21b78bef6f1ae6a41b5fbafd85bde698333b4e6bc3bffa006ec7b1c9ac033938b6988b76f6de1d2 SHA512 58a138180d5e900812c2ff1deaf69de3feabaf9d3aca337c9e75c0acf98fad8a2b6dec587a3024f38918c2f857ed8eaf1b8141cc831ce03f947cfa9db40ad599
+DIST spbmark.doc.r72720.tar.xz 99832 BLAKE2B d046bb23f17d9ed4bda0ba032c60bb5231f95a9daff1603f36b25ca9dc0e75a1984efcc37c8aeed174682ee52b5fc7ea46b92e8c417c314919e6153e50aa64fe SHA512 17567219feed171167178e1e751e3e6cfee91375dfa96136eda7d815645f7cca09a0ff4cc75a72a538ae755ece02b137946244d5a141926d98a4170ff5a7dfa1
 DIST spbmark.r69725.tar.xz 3652 BLAKE2B 5997f94760f87cdc7e647a8121b1a5991a76ee79665742fc73be5f723b609a95b5bd60090ea74255a2152b98e66411cd8815a12d36d9bfc66f8ae3f927141064 SHA512 2de15b25d8f564401a357d3b0a6a564af07c7b71a13b964b70f6a124272b9ac5b483b0178343f3f0a0246a5b47d6b703ac1490351d0a7e30ee10058e3012f782
+DIST spbmark.r72720.tar.xz 4416 BLAKE2B 2ad9bc538fb38cfa905f3a4a8d09c4eb1380172b44d0aced11e40ddb2f3b2d748de85bf10a291be4f93d61ef1a18a9f33ee393da861f630c2cba0a3ac9740636 SHA512 80145bf0b3874607c946a9362e143c8f83699317158fb842dbfc562a7cb8b62a2bccd61ad2434ad0180d3a179e4bb4461331c89294430486adc1d347a6b038f0
 DIST stanli.doc.r54512.tar.xz 461048 BLAKE2B 88ed28090ad45a51eea0c2b3c7923c78879004aeb4fe7fcf6f508ef252097592d3c9b76857f22f3b9543d8ad707886615dc6846f8020a33d1b3a197e1f145b91 SHA512 e4405c8903478ad2b8a5c524666e2fd4aa99dc34dae2d15ace5de7ca4713a6964467f18d4ae2b73c02316bc7d0e51f12e82312544e2e44d50eb3e4ca51671ebc
 DIST stanli.r54512.tar.xz 9720 BLAKE2B 5067564701db576e2e08b979fe2d1053b09f2683b5bcf0d71ba47a8dd53519bad3eb3e77f557dfe391e08b473e44a9fd3e963589ff57a4beda5b4bca6dab1611 SHA512 2273ba6dc99762490a0cd7af09edd5c4a511ace7317e62874535946bafa69c14f02663afa21fbc54753d1b5d3884858ae93e4790de7dfe4a829e4cc4ecf4e004
 DIST statex.doc.r20306.tar.xz 177212 BLAKE2B 64f740f8a8d7a0b8de0b3455b986f832fceb54aff9d962e6d34287c59cd9f9f8f8bdea7c3fafec4107c3fcdfbd59d5b777b477edf6841e27d277bc666067f515 SHA512 9851bb7e2e9af03affa1f4b5750817543be9e985e02d06ca4908ee1ebcf0eea2b8d75a25cefdde3492efc52d86be5bde6fc2f6a99f935c183cf3fc9041ee0e25
@@ -589,9 +678,14 @@ DIST sympytexpackage.source.r57090.tar.xz 17084 BLAKE2B ae1955211849c009f4e346e2
 DIST synproof.doc.r15878.tar.xz 61492 BLAKE2B 27ceb39022e266454e885a182f646a1d235ebb6147810158e4e78eef9fd3d55d9995699121f7aa2f0aee6304b38bd6777cdea67ddfa2390519f8920336e2f3bc SHA512 9a12fab29c7c0118bd97a7af1585ae97c5086e7a1e9529624b7fa43a723151e00537b9488a42628d7f6e93b87d092fe0dd18476c7d232e3ee74597186a92585b
 DIST synproof.r15878.tar.xz 2200 BLAKE2B e9c196236b6d7d0c5dc149a0de41471db972c13f774edee9e48f79dfe229cc1714d1c92d789e46c877813ade43a672b2f0d19b3b79addf183ee44bd199756ac6 SHA512 934235e8eb4ca51a906ca287c5524cc3b0b69c649b47a9fa0fc2c9fd664199eb6fce835d435e97e0b24bd0662ee68b8db471e3546c4bdb402bfcc19b1fd02c50
 DIST t-angles.doc.r15878.tar.xz 117652 BLAKE2B d660d5e7164a72ccec3bb80e6a57af3c68ec596bb7291e2a9115fff0d89adde8db791a870020f2d882cc3ad0fa3de8fa87dd04e0184bb6891415f8ec75f31342 SHA512 32dc9adfda93bee5e61eb062e6970f6e093a09016a6ddf32f82d110b7717916fcc92f961c8be682958d1f3f345e02ad49cde4a85ad4a0d0add08a0bc80109d8f
+DIST t-angles.doc.r71991.tar.xz 117652 BLAKE2B ddb96ae752197e9f5b602a1537f4a374e1c4d62c9aa0825ab64619ed84f2abb6e1367673f83fa69a4e09635693e405f8c92e797900182ff0107ed56bfa36a8c6 SHA512 7dacc8d0dd1afb26a9dff0aac537694e19e5bd675d5eaaae37053c761562202d799e36ebdc88fb7f214efd9c9e0c66bc9d051b0550b148003442e0d5fe1969ff
 DIST t-angles.r15878.tar.xz 5684 BLAKE2B c3aad65905c5a37b215c5cf0404397e382ca4d4219fd7c598077d933f8985788b99682acf76f3d35d105f00d331075c245caaa68ef8ae1d41dbd3bc221be3c0a SHA512 dae9953288c0067e233ca26d2d5e7ea32207790eb16bcff2f0f56180dd9a65e70c234de48652d053a858ec92940c3c5fea10c699c697b65a249a8c84fa050b71
+DIST t-angles.r71991.tar.xz 5652 BLAKE2B c89231e6457b0158466c5f836635f47035bab52b90ee433480bcf03daceeaa60777aef4e48f4be225e1dd387da5300e6878672f4aa25ede0968497147555d935 SHA512 ddb8c6fc846cf099c99057bad54d66599f30a161c5f936766340c470c58e1b8a9160910ff97b7ea7b85f348d18597ae45a197500cb5b7b9f3a8e6653e0fa702e
 DIST tablor.doc.r31855.tar.xz 449356 BLAKE2B cdb656322b3e49b9bf8df4b45dc50b87abbfcacf29e414afb8ad6c6462ba5303a28d2d767d90d7ce36fca0f8374dafc8aa8b3c7947eb573c6280a0ad5531ddf7 SHA512 77a6d1b47337f015dbfd39074e1dae417c3bea3c9635955c6518d691ff336854cdd7587af54640282b45f5bf3885044d3b6789a0a73f39a726aeaf0afd27c883
 DIST tablor.r31855.tar.xz 12620 BLAKE2B aa4794f1a4da04518097f45c7f3dadcfbaf8c97e024332a1346e4359e15ba77cae95ec97828e78a8c3d59c0f6b6f1f58692281d76481f54d32ccf64ada3e99cd SHA512 64169a74a787f8877d41d5e32c42e5659950854a1e20cc05103b3ed58c54fb800a9af0701a40a6c5b75553b86d675fbda51948106cac464785c3d46aac77c979
+DIST temporal-logic.doc.r72575.tar.xz 521448 BLAKE2B 6434ffd240f85b7bfe56d1a58d1d548d4adc7736fd0b87ca5e11950c036b3c1b9d31d467aebdd4c97da042a8c950e30ae14bc3a2b17e5ab5cb88468bf9f7eff0 SHA512 f2017f015d7bac67fa0ae4c560bbfeb79948bf3a5ccb0e52dd2523a6409744a89ed996ff68e4ab3fc78d13d44fd9013bf063f3267a148fb42aa95a48d6d3f895
+DIST temporal-logic.r72575.tar.xz 1908 BLAKE2B 1d9fda4fa14648140fd31f1347d03af3b343e6d34f89ac898be64d35ee5256dab4f64e0e72f8f5c2a15986dbcee7e310dd637e0e19a3da7351da58110fe3168e SHA512 9d5436912307fd8f682b2220682aea47f304777c3810cee696d5cfb04ab9cd6e78f5428b3681346b0a7d56385e7fd4d25d6ac1bab57b72903a40d1716636f22a
+DIST temporal-logic.source.r72575.tar.xz 5536 BLAKE2B b085cea4e0a7cc837d893422f8af4163a4ca3cc938dea2fc1e6d095bf5ed6bd80db63a79258418811da746963d9ead2be1ff14b5281d56f764e45f9b271efd99 SHA512 1bc58aa6b9284084c96212c35aff87d23fe3598dd4e9c3864b147744fcda25cb196b91e9af8b12c37a1838dac71d1db103cb3a70c5ca9effe6661b19166d2baf
 DIST tensind.doc.r51481.tar.xz 219304 BLAKE2B 35d0d920de4ac3df7176f6e6bc01b4513e3675be2ff8170ec46d5c66e98829adbec05eb44165c4eacd0e680e218c82a408e7349fa2b4107765c398c11903c06d SHA512 12e443e2ffe876732759ddf91c8948e9cfcebc3c1c96949c51f090e15dadfbcaf801e488c8d043855b576404207612ae91d982279cf0b29bd73d4a5d1528bb6c
 DIST tensind.r51481.tar.xz 2708 BLAKE2B 6c7f1ac62dfb290f45d0a06446225201b64460ef4fac58e787fe31493d9f83734bbc64357986c85d679a81387f75ff073d24e3723034b29b1f352e8980f35816 SHA512 fc20b6f6b705218b82b5788582d8b017be783e42c87b3f35e7aa99a8215ab0168b7da899c73ef1ebc282bedd5c715e69ed9e1c19b94d9b6369ba8e9986b5c5d6
 DIST tensor.doc.r67667.tar.xz 320720 BLAKE2B 216c33fa59f741e6fc1d210964d756395e7b11c1a06bd800381c76797da4f66706fac2bff98aa675e733ce24d976553c8a68ae416bb1e8440aeaa8fd868a101d SHA512 f60b5bdde9a29bf6a13ee94833b0d1fdaa1e7958d01a6a42b20a995263f398f7fbd761150b71f66490ece636ad2aa2c69a8ac9447a0000265ac480396822db2d
@@ -606,11 +700,19 @@ DIST textopo.doc.r23796.tar.xz 578472 BLAKE2B 1726129789e381599140bf19417f6570c3
 DIST textopo.r23796.tar.xz 31844 BLAKE2B 12daa55bee83b783fbbd0abd503f12fe5c62a2533249c70d58671b82c5aa17112ceec964329c26d38ed6ffa7410f9cfc5d662063f71cb93f755bfa0373c81eb4 SHA512 89a415b1040ff44f62c452e61abf9a5760929953ff0a4740080f79e8343b2b4f4eef9340e5a83fded39a000947dbe7f2916fb18624c4512c5ab58171708de268
 DIST textopo.source.r23796.tar.xz 81908 BLAKE2B 4760226b42b545f2575d515e60a595e27b6fb70198d5e81e2c275ae8b1b87fcedae140bc32fde4fcdac1c8fed834c62053436e0538d9e569302cf7c152eb7ff3 SHA512 d426490fee0b747726dfd7df1f6f72677c9aee3d8ba56ec04dd55037aef563297d16d08a821c2e9a1493c5c29ad6b52c5af23b6bb1f4adec754bf530beb81571
 DIST thermodynamics.doc.r69086.tar.xz 266980 BLAKE2B 8d2a26d6faa5840f1647e3541382fe7c5430bbbcfca96e6561a2578335633c164561bad31be496e4986076c5f37cbbe8d6bf8fb006db1f71ef102a57983927f4 SHA512 3e2ae382e61ec8734e6cffe6c4d5efbe853a3c6748e1d8e75c2e4fa0ed6e7ada7f8a79424f49c43a753bcf6ce867b84ee353c553ba412c0386d58d2d4f5f437f
+DIST thermodynamics.doc.r71522.tar.xz 328944 BLAKE2B 735d5b5ab062b7f96dd824ec4dd45ce1eb459415dd53f62d5ef66c3350db8ddff44e8db289ec49f1bf6bb0038a065538e343f0f4722e86d5c85f377dcecf5f8e SHA512 60122ff34e736fbf13a31205a8438fb3940886eeb866c8807f93b9574eebb2c079fd8d611a37d2c757578a6c8f58b512329bed82efcfe8d21e2d26ddd9998679
 DIST thermodynamics.r69086.tar.xz 9176 BLAKE2B 72d76f4af746cece62306b290adaedfe54061186974c924e6b742c07e6a23bcb00dbe1dfc04fa9268afef64c9c9673454b88e91b376dd4d3f3376d0cb48b1100 SHA512 0bae277827251a42a366ce85aee49d762e08025b96472f8102a54b7a9f1e74622bfa0064aeaa6dfee5248ef84977fd47389fc91049c057caf75c33930ade37ba
+DIST thermodynamics.r71522.tar.xz 11124 BLAKE2B 6b53bb67c8853e5e5c14cf33bb2f33d9ba9af6b3aec86615dc98e49c76e98c3a895381b5fd64191ffd4c279199ca2b8f16a7a0d0ec403cf2d4a69f0c12aceb4d SHA512 2b11d1173a2b8a508e9bdf9bf35be9f796048ba8566e42003b3856eeac9219f195b6d030d1916922166f8702ad6f66f4092c16c4601332efa986be204767d53d
 DIST thermodynamics.source.r69086.tar.xz 34088 BLAKE2B 3c60114729fb5088dd7b088a4c3f6c94b773a0ecb78dcabaea2d6188c9e4e3b22cda1ab82a1dc5ea804ef52000142514e6d3ac4d8d730e079eee2505fce2fee7 SHA512 0ddadff5d744ca8f45bab8f471685e9afdcb494e60aa6ba0c32c8a75bce536adc6544c097e95da02457059b5bb96ed37508217577caf16c963af6e07651ae721
+DIST thermodynamics.source.r71522.tar.xz 42000 BLAKE2B bb087563fd20fa2869bea127469c8b6c56117d8a114a028723d495c1ad311cf7c7d3ff53ec02383d60965a79beb7f7bac6231564492a3e09b3af471c5f76cc53 SHA512 38aabdcc6e90ce7954e42d96e0294f857345cec6b013c5e591f959322c1dd67be062d253079627b816911ca4c20e668d7e40123098689c07756f0e395c44b416
 DIST thmbox.doc.r15878.tar.xz 93936 BLAKE2B dede832128789df85cebb9314c86ad095ee0a526c2227846d79188dd2e7b717e29b5d004873c26d879b855862ca8c0c751df869cd807f074016cd4bfce8c9f26 SHA512 ad8e0710a15781eb3164527dd16ecc2050d3cd3317c386841ad8612a9ebc6055a1501272e3b01bcbc6a7f1ffa80455bf2ccdc0cc9ff4428c9688e9f6404a16ff
 DIST thmbox.r15878.tar.xz 2416 BLAKE2B 3047b69b9beec3c54a220c9149112250ca3108e5e9cab1a57c5347cbba41909aefd7ccd2063d2ebd64029489e89f776e652c2d20cbb6e44fbf152dfc8b94c8d6 SHA512 83ceeb0cf84ff75afb734f41be5a5309692c6804a5a20627c54cc8760f8ac5e205cf1a24097c8b8624823668796092d620f5ffbc488f63b87e7cbf9365279aac
 DIST thmbox.source.r15878.tar.xz 8324 BLAKE2B 78dfe86a6dc27cb7fc3407b9216b024a2a596b9912ec18d686331c4b6a645c15bb11e8e6d3cd33c874b705e88d5e3422b7eccde8e73e4f7c8a97b4a39d93e590 SHA512 1b559b9286a97c3157d568982513541028d96cfd5d67ac541909586251ac3729574c23a05ebdfc42ab06a92ab2ea0cef878b1f42983d06fd48f825962de57cb6
+DIST thmlist.doc.r70780.tar.xz 253504 BLAKE2B 669a1701ba0cc53e78eb07dc2babfc94f1c77980b2e72a61a0188191aa4a4f4b1a3ff8018acccdf24223d3b28c1fc3badf9c7234d2153283d41e4634abc840d9 SHA512 adad39c3910725ff52168a6625fe3993471b928313b0e636bd860f98aeac2c215696ed221a43061e6d6e2d9740ca96da5cd6b9ab847d4af55f961c435cbd7043
+DIST thmlist.r70780.tar.xz 1516 BLAKE2B 8c5fca34aab42e27300afdd542322cdb720240e336d97e738583fc5a4b2eee9e4cd3f62f4f4d8f03ded6fce981a5c8d49131ce0448fec929979e424985f10768 SHA512 7ec892614ca8244bcb3036681a4b7d4cc4d9064be4a569c1541fd00d3e2312acf928c3a9d2c3e87374fb21d7407612366e657b47719953ecf6b18ce7cff66e9f
+DIST thmtools.doc.r67018.tar.xz 264936 BLAKE2B 23ddeaae68c7a75348aba5f08ad0f324d184298f1442a2c822e864b1b66a43935608f72b6f55607c1833558bfef4cf52efc34ef95a4487ed546d295ee7e0ad00 SHA512 939567cab1c401d0946de706105d23add703e991bf36dc58f4e1d40fa35b5b30b37a9e32bc2d252f247da1f1db654bf3aad460dd1882389c00a8e11106270840
+DIST thmtools.r67018.tar.xz 13416 BLAKE2B 4806e6836e1e865df67ede049e8be326b44ce4b7e5dab248ce2945d7d0f713bea2e6f382059867f507977aedf951c498ba19e07af432bb990f06692980fdf319 SHA512 7d150df3f868339c6bcccb2e881105d9eba11bab8cbbbf42d5a696a7496cfbb87f0ca848e5cf7a63239e563a75515b15d4acc4a72046ca9539c4597e077333be
+DIST thmtools.source.r67018.tar.xz 20760 BLAKE2B e281c89a83af06f0b1fbf4b2c5a4227a8f3112c9ffdf5b1395afb065fed28866400d7be449875e5c424485850db7736accde20557ed9fd04d325af7c10781036 SHA512 a086c028394cff2fcb5c011d2a69627ce2f9651694b8e1596ece652111e88d43c1f1e358ae4c1201ddb0166180d6dec9eb14ebec8a05469636061c224c6f39e9
 DIST tiscreen.doc.r62602.tar.xz 228132 BLAKE2B ed5d347b6f5482b5031671f08399bfb40d62f395b3c7de100fc448301a994a0733ba6309f335d653f97960233cafe4dc767b4485512d8bb7acf68a61d657c6bb SHA512 58add8332b25188cc4d7199cabc2ca49e3d08598f6ee2511bc525500b1ab0dd7cf8212d5310ee7fc803bf06c09e4c248eae6c52c52e0a3b3a6694ec1d36ec57f
 DIST tiscreen.r62602.tar.xz 3188 BLAKE2B 1a97a6810cab26629068f3393b2ff5dba61d74b009f95ea2eee6ad8beb651be182ae651ce041a8f2f0c8b8ca81ffbcae50ac8892a623d7f4c93b5c6ac759f3f6 SHA512 00682d70199d66b3f6a759a32a1cad6b14ef09eaa541cb0ef547d86fd512ffd525f2b53a8c1a7315462aed33148a0b769eea70c5c42213d0731a1034cd96d6d6
 DIST tl-12many-2021.tar.xz 2104 BLAKE2B d6ba670cc1ddc4ebe2451cd2a4ac981f817b6bb36fdb1b70c2faf01f53dbfcea24e1380d85a1d78d82fa08b152acb3d10f902143da4bca0a4adf775517864e79 SHA512 57a177b65450718631f36bfd8db0f2d1bff788f3bf147137b6412714cc945c7e08832f14f9e7e659adf7e072a91f13a2ea27fe3161cd9b60313bc956f1f543c6
@@ -1165,8 +1267,11 @@ DIST unitsdef.source.r15878.tar.xz 12264 BLAKE2B 921c9419933d97bd4bcc32ec3b5400b
 DIST venn.doc.r15878.tar.xz 684 BLAKE2B 575aa2807b24aae30a9cdecefcee4e1311d959dcd2ec61eef873119bff700b50386d5f2750c154668c24f5fde41bb842abcc3b191c6e1ee0e1b9b2c8b3be28f0 SHA512 0b1940cdc2bcbb7e2f103497622c4d5971abf4f6f4885f60b35a360cd655c34cd789ecbfbef9d35c61611ef22198200b11008f4f59588a5cd111870b77ba19d5
 DIST venn.r15878.tar.xz 2120 BLAKE2B e21591e18ed088d16ea4f8c3757b86ae8f645440cdb63d7822ef047ba295f567500db825ffabe3bfc2df857e381bba95da2eea79d09a32e1d2bcf82db705f1e6 SHA512 617ba85e996943d62a33acb2535e23700fffc63331741065faee558bebde608232a31bd73aa79ad707b107a9adda8b454f9b81dee184a64d94f32c44d76180c0
 DIST witharrows.doc.r68047.tar.xz 847468 BLAKE2B 9661e70abee36f8cb072aec81d0375173dcc74b2c16ac41df20b47f19d99f0ca84e5dc18c47d341068f6c57b9e9e5705eab5ee9770b42193c3fd40a5cef96cb9 SHA512 6b8993d636328e90dfc6ff622fe8536bc795a1cfd32372b6268dec38910435d19a8b85569e5fd7568387059ca9def471cfe6e92fc9ebdbf5ddcc65c789c5edfa
+DIST witharrows.doc.r72594.tar.xz 1147576 BLAKE2B f997d2cc85a1127f53938e97418be1f91fcab8a732d37e2ba19e375f605c49643e0ed4c16379852d562d6c2ff29e2864a4c6fa2bd9aac12527223b5203cebcb5 SHA512 4491494c03d54e666d272aa3e49ec58de470a47cf2620332a73b21de790cee2be8fd89621155612e779b9100e198db7eeba0bfff83a817bfeed70994f8468230
 DIST witharrows.r68047.tar.xz 15444 BLAKE2B e5499693826eb90d02616d394f3dacb082fbf21deffc292476aba8c823e5d6810e4ec77dea122483691c062b6ba32cc815c287de79c2b391c1c65ce96cab4d06 SHA512 1ac6ec240be73608724793040cd9f716b61a7a197e30b1334ba81c3791d7714c0af36c509e9928d0dc4a11bf8cab5c0be373a7ded90f0c661e9547b553b57f62
+DIST witharrows.r72594.tar.xz 16412 BLAKE2B 017c342cf298b49fba9bd4d00e15b13492a0b517fa0aad31da87c03a124593cb88cc0e8b7ed9de9571bf462636f2792866c50967758dcfc0dc27f5ef305f0ad4 SHA512 05b2c3950fd033905507bdcf3ae65c404fdb866e77db805f5bdbddfd747bd68ed6e62f3ab374fdb856ecbdb9e569a71ce2662d71a1689b09b678af6a18820335
 DIST witharrows.source.r68047.tar.xz 54344 BLAKE2B 4681efb30636b18e93437ffbd646583784cde056eb9dea687ce6977b3b136d825fd10ebcb93c101fa7de9012210ef59534fbe5c49875029654e20557539d3dd7 SHA512 e1e031bc4a1b6bce4eeeaa14f0d0201a5578c3d0492a55d29aa40141bf4519a942c839f569b8d3b72a013da17f95fbd0e6edcdff3d5f971771f0534a36cb645a
+DIST witharrows.source.r72594.tar.xz 55048 BLAKE2B 1589ab06d521380551de11f80357e2d38216f5206bf4620bde7bd3e4fce64b027168181ef9dec84297dd634053256abdae470adf512661c4181c7644ffeb639d SHA512 8b4b30137ebfd5d2d8fcc262e790517893251c2bb6165ee1c34cc8aabc3b20ea686d332a1dd811ff30501a315cc1a12c0f7396f02d678c13be7cc6d63e691494
 DIST xymtex.doc.r32182.tar.xz 11504 BLAKE2B 195588efbfc558a8f61f644c540bdbe1992d91160b4590f74512c15c5f31f5ef84c3e46ab98f4334d90d77c7ca337822652d8c5f6cff45b192006c83cc7c58c6 SHA512 0e2eb5439f2e629da902e4c7d7ddd2d03bc4d654c4ee49e6b005450174acbd70760b52c9deb446ca60efe7c0389403584b86a6f9c9964cf24858b13cfccf7ed3
 DIST xymtex.r32182.tar.xz 88744 BLAKE2B 33db0b8d843516595bc4c88c276100a6a92d260c91b19892d78ea22bbce43d59a844e5e4d3b583b166f2978976aae126210817417bc6ff7421ebd3892f62bff1 SHA512 9f0f14d1a862622ad0ef695a58f7dab554daac8d5151193a70c94ea872d16fe8eb1a763d03b226b08583db484bf576f5a41d2070d5396ac323ed00ccb0daf5e1
 DIST xymtex.source.r32182.tar.xz 164296 BLAKE2B e6dbbd9d35dacf76b29c1fa0a63a4cb2f86e787c5a6ef710560259e4a822638f78673ee35bbd01477c655e70dde61768235e94fdb327b75be24ce99a127c1114 SHA512 d805d6fcb72fb801001ad80fe43ee36126c0764f8baa96dff9fffcf7452bba8e5cf42cbca6a50b89f5925607c277b3fb7408f8f7e6ab087edbade0dac294252a
@@ -1182,7 +1287,10 @@ DIST ytableau.doc.r59580.tar.xz 378896 BLAKE2B c7eadcee05c7ff48619ff78a7219f5b57
 DIST ytableau.r59580.tar.xz 3068 BLAKE2B b0686ebf1d391ee4899187098ad6c10f2ac80540bd6965a603f51042696da60af4966fa5f8b3cefdeecbedbd16ea588477bfebf36ebee3b15f860f9fe1a45b47 SHA512 23bf33f11e295f5f36149bad2b801ecfee57b386dd952ea93b16e79f85c54e1edff741bb7d6dc7faa769062ff81277cf04ff06cb2fb92e9a7542b4dc93eebb0b
 DIST ytableau.source.r59580.tar.xz 16032 BLAKE2B 4be9acf628f08f031260e225534f09b0edd1ebb672862e5fee97fc3332c2ba5005b0e2e903f329c785a43e5ccdfa25348335a29440bb4877a71a40bd14ac7bc8 SHA512 264f983cb28ddd4f2089b4d170603172cce27b463999e4806173106e384bd4c3be16ada6f0c2e3c176dc450c53c2e50e43f993c893880ccf5c9454b84a062ea8
 DIST zx-calculus.doc.r69455.tar.xz 1158936 BLAKE2B 467bfd15cc87045fe222253c3b1c867a65f522292e43ddc9002331879743c99fe7f44b861743203809d62ab617d0e5935ac7139d501001c86bb0b49ab3a4e8f7 SHA512 1cc693a10173fa3d8b8542b401b2a8f68c4fc1358e1c60116f3b3505cd3bf46f4fadd0592d9e1d1283de027ecb626dd74244ba20fdd4dc8d29d7a8332909a835
+DIST zx-calculus.doc.r70647.tar.xz 1195300 BLAKE2B 3024c1f160fa1185092e2813ac78dcbac3abe4b524bccd3c373a91f1780106d7f9bb54d9de641eccab742ac59840cc57530fdfad12c1888bb4194fa7f609e3b0 SHA512 c9e7ccc8de07c0222f3a831972aa55cc42a9392c64f6a349aa21fa188836038f92013aaa23196d68728884891b9adc2bc12b803cb972afc71dbb378d76fc93b3
 DIST zx-calculus.r69455.tar.xz 38400 BLAKE2B 39c821ca0d898463083ebaf80f8e4f00fbe71d29ea85505680c525b51e69268d650c777a7680fed6f1cb770ac396b88de210076fb397d1365091e9fb1ec0ed38 SHA512 5849c1cebc5e3cd88f8c9d5f5841c6ae037ace8182b47135c83738ec97b4ddacb236912707a7fee72ad0aa3ea7c472111237d5227434fbeef95dcd9289e9f856
+DIST zx-calculus.r70647.tar.xz 38632 BLAKE2B 0c7b16518b569c5de8f4203440819f47119f83b96ee58cfd5fc6239f74d24e6467e8a75e70ab6fd5f8b98857e4a81413afabcd9cc2f7d74210c9807b145502f1 SHA512 df85b39bf16ec098d1940554dafe0bbefd4972f1a8306804565faad060790832c8f492fab6b18a45ec057bc8b904849789b8bbc238e323cc08394f6f4ad84cbf
 EBUILD texlive-mathscience-2021.ebuild 7661 BLAKE2B 9d6f55773eb4181eabb3740695162a512d7afd0ad5b1bdce3c6fa823846c8a4592f97f12aada946cd69096827a7bc2138779bf4f8e57c49f49de936cd09cc6f0 SHA512 5eff93d98b54ef3ecc403da17b32feced18b77758acb0ee5ec36bb301f1c89e108502a6e9ffa257a68e06a831794ecd1756b83ff33f28425ef7e10a67ea5b3c2
 EBUILD texlive-mathscience-2023_p69485-r1.ebuild 14480 BLAKE2B b1f7aef5cd63d1c33784906909c5db7ae5e60a5efe05cca7d714f8915d9a0d4c51e362a2f05eb5334295096640acfda566795902e32e4c8e5064b9d2749f0a63 SHA512 dc1f10fd5f33eefa560da58a8b0675a24776a1d42e169585d9b3d433ddb310b9bbca40ad54e6ab9fbf9314a8883c66e3e89c671bfed6e8cb25b1ce0c1ed1cdb9
-MISC metadata.xml 360 BLAKE2B ca0683dcc7068d813ba25f8444bd821ed98d79fb6a4cf3cce07b6cf94e013a3a65fd26d97c356200a49ebf708830ce68d3192f74cf680aa90bab9dca961982c7 SHA512 8c8f28e45ce3107a176c8c901cfd44f20b4c423d5de1ab759cae327a8cedff0530a5fbea7f33afbd416c78e3b37ede619324cbdcdeb995205f8b5b2bcf5790a4
+EBUILD texlive-mathscience-2024_p72655.ebuild 15421 BLAKE2B 6050b845152e21cac821ba575537c580ab3a360fcd0f38ea0782bc62decabb7f4872b18ca1805a92d5d5290b2433c7120b54d2db312bd1d54fc8cb69750b5563 SHA512 9790be8dc15b345b7781448c2127b0e0f7133fa40a6ca36a9ff2bbb600286c62923a34e8c2f30e1bee0dddb9c2f82eb959fe1a5f6b112ef4694f382c9ba25663
+MISC metadata.xml 250 BLAKE2B e2cadaf7d8fd791e45124cd765cb44d4e2347ecce2bc9dabdc682f6e6f198da73e34e273d326bbb8317c28c34a86e6139bde7e9cdc4ce7d6045443f8bdcec8a0 SHA512 3ca55284974baa2067e21fc58cd2f9f6a673d83f53dc53d3bafe26c1cff7b8aa13890545bcf92f9febc82afdd0b6b3afeb5c2d7fc4c31f7e0c46d1b0314564f4
diff --git a/dev-texlive/texlive-mathscience/metadata.xml b/dev-texlive/texlive-mathscience/metadata.xml
index 34452b8a1eb9..d724efdf402e 100644
--- a/dev-texlive/texlive-mathscience/metadata.xml
+++ b/dev-texlive/texlive-mathscience/metadata.xml
@@ -1,10 +1,6 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <!DOCTYPE pkgmetadata SYSTEM "https://www.gentoo.org/dtd/metadata.dtd">
 <pkgmetadata>
-	<maintainer type="person">
-		<email>aballier@gentoo.org</email>
-		<name>Alexis Ballier</name>
-	</maintainer>
 	<maintainer type="project">
 		<email>tex@gentoo.org</email>
 		<name>Gentoo TeX Project</name>
diff --git a/dev-texlive/texlive-mathscience/texlive-mathscience-2024_p72655.ebuild b/dev-texlive/texlive-mathscience/texlive-mathscience-2024_p72655.ebuild
new file mode 100644
index 000000000000..a817ea61d917
--- /dev/null
+++ b/dev-texlive/texlive-mathscience/texlive-mathscience-2024_p72655.ebuild
@@ -0,0 +1,720 @@
+# Copyright 1999-2024 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+TEXLIVE_MODULE_CONTENTS="
+	collection-mathscience.r72655
+	12many.r15878
+	accents.r51497
+	aiplans.r72202
+	alg.r15878
+	algobox.r67201
+	algorithm2e.r44846
+	algorithmicx.r15878
+	algorithms.r42428
+	algpseudocodex.r66924
+	algxpar.r72657
+	aligned-overset.r47290
+	amscdx.r51532
+	amstex.r70015
+	annotate-equations.r67044
+	apxproof.r64715
+	autobreak.r43337
+	backnaur.r54080
+	begriff.r15878
+	binomexp.r15878
+	biocon.r15878
+	bitpattern.r39073
+	bodeplot.r71000
+	bohr.r62977
+	boldtensors.r15878
+	bosisio.r16989
+	bpchem.r45120
+	bropd.r35383
+	bussproofs.r54080
+	bussproofs-extra.r51299
+	bytefield.r68366
+	calculation.r35973
+	cartonaugh.r59938
+	cascade.r65757
+	causets.r66359
+	ccfonts.r61431
+	ccool.r60600
+	chemarrow.r17146
+	chemcompounds.r15878
+	chemcono.r17119
+	chemexec.r21632
+	chemformula.r61719
+	chemformula-ru.r71883
+	chemgreek.r53437
+	chemmacros.r62655
+	chemnum.r57490
+	chemobabel.r64778
+	chemplants.r60606
+	chemschemex.r46723
+	chemsec.r46972
+	chemstyle.r31096
+	clrscode.r51136
+	clrscode3e.r51137
+	codeanatomy.r65648
+	coloredtheorem.r72298
+	commath.r15878
+	commutative-diagrams.r71053
+	complexity.r45322
+	computational-complexity.r44847
+	concmath.r17219
+	concrete.r57963
+	conteq.r37868
+	cora-macs.r72655
+	correctmathalign.r44131
+	cryptocode.r60249
+	cs-techrep.r72666
+	csassignments.r63992
+	csthm.r72152
+	cvss.r65169
+	decision-table.r60673
+	delim.r23974
+	delimseasy.r39589
+	delimset.r71829
+	derivative.r69746
+	diffcoeff.r68838
+	digiconfigs.r15878
+	dijkstra.r64580
+	domaincoloring.r72176
+	drawmatrix.r44471
+	drawstack.r28582
+	dyntree.r67016
+	easing.r59975
+	ebproof.r57544
+	econometrics.r39396
+	eltex.r15878
+	emf.r42023
+	endiagram.r34486
+	engtlc.r28571
+	eolang.r72724
+	eqexpl.r63629
+	eqnarray.r20641
+	eqnnumwarn.r45511
+	euclideangeometry.r67608
+	extarrows.r54400
+	extpfeil.r16243
+	faktor.r15878
+	fascicules.r54080
+	fitch.r69160
+	fixdif.r66606
+	fixmath.r64648
+	fnspe.r45360
+	formal-grammar.r61955
+	fouridx.r32214
+	freealign.r69267
+	functan.r15878
+	galois.r15878
+	gastex.r69842
+	gene-logic.r15878
+	ghsystem.r53822
+	glosmathtools.r55920
+	gotoh.r44764
+	grundgesetze.r58997
+	gu.r15878
+	helmholtz-ellis-ji-notation.r55213
+	hep.r15878
+	hep-graphic.r67641
+	hep-reference.r67632
+	hepnames.r35722
+	hepparticles.r35723
+	hepthesis.r46054
+	hepunits.r54758
+	ibrackets.r67736
+	includernw.r47557
+	interval.r50265
+	ionumbers.r33457
+	isomath.r27654
+	isphysicalmath.r69343
+	jkmath.r47109
+	jupynotex.r72373
+	karnaugh.r21338
+	karnaugh-map.r61614
+	karnaughmap.r36989
+	keytheorems.r72832
+	kvmap.r67201
+	letterswitharrows.r72723
+	lie-hasse.r71883
+	linearregression.r71466
+	logicproof.r33254
+	longdivision.r68609
+	lpform.r36918
+	lplfitch.r31077
+	lstbayes.r48160
+	luanumint.r68918
+	mathcommand.r59512
+	mathcomp.r15878
+	mathfixs.r72887
+	mathlig.r54244
+	mathpartir.r39864
+	mathpunctspace.r46754
+	mathsemantics.r63241
+	matlab-prettifier.r34323
+	matrix-skeleton.r65013
+	mattens.r62326
+	mecaso.r60346
+	medmath.r69510
+	membranecomputing.r64627
+	memorygraphs.r49631
+	messagepassing.r69123
+	mgltex.r63255
+	mhchem.r69639
+	mhequ.r64978
+	miller.r18789
+	mismath.r71549
+	moremath.r72072
+	multiobjective.r15878
+	naive-ebnf.r72843
+	namedtensor.r65346
+	natded.r32693
+	nath.r15878
+	nchairx.r60196
+	nicematrix.r72899
+	nuc.r22256
+	nucleardata.r47307
+	numbersets.r72558
+	numerica.r68021
+	numerica-plus.r68019
+	numerica-tables.r68193
+	objectz.r61719
+	odesandpdes.r69485
+	oplotsymbl.r44951
+	ot-tableau.r67813
+	oubraces.r21833
+	overarrows.r71774
+	pascaltriangle.r61774
+	perfectcut.r67201
+	pfdicons.r60089
+	physconst.r58727
+	physics.r28590
+	physics2.r69369
+	physunits.r58728
+	pinoutikz.r55966
+	pm-isomath.r60368
+	pmdraw.r72486
+	polexpr.r63337
+	prftree.r54080
+	principia.r66625
+	proba.r15878
+	proof-at-the-end.r69602
+	prooftrees.r72665
+	pseudo.r66638
+	pseudocode.r54080
+	pythonhighlight.r70698
+	qsharp.r49722
+	quickreaction.r66867
+	quiver.r67779
+	rank-2-roots.r68161
+	rbt-mathnotes.r61193
+	rec-thy.r70806
+	reptheorem.r72495
+	resolsysteme.r71707
+	rest-api.r57068
+	revquantum.r43505
+	ribbonproofs.r31137
+	rigidnotation.r71264
+	rmathbr.r57173
+	sankey.r61874
+	sasnrdisplay.r63255
+	sciposter.r15878
+	sclang-prettifier.r35087
+	scratchx.r44906
+	sesamanuel.r36613
+	sfg.r20209
+	shuffle.r15878
+	simplebnf.r68959
+	simpler-wick.r71991
+	simples-matrices.r63802
+	simplewick.r15878
+	sistyle.r59682
+	siunits.r59702
+	siunitx.r72900
+	skmath.r52411
+	spalign.r42225
+	spbmark.r72720
+	stanli.r54512
+	statex.r20306
+	statex2.r23961
+	statistics.r67201
+	statistik.r20334
+	statmath.r46925
+	steinmetz.r15878
+	stmaryrd.r22027
+	string-diagrams.r67363
+	structmech.r66724
+	struktex.r47931
+	substances.r40989
+	subsupscripts.r16080
+	subtext.r51273
+	susy.r19440
+	syllogism.r15878
+	sympytexpackage.r57090
+	synproof.r15878
+	t-angles.r71991
+	tablor.r31855
+	temporal-logic.r72575
+	tensind.r51481
+	tensor.r67667
+	tex-ewd.r15878
+	textgreek.r44192
+	textopo.r23796
+	thermodynamics.r71522
+	thmbox.r15878
+	thmlist.r70780
+	thmtools.r67018
+	tiscreen.r62602
+	turnstile.r64967
+	ulqda.r26313
+	unitsdef.r15878
+	venn.r15878
+	witharrows.r72594
+	xymtex.r32182
+	yhmath.r54377
+	youngtab.r56500
+	yquant.r68997
+	ytableau.r59580
+	zx-calculus.r70647
+"
+TEXLIVE_MODULE_DOC_CONTENTS="
+	12many.doc.r15878
+	accents.doc.r51497
+	aiplans.doc.r72202
+	alg.doc.r15878
+	algobox.doc.r67201
+	algorithm2e.doc.r44846
+	algorithmicx.doc.r15878
+	algorithms.doc.r42428
+	algpseudocodex.doc.r66924
+	algxpar.doc.r72657
+	aligned-overset.doc.r47290
+	amscdx.doc.r51532
+	amstex.doc.r70015
+	annotate-equations.doc.r67044
+	apxproof.doc.r64715
+	autobreak.doc.r43337
+	backnaur.doc.r54080
+	begriff.doc.r15878
+	binomexp.doc.r15878
+	biocon.doc.r15878
+	bitpattern.doc.r39073
+	bodeplot.doc.r71000
+	bohr.doc.r62977
+	boldtensors.doc.r15878
+	bosisio.doc.r16989
+	bpchem.doc.r45120
+	bropd.doc.r35383
+	bussproofs.doc.r54080
+	bussproofs-extra.doc.r51299
+	bytefield.doc.r68366
+	calculation.doc.r35973
+	cartonaugh.doc.r59938
+	cascade.doc.r65757
+	causets.doc.r66359
+	ccfonts.doc.r61431
+	ccool.doc.r60600
+	chemarrow.doc.r17146
+	chemcompounds.doc.r15878
+	chemcono.doc.r17119
+	chemexec.doc.r21632
+	chemformula.doc.r61719
+	chemformula-ru.doc.r71883
+	chemgreek.doc.r53437
+	chemmacros.doc.r62655
+	chemnum.doc.r57490
+	chemobabel.doc.r64778
+	chemplants.doc.r60606
+	chemschemex.doc.r46723
+	chemsec.doc.r46972
+	chemstyle.doc.r31096
+	clrscode.doc.r51136
+	clrscode3e.doc.r51137
+	codeanatomy.doc.r65648
+	coloredtheorem.doc.r72298
+	commath.doc.r15878
+	commutative-diagrams.doc.r71053
+	complexity.doc.r45322
+	computational-complexity.doc.r44847
+	concmath.doc.r17219
+	concrete.doc.r57963
+	conteq.doc.r37868
+	cora-macs.doc.r72655
+	correctmathalign.doc.r44131
+	cryptocode.doc.r60249
+	cs-techrep.doc.r72666
+	csassignments.doc.r63992
+	csthm.doc.r72152
+	cvss.doc.r65169
+	decision-table.doc.r60673
+	delim.doc.r23974
+	delimseasy.doc.r39589
+	delimset.doc.r71829
+	derivative.doc.r69746
+	diffcoeff.doc.r68838
+	digiconfigs.doc.r15878
+	dijkstra.doc.r64580
+	domaincoloring.doc.r72176
+	drawmatrix.doc.r44471
+	drawstack.doc.r28582
+	dyntree.doc.r67016
+	easing.doc.r59975
+	ebproof.doc.r57544
+	econometrics.doc.r39396
+	eltex.doc.r15878
+	emf.doc.r42023
+	endiagram.doc.r34486
+	engtlc.doc.r28571
+	eolang.doc.r72724
+	eqexpl.doc.r63629
+	eqnarray.doc.r20641
+	eqnnumwarn.doc.r45511
+	euclideangeometry.doc.r67608
+	extarrows.doc.r54400
+	extpfeil.doc.r16243
+	faktor.doc.r15878
+	fascicules.doc.r54080
+	fitch.doc.r69160
+	fixdif.doc.r66606
+	fixmath.doc.r64648
+	fnspe.doc.r45360
+	formal-grammar.doc.r61955
+	fouridx.doc.r32214
+	freealign.doc.r69267
+	functan.doc.r15878
+	galois.doc.r15878
+	gastex.doc.r69842
+	gene-logic.doc.r15878
+	ghsystem.doc.r53822
+	glosmathtools.doc.r55920
+	gotoh.doc.r44764
+	grundgesetze.doc.r58997
+	gu.doc.r15878
+	helmholtz-ellis-ji-notation.doc.r55213
+	hep.doc.r15878
+	hep-graphic.doc.r67641
+	hep-reference.doc.r67632
+	hepnames.doc.r35722
+	hepparticles.doc.r35723
+	hepthesis.doc.r46054
+	hepunits.doc.r54758
+	ibrackets.doc.r67736
+	includernw.doc.r47557
+	interval.doc.r50265
+	ionumbers.doc.r33457
+	isomath.doc.r27654
+	isphysicalmath.doc.r69343
+	jkmath.doc.r47109
+	jupynotex.doc.r72373
+	karnaugh.doc.r21338
+	karnaugh-map.doc.r61614
+	karnaughmap.doc.r36989
+	keytheorems.doc.r72832
+	kvmap.doc.r67201
+	letterswitharrows.doc.r72723
+	lie-hasse.doc.r71883
+	linearregression.doc.r71466
+	logicproof.doc.r33254
+	longdivision.doc.r68609
+	lpform.doc.r36918
+	lplfitch.doc.r31077
+	lstbayes.doc.r48160
+	luanumint.doc.r68918
+	mathcommand.doc.r59512
+	mathcomp.doc.r15878
+	mathfixs.doc.r72887
+	mathpartir.doc.r39864
+	mathpunctspace.doc.r46754
+	mathsemantics.doc.r63241
+	matlab-prettifier.doc.r34323
+	matrix-skeleton.doc.r65013
+	mattens.doc.r62326
+	mecaso.doc.r60346
+	medmath.doc.r69510
+	membranecomputing.doc.r64627
+	memorygraphs.doc.r49631
+	messagepassing.doc.r69123
+	mgltex.doc.r63255
+	mhchem.doc.r69639
+	mhequ.doc.r64978
+	miller.doc.r18789
+	mismath.doc.r71549
+	moremath.doc.r72072
+	multiobjective.doc.r15878
+	naive-ebnf.doc.r72843
+	namedtensor.doc.r65346
+	natded.doc.r32693
+	nath.doc.r15878
+	nchairx.doc.r60196
+	nicematrix.doc.r72899
+	nuc.doc.r22256
+	nucleardata.doc.r47307
+	numbersets.doc.r72558
+	numerica.doc.r68021
+	numerica-plus.doc.r68019
+	numerica-tables.doc.r68193
+	objectz.doc.r61719
+	odesandpdes.doc.r69485
+	oplotsymbl.doc.r44951
+	ot-tableau.doc.r67813
+	oubraces.doc.r21833
+	overarrows.doc.r71774
+	pascaltriangle.doc.r61774
+	perfectcut.doc.r67201
+	pfdicons.doc.r60089
+	physconst.doc.r58727
+	physics.doc.r28590
+	physics2.doc.r69369
+	physunits.doc.r58728
+	pinoutikz.doc.r55966
+	pm-isomath.doc.r60368
+	pmdraw.doc.r72486
+	polexpr.doc.r63337
+	prftree.doc.r54080
+	principia.doc.r66625
+	proba.doc.r15878
+	proof-at-the-end.doc.r69602
+	prooftrees.doc.r72665
+	pseudo.doc.r66638
+	pseudocode.doc.r54080
+	pythonhighlight.doc.r70698
+	qsharp.doc.r49722
+	quickreaction.doc.r66867
+	quiver.doc.r67779
+	rank-2-roots.doc.r68161
+	rbt-mathnotes.doc.r61193
+	rec-thy.doc.r70806
+	reptheorem.doc.r72495
+	resolsysteme.doc.r71707
+	rest-api.doc.r57068
+	revquantum.doc.r43505
+	ribbonproofs.doc.r31137
+	rigidnotation.doc.r71264
+	rmathbr.doc.r57173
+	sankey.doc.r61874
+	sasnrdisplay.doc.r63255
+	sciposter.doc.r15878
+	sclang-prettifier.doc.r35087
+	scratchx.doc.r44906
+	sesamanuel.doc.r36613
+	sfg.doc.r20209
+	shuffle.doc.r15878
+	simplebnf.doc.r68959
+	simpler-wick.doc.r71991
+	simples-matrices.doc.r63802
+	simplewick.doc.r15878
+	sistyle.doc.r59682
+	siunits.doc.r59702
+	siunitx.doc.r72900
+	skmath.doc.r52411
+	spalign.doc.r42225
+	spbmark.doc.r72720
+	stanli.doc.r54512
+	statex.doc.r20306
+	statex2.doc.r23961
+	statistics.doc.r67201
+	statistik.doc.r20334
+	statmath.doc.r46925
+	steinmetz.doc.r15878
+	stmaryrd.doc.r22027
+	string-diagrams.doc.r67363
+	structmech.doc.r66724
+	struktex.doc.r47931
+	substances.doc.r40989
+	subsupscripts.doc.r16080
+	subtext.doc.r51273
+	susy.doc.r19440
+	syllogism.doc.r15878
+	sympytexpackage.doc.r57090
+	synproof.doc.r15878
+	t-angles.doc.r71991
+	tablor.doc.r31855
+	temporal-logic.doc.r72575
+	tensind.doc.r51481
+	tensor.doc.r67667
+	tex-ewd.doc.r15878
+	textgreek.doc.r44192
+	textopo.doc.r23796
+	thermodynamics.doc.r71522
+	thmbox.doc.r15878
+	thmlist.doc.r70780
+	thmtools.doc.r67018
+	tiscreen.doc.r62602
+	turnstile.doc.r64967
+	ulqda.doc.r26313
+	unitsdef.doc.r15878
+	venn.doc.r15878
+	witharrows.doc.r72594
+	xymtex.doc.r32182
+	yhmath.doc.r54377
+	youngtab.doc.r56500
+	yquant.doc.r68997
+	ytableau.doc.r59580
+	zx-calculus.doc.r70647
+"
+TEXLIVE_MODULE_SRC_CONTENTS="
+	12many.source.r15878
+	alg.source.r15878
+	algobox.source.r67201
+	algorithms.source.r42428
+	aligned-overset.source.r47290
+	amscdx.source.r51532
+	apxproof.source.r64715
+	autobreak.source.r43337
+	backnaur.source.r54080
+	binomexp.source.r15878
+	bitpattern.source.r39073
+	bodeplot.source.r71000
+	bosisio.source.r16989
+	bpchem.source.r45120
+	bropd.source.r35383
+	bussproofs-extra.source.r51299
+	bytefield.source.r68366
+	calculation.source.r35973
+	cartonaugh.source.r59938
+	cascade.source.r65757
+	ccfonts.source.r61431
+	ccool.source.r60600
+	chemarrow.source.r17146
+	chemcompounds.source.r15878
+	chemobabel.source.r64778
+	chemschemex.source.r46723
+	chemsec.source.r46972
+	chemstyle.source.r31096
+	codeanatomy.source.r65648
+	computational-complexity.source.r44847
+	concmath.source.r17219
+	conteq.source.r37868
+	cryptocode.source.r60249
+	cs-techrep.source.r72666
+	csassignments.source.r63992
+	csthm.source.r72152
+	cvss.source.r65169
+	decision-table.source.r60673
+	delim.source.r23974
+	delimset.source.r71829
+	drawmatrix.source.r44471
+	dyntree.source.r67016
+	easing.source.r59975
+	ebproof.source.r57544
+	eolang.source.r72724
+	eqnarray.source.r20641
+	euclideangeometry.source.r67608
+	extpfeil.source.r16243
+	faktor.source.r15878
+	fascicules.source.r54080
+	fixdif.source.r66606
+	fixmath.source.r64648
+	formal-grammar.source.r61955
+	fouridx.source.r32214
+	functan.source.r15878
+	galois.source.r15878
+	gotoh.source.r44764
+	grundgesetze.source.r58997
+	helmholtz-ellis-ji-notation.source.r55213
+	hep-graphic.source.r67641
+	hep-reference.source.r67632
+	ibrackets.source.r67736
+	ionumbers.source.r33457
+	isphysicalmath.source.r69343
+	karnaugh-map.source.r61614
+	karnaughmap.source.r36989
+	kvmap.source.r67201
+	letterswitharrows.source.r72723
+	linearregression.source.r71466
+	logicproof.source.r33254
+	lplfitch.source.r31077
+	lstbayes.source.r48160
+	mathcommand.source.r59512
+	mathcomp.source.r15878
+	mathfixs.source.r72887
+	mathpartir.source.r39864
+	matlab-prettifier.source.r34323
+	mattens.source.r62326
+	messagepassing.source.r69123
+	mgltex.source.r63255
+	miller.source.r18789
+	mismath.source.r71549
+	moremath.source.r72072
+	multiobjective.source.r15878
+	naive-ebnf.source.r72843
+	nchairx.source.r60196
+	nicematrix.source.r72899
+	nucleardata.source.r47307
+	objectz.source.r61719
+	odesandpdes.source.r69485
+	overarrows.source.r71774
+	physconst.source.r58727
+	physics2.source.r69369
+	physunits.source.r58728
+	pm-isomath.source.r60368
+	proba.source.r15878
+	proof-at-the-end.source.r69602
+	qsharp.source.r49722
+	reptheorem.source.r72495
+	rest-api.source.r57068
+	revquantum.source.r43505
+	rigidnotation.source.r71264
+	rmathbr.source.r57173
+	sankey.source.r61874
+	sclang-prettifier.source.r35087
+	sesamanuel.source.r36613
+	shuffle.source.r15878
+	simples-matrices.source.r63802
+	simplewick.source.r15878
+	sistyle.source.r59682
+	siunits.source.r59702
+	siunitx.source.r72900
+	skmath.source.r52411
+	spalign.source.r42225
+	statistics.source.r67201
+	statistik.source.r20334
+	statmath.source.r46925
+	steinmetz.source.r15878
+	stmaryrd.source.r22027
+	string-diagrams.source.r67363
+	struktex.source.r47931
+	sympytexpackage.source.r57090
+	temporal-logic.source.r72575
+	tensor.source.r67667
+	textgreek.source.r44192
+	textopo.source.r23796
+	thermodynamics.source.r71522
+	thmbox.source.r15878
+	thmtools.source.r67018
+	turnstile.source.r64967
+	ulqda.source.r26313
+	unitsdef.source.r15878
+	witharrows.source.r72594
+	xymtex.source.r32182
+	yhmath.source.r54377
+	youngtab.source.r56500
+	ytableau.source.r59580
+"
+
+inherit texlive-module
+
+DESCRIPTION="TeXLive Mathematics, natural sciences, computer science packages"
+
+LICENSE="Apache-2.0 BSD BSD-2 CC-BY-4.0 CC-BY-SA-3.0 CC-BY-SA-4.0 GPL-1+ GPL-2 GPL-3 GPL-3+ ISC LGPL-2+ LGPL-2.1 LPPL-1.0 LPPL-1.2 LPPL-1.3 LPPL-1.3a LPPL-1.3c MIT TeX TeX-other-free public-domain"
+SLOT="0"
+KEYWORDS="~alpha ~amd64 ~arm ~arm64 ~hppa ~loong ~mips ~ppc ~ppc64 ~riscv ~s390 ~sparc ~x86"
+COMMON_DEPEND="
+	>=dev-texlive/texlive-fontsrecommended-2024
+	>=dev-texlive/texlive-latex-2024
+"
+RDEPEND="
+	${COMMON_DEPEND}
+	!<dev-texlive/texlive-latexextra-2024
+"
+DEPEND="
+	${COMMON_DEPEND}
+"
+
+TEXLIVE_MODULE_BINSCRIPTS="
+	texmf-dist/scripts/eolang/eolang.pl
+	texmf-dist/scripts/ulqda/ulqda.pl
+"