Skip to content
Discussion options

You must be logged in to vote

The mip install tool default index is generated automatically from https://github.com/micropython/micropython-lib

The source from all mip-installed packages can be found there, though they're organised in folders like stdlib or micropython which are abstracted out when mip installing so you might have to check through a couple of directories to find the package you want!

While the docs mention that packages can be installed from other GitHub repositories, the user needs to explicitly specify them if they want to install from anywhere other than the default index.

Replies: 6 comments 10 replies

Comment options

andrewleech
Aug 7, 2023
Collaborator Sponsor

You must be logged in to vote
1 reply
@mjaspers2mtu
Comment options

Answer selected by mjaspers2mtu
Comment options

You must be logged in to vote
2 replies
@mjaspers2mtu
Comment options

@bixb922
Comment options

Comment options

You must be logged in to vote
1 reply
@bixb922
Comment options

Comment options

You must be logged in to vote
0 replies
Comment options

andrewleech
Jul 26, 2024
Collaborator Sponsor

You must be logged in to vote
5 replies
@CombatVolcano
Comment options

@andrewleech
Comment options

andrewleech Jul 26, 2024
Collaborator Sponsor

@CombatVolcano
Comment options

@andrewleech
Comment options

andrewleech Jul 26, 2024
Collaborator Sponsor

@Josverl
Comment options

Josverl Jul 27, 2024
Collaborator Sponsor

Comment options

You must be logged in to vote
1 reply
@Josverl
Comment options

Josverl Jul 27, 2024
Collaborator Sponsor

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
7 participants