{"bugs":[],"categories":[{"categoryid":450,"name":"dev-lang","summary":"The dev-lang category contains various programming language implementations and related tools."},{"categoryid":336,"name":"dev-python","summary":"The dev-python category contains packages whose primary purpose is to provide Python modules, extensions and bindings, as well as tools and utilities useful for development in the Python programming language."},{"categoryid":317,"name":"sci-mathematics","summary":"The sci-mathematics category contains mathematical software."}],"changelog":[{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f8db9647ae8f89bf40e827761be9261f8f26f1d6","committime":"2024-11-23T11:36:06","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"b05ebdb6b18dcbe95c4126ce8b7ea99be952aed4","committime":"2024-11-23T10:51:14","packageid":73640,"repoid":1,"summary":"Rename dev-python\/{PyGithub → pygithub}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"07d28c16ccddeccdf0b12fe6a628f2f024b84361","committime":"2024-11-22T20:33:57","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"50493c7d7466fec885d592e3b0b11c48c44846cc","committime":"2024-11-22T20:20:37","packageid":73640,"repoid":1,"summary":"Rename dev-python\/{GitPython → gitpython}"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a0630886706e3a5e1bb2249cd92c7180a11dbf53","committime":"2024-07-31T09:34:05","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"pacho@gentoo.org","authorname":"Pacho Ramos","body":"Closes: https:\/\/bugs.gentoo.org\/929794\nSigned-off-by: Pacho Ramos ","commitid":"95f3e4fcd107b42019e7be26ad7fc5f083cac0f9","committime":"2024-07-31T08:32:29","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: enable py3.12"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a640c296858933e8dab6d92d1b898f46ae07bc42","committime":"2023-02-24T09:01:56","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"andrewammerlaan@gentoo.org","authorname":"Andrew Ammerlaan","body":"Signed-off-by: Andrew Ammerlaan ","commitid":"1af81fd6e3378f4ecf805ea53f96cddfa4792545","committime":"2023-02-24T08:58:54","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: enable py3.11"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"b8601001db80047a0056614fe468fb697ed0318a","committime":"2023-01-27T13:16:53","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Closes: https:\/\/bugs.gentoo.org\/878681\nSigned-off-by: Maciej Barć ","commitid":"d872b68a2c277eccdce24ab6fbd92882f88e02f5","committime":"2023-01-27T13:00:37","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: patch to use tomli(-w)"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"4e5079257c757c877c05e53d04e71676d550908b","committime":"2023-01-27T12:39:17","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: drop old 1.3.1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b07d8bee87e72a73db28f0c32703a79c99ffbedc","committime":"2023-01-27T12:36:07","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: drop old 1.3.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ed3ee65fb7534acbfe0b59aeccc6089df3df532d","committime":"2023-01-10T14:47:03","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"mgorny@gentoo.org","authorname":"Michał Górny","body":"Signed-off-by: Michał Górny ","commitid":"b3310e00c2f6eb6234b07e20915f0b4d5186222e","committime":"2023-01-10T14:27:05","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: Remove Python < 3.10"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"a224b6aa41d1b61d7e0ad37092fcacaf10fbe961","committime":"2022-12-17T17:17:05","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"dc9b74297658f1854d854c437700fec7d8b3c05d","committime":"2022-12-17T17:02:22","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: drop old 1.2.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"b3c381fc490fc4eb3a1c9374a22dd38bcea068dc","committime":"2022-12-17T17:01:53","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: bump to 1.3.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"495b9d95982f838ec7fe808f3c1049adf43ccc7d","committime":"2022-11-29T20:46:44","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"a8c215033b6e22bb7bf151f1d1026071459a4c35","committime":"2022-11-29T20:29:47","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: bump to 1.3.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"98950563335a2e07d23a27d7a00a35fa6748e416","committime":"2022-11-13T22:16:45","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"9832651832a39956b9afc188bc6547576adb202c","committime":"2022-11-13T22:06:56","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: bump to 1.3.0"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"3d8d0a61699d2158e64f0f12321dd8a00d41849f","committime":"2022-11-13T21:58:57","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: drop old 1.1.2-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"69863e187e71bd687cc24d33a488be48edfd2740","committime":"2022-11-13T21:58:48","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: drop old 1.1.1-r1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"207186ab8163bb5ff8b004b3f5638abd9b2d088a","committime":"2022-10-23T12:01:59","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"e889e8d9bba989d96676ad04188bf1e30461b36e","committime":"2022-10-23T11:45:36","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: add DISTUTILS_USE_PEP517"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"7b04fb4b3755124d1be8d973b706e6552753271a","committime":"2022-10-23T11:44:23","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: drop old 1.1.0-r1"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"80684eade60b4985edfc5ebbbf4a393f2e94da6c","committime":"2022-10-23T11:42:55","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: bump to 1.2.0"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"f18c648152e74b430e33f939a14a3d819adaa9c9","committime":"2022-08-26T00:46:48","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Signed-off-by: Maciej Barć ","commitid":"048b5cc13c0a62e9104d769b51157c5cf771acf6","committime":"2022-08-26T00:15:42","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: bump to 1.1.2"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"1c2e57ef6835f3d78054ada99bab2c55424a334d","committime":"2022-03-09T00:00:03","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"c092d506c4b893fee053f0185344a0fc6296de34","committime":"2022-03-08T23:27:56","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: add python3.10 compat"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.30, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"f9d60b100e77c67a45006729332f86131d7b4e6d","committime":"2022-03-08T23:26:57","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: bump to 1.1.1"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"01888239786ef2de4547668eb005de591bc1a5d2","committime":"2022-01-30T10:36:39","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"soap@gentoo.org","authorname":"David Seifert","body":"Signed-off-by: David Seifert ","commitid":"7a55b8993e05e8701b1913ef5040318f7533b081","committime":"2022-01-30T10:16:14","packageid":73640,"repoid":1,"summary":"*\/*: consistent PYTHON_COMPAT style"},{"authoremail":"repomirrorci@gentoo.org","authorname":"Repository mirror & CI","commitid":"ca1edc17df0c0aee79ae55695e07a3df4528ed60","committime":"2021-11-26T13:21:25","packageid":73640,"repoid":1,"summary":"Merge updates from master"},{"authoremail":"xgqt@gentoo.org","authorname":"Maciej Barć","body":"Package-Manager: Portage-3.0.28, Repoman-3.0.3\nSigned-off-by: Maciej Barć ","commitid":"5893d61a895b2c428d465dba6fe5a3109659fd6c","committime":"2021-11-26T12:37:07","packageid":73640,"repoid":1,"summary":"sci-mathematics\/mathlib-tools: new package; add version 1.1.0"}],"dependencies":[],"depending":[],"ebuilds":[{"archs":["~amd64","~x86"],"ebuildid":776087,"firstseen":"2023-01-27T13:20:32.708266","license":"Apache-2.0","moddate":"2024-12-17T22:35:47","packageid":73640,"repoid":1,"slot":"0","uses":["python_targets_python3_10","python_targets_python3_11","python_targets_python3_12","test"],"version":"1.3.2_p1"}],"masks":[],"package":{"categoryid":317,"description":"Development tools for Lean's mathlib","firstseen":"2021-11-26T13:37:00.805088","name":"mathlib-tools","packageid":73640,"summary":"This package contains leanproject, a supporting tool for Lean mathlib. More info: - https:\/\/leanprover-community.github.io\/toolchain.html#handling-dependencies - https:\/\/leanprover-community.github.io\/leanproject.html"},"rdependencies":[{"block":false,"categoryid":336,"description":"Python tools to manipulate graphs and complex networks","ebuildids":[776087],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"networkx","packageid":42524,"summary":"NetworkX is a Python-based package for the creation, manipulation, and study of the structure, dynamics, and functions of complex networks. The structure of a graph or network is encoded in the edges (connections, links, ties, arcs, bonds) between nodes (vertices, sites, actors). If unqualified, by graph we mean a simple undirected graph, i.e. no self-loops and no multiple edges are allowed. By a network we usually mean a graph with weights (fields, properties) on nodes and\/or edges. The potential audience for NetworkX includes: mathematicians, physicists, biologists, computer scientists, social scientists."},{"block":false,"categoryid":450,"description":"Freethreading (no-GIL) version of Python programming language","ebuildids":[776087,776087,776087],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"python","packageid":43095},{"block":false,"categoryid":336,"description":"Python interface to Graphviz's Dot language","ebuildids":[776087],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"pydot","packageid":44988},{"block":false,"categoryid":336,"description":"YAML parser and emitter for Python","ebuildids":[776087],"firstseen":"2010-05-04T00:54:45.661860","maintainer":"python@gentoo.org","maintainername":"Python","name":"pyyaml","packageid":50165},{"block":false,"categoryid":336,"description":"HTTP library for human beings","ebuildids":[776087],"firstseen":"2012-01-02T14:37:42.991671","maintainer":"python@gentoo.org","maintainername":"Python","name":"requests","packageid":58639,"summary":"Most existing Python modules for sending HTTP requests are extremely verbose and cumbersome. Python’s built-in urllib2 module provides most of the HTTP capabilities you should need, but the API is thoroughly broken. This library is designed to make HTTP requests easy for developers."},{"block":false,"categoryid":336,"description":"A Python package for creating beautiful command line interfaces","ebuildids":[776087],"firstseen":"2014-06-08T13:38:17.734703","maintainer":"python@gentoo.org","maintainername":"Python","name":"click","packageid":62295},{"block":false,"categoryid":336,"description":"A certifi hack to use system trust store on Linux\/FreeBSD","ebuildids":[776087],"firstseen":"2014-08-28T13:38:52.620608","maintainer":"python@gentoo.org","maintainername":"Python","name":"certifi","packageid":62481},{"block":false,"categoryid":336,"description":"Atomic file writes","ebuildids":[776087],"firstseen":"2016-02-22T14:40:58.510389","maintainer":"amynka@gentoo.org","name":"atomicwrites","packageid":65048},{"block":false,"categoryid":336,"description":"Add a progress meter to your loops in a second","ebuildids":[776087],"firstseen":"2016-09-02T13:38:14.158591","name":"tqdm","packageid":65758,"summary":"Instantly make your loops show a progress meter - just wrap any iterator with \"tqdm(iterator)\", and you're done!"},{"block":false,"categoryid":336,"description":"A lil' TOML parser","ebuildids":[776087],"firstseen":"2021-07-17T08:35:20.902162","name":"tomli","packageid":73198},{"block":false,"categoryid":336,"description":"A lil' TOML writer","ebuildids":[776087],"firstseen":"2021-10-11T09:23:33.626269","name":"tomli-w","packageid":73427},{"block":false,"categoryid":317,"description":"The Lean Theorem Prover","ebuildids":[776087],"firstseen":"2021-11-26T13:37:00.805088","name":"lean","packageid":73639,"summary":"The Lean theorem prover is a proof assistant developed principally by Leonardo de Moura at Microsoft Research."},{"block":false,"categoryid":336,"description":"Library used to interact with Git repositories","ebuildids":[776087],"firstseen":"2024-11-22T20:38:50.490708","name":"gitpython","packageid":77884},{"block":false,"categoryid":336,"description":"Python library to access the Github API v3","ebuildids":[776087],"firstseen":"2024-11-23T11:43:47.897165","name":"pygithub","packageid":77904}],"repos":[{"branch":"master","lastcommit":"febc5d20d79c49489824fd1e12e140cd694e8279","name":"gentoo","path":"\/usr\/portage","repoid":1,"upstream":"origin"}],"tracked":false,"urls":["https:\/\/github.com\/leanprover-community\/mathlib-tools"],"uses":[{"description":"Enable dependencies and\/or preparations necessary to run tests (usually controlled by FEATURES=test but can be toggled independently)","isdefault":false,"use":"test"},{"description":"Build with Python 3.10","group":"python_targets","isdefault":false,"use":"python3_10"},{"description":"Build with Python 3.11","group":"python_targets","isdefault":false,"use":"python3_11"},{"description":"Build with Python 3.12","group":"python_targets","isdefault":false,"use":"python3_12"}]}