diff options
author | Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2021-12-01 20:50:06 +0100 |
---|---|---|
committer | Andrew Ammerlaan <andrewammerlaan@gentoo.org> | 2021-12-01 20:50:06 +0100 |
commit | 6c79f5e387b454cdfbe5d9f3826cfbea41a4055b (patch) | |
tree | 93bf9d08c21831d4be7466bad8f28a1196d4f349 /net-misc/FORT-validator | |
parent | dev-util/devscripts: drop py3.8 (diff) | |
download | guru-6c79f5e387b454cdfbe5d9f3826cfbea41a4055b.tar.gz guru-6c79f5e387b454cdfbe5d9f3826cfbea41a4055b.tar.bz2 guru-6c79f5e387b454cdfbe5d9f3826cfbea41a4055b.zip |
sci-mathematics/lean-mathlib: dev-lang/lean --> sci-mathematics/lean
Package-Manager: Portage-3.0.28, Repoman-3.0.3
Signed-off-by: Andrew Ammerlaan <andrewammerlaan@gentoo.org>
Diffstat (limited to 'net-misc/FORT-validator')
0 files changed, 0 insertions, 0 deletions