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
Commits on Mar 08, 2022
sci-mathematics/mathlib-tools: add python3.10 compat
c092d50
Maciej Barć
committed on 8 Mar 2022 23:27:56
mathlib-tools-1.1.0-r1.ebuild
mathlib-tools-1.1.0.ebuild
sci-mathematics/mathlib-tools: bump to 1.1.1
f9d60b1
Maciej Barć
committed on 8 Mar 2022 23:26:57
mathlib-tools-1.1.1.ebuild
Manifest
sci-mathematics/mathlib-tools: add changelog link
720e983
Maciej Barć
committed on 8 Mar 2022 14:24:48
metadata.xml
Commits on Jan 30, 2022
*/*: consistent PYTHON_COMPAT style
7a55b89
David Seifert
committed on 30 Jan 2022 10:16:14
mathlib-tools-1.1.0.ebuild
Commits on Jan 25, 2022
**/metadata.xml: Replace http by https in DOCTYPE element
2585fff
Ulrich Müller
committed on 25 Jan 2022 18:37:45
metadata.xml
Commits on Dec 25, 2021
sci-mathematics/mathlib-tools: change maintainer to Gentoo Mathematics Project
6e719e8
Maciej Barć
committed on 25 Dec 2021 20:41:03
metadata.xml
Commits on Nov 26, 2021
sci-mathematics/mathlib-tools: new package; add version 1.1.0
5893d61
Maciej Barć
committed on 26 Nov 2021 13:08:07
Manifest
mathlib-tools-1.1.0.ebuild
metadata.xml