Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
sci-mathematics
/
mathlib-tools
Development tools for Lean's mathlib
https://github.com/leanprover-community/mathlib-tools
Overview
Dependencies
QA report
Pull requests
0
Bugs
0
Security
0
Changelog
Latest Commits
Atom feed
Commits on 2024-11-23
Rename dev-python/{PyGithub → pygithub}
b05ebdb
Michał Górny
committed on 2024-11-23 10:51:14 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
Commits on 2024-11-22
Rename dev-python/{GitPython → gitpython}
50493c7
Michał Górny
committed on 2024-11-22 20:23:50 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
Commits on 2024-07-31
sci-mathematics/mathlib-tools: enable py3.12
95f3e4f
Pacho Ramos
committed on 2024-07-31 09:23:07 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
Commits on 2023-02-24
sci-mathematics/mathlib-tools: enable py3.11
1af81fd
Andrew Ammerlaan
committed on 2023-02-24 08:58:54 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
Commits on 2023-01-27
sci-mathematics/mathlib-tools: patch to use tomli(-w)
d872b68
Maciej Barć
committed on 2023-01-27 13:02:00 UTC
sci-mathematics/mathlib-tools/files/mathlib-tools-1.3.2-pull-131.patch
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2_p1.ebuild
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2.ebuild
sci-mathematics/mathlib-tools: drop old 1.3.1
4e50792
Maciej Barć
committed on 2023-01-27 13:01:59 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.3.1.ebuild
sci-mathematics/mathlib-tools: drop old 1.3.0
b07d8be
Maciej Barć
committed on 2023-01-27 13:01:59 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.3.0.ebuild
Commits on 2023-01-10
sci-mathematics/mathlib-tools: Remove Python < 3.10
b3310e0
Michał Górny
committed on 2023-01-10 14:29:53 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.0.ebuild
sci-mathematics/mathlib-tools/mathlib-tools-1.3.1.ebuild
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2.ebuild
Commits on 2022-12-17
sci-mathematics/mathlib-tools: drop old 1.2.0
dc9b742
Maciej Barć
committed on 2022-12-17 17:02:35 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.2.0.ebuild
sci-mathematics/mathlib-tools: bump to 1.3.2
b3c381f
Maciej Barć
committed on 2022-12-17 17:02:34 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.2.ebuild
sci-mathematics/mathlib-tools/Manifest
Commits on 2022-11-29
sci-mathematics/mathlib-tools: bump to 1.3.1
a8c2150
Maciej Barć
committed on 2022-11-29 20:44:23 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.1.ebuild
sci-mathematics/mathlib-tools/Manifest
Commits on 2022-11-13
sci-mathematics/mathlib-tools: bump to 1.3.0
9832651
Maciej Barć
committed on 2022-11-13 22:07:13 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.3.0.ebuild
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools: drop old 1.1.2-r1
3d8d0a6
Maciej Barć
committed on 2022-11-13 22:07:13 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.1.2-r1.ebuild
sci-mathematics/mathlib-tools: drop old 1.1.1-r1
69863e1
Maciej Barć
committed on 2022-11-13 22:07:13 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.1.1-r1.ebuild
Commits on 2022-10-23
sci-mathematics/mathlib-tools: add DISTUTILS_USE_PEP517
e889e8d
Maciej Barć
committed on 2022-10-23 11:45:56 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.1.1-r1.ebuild
sci-mathematics/mathlib-tools/mathlib-tools-1.1.2-r1.ebuild
sci-mathematics/mathlib-tools/mathlib-tools-1.1.1.ebuild
sci-mathematics/mathlib-tools/mathlib-tools-1.1.2.ebuild
sci-mathematics/mathlib-tools: drop old 1.1.0-r1
7b04fb4
Maciej Barć
committed on 2022-10-23 11:45:56 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.1.0-r1.ebuild
sci-mathematics/mathlib-tools: bump to 1.2.0
80684ea
Maciej Barć
committed on 2022-10-23 11:45:56 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.2.0.ebuild
sci-mathematics/mathlib-tools/Manifest
Commits on 2022-08-26
sci-mathematics/mathlib-tools: bump to 1.1.2
048b5cc
Maciej Barć
committed on 2022-08-26 00:32:05 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.1.2.ebuild
sci-mathematics/mathlib-tools/Manifest
Commits on 2022-03-08
sci-mathematics/mathlib-tools: add python3.10 compat
c092d50
Maciej Barć
committed on 2022-03-08 23:27:56 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.1.0-r1.ebuild
sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
sci-mathematics/mathlib-tools: bump to 1.1.1
f9d60b1
Maciej Barć
committed on 2022-03-08 23:26:57 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.1.1.ebuild
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools: add changelog link
720e983
Maciej Barć
committed on 2022-03-08 14:24:48 UTC
sci-mathematics/mathlib-tools/metadata.xml
Commits on 2022-01-30
*/*: consistent PYTHON_COMPAT style
7a55b89
David Seifert
committed on 2022-01-30 10:16:14 UTC
sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
Commits on 2022-01-25
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 2022-01-25 18:37:45 UTC
sci-mathematics/mathlib-tools/metadata.xml
Commits on 2021-12-25
sci-mathematics/mathlib-tools: change maintainer to Gentoo Mathematics Project
6e719e8
Maciej Barć
committed on 2021-12-25 20:41:03 UTC
sci-mathematics/mathlib-tools/metadata.xml
Commits on 2021-11-26
sci-mathematics/mathlib-tools: new package; add version 1.1.0
5893d61
Maciej Barć
committed on 2021-11-26 13:08:07 UTC
sci-mathematics/mathlib-tools/Manifest
sci-mathematics/mathlib-tools/mathlib-tools-1.1.0.ebuild
sci-mathematics/mathlib-tools/metadata.xml