埃尔巴（Elba）：Idris的软件包管理员 （117个子文件） 
a 161B b 227B bar 341B bar 221B bar 171B bar 163B make.bat 773B baz 229B .envrc 4KB foo 427B foo 352B foo 290B foo 275B foo 163B foo 155B .gitignore 58B .gitmodules 0B Main.ibc 543B Main.idr 13B left 180B LICENSE 1KB Cargo.lock 118KB Makefile 603B CHANGELOG.md 10KB README.md 2KB README.md 514B shell.nix 516B before_deploy.ps1 525B conf.py 5KB toml.py 1KB right 180B root 233B root 215B root 212B root 175B root 166B root 156B build.rs 33KB cache.rs 30KB mod.rs 29KB mod.rs 18KB job.rs 18KB resolution.rs 17KB manifest.rs 16KB mod.rs 16KB git.rs 15KB ipkg.rs 12KB mod.rs 12KB index.rs 11KB mod.rs 8KB shell.rs 8KB read2.rs 6KB config.rs 6KB main.rs 5KB incompat.rs 5KB invoke.rs 4KB mod.rs 4KB graph.rs 3KB lockfile.rs 3KB lock.rs 3KB new.rs 3KB resolver.rs 3KB context.rs 3KB index.rs 2KB util.rs 2KB assignment.rs 2KB repl.rs 2KB parser.rs 2KB test.rs 2KB install.rs 2KB build.rs 1KB new.rs 1KB script.rs 1KB init.rs 1KB update.rs 1KB check.rs 1KB package.rs 1KB uninstall.rs 1KB add.rs 1KB error.rs 828B clean.rs 793B doc.rs 741B search.rs 689B print_config.rs 373B index.rs 213B lib.rs 192B build.rs 162B mod.rs 108B mod.rs 56B main.rs 46B manifest.rst 15KB quick_start.rst 8KB dependencies.rst 8KB binaries_and_tests.rst 7KB configuration.rst 6KB indices.rst 6KB publishing.rst 4KB resolutions.rst 3KB installing.rst 3KB cache.rst 3KB共 117 条
- 1
- 2
评论0
最新资源