agda-pkg

package-manager

apkg - package manager for Agda

How to download and setup agda-pkg

Open terminal and run command

git clone https://github.com/agda/agda-pkg.git

git clone is used to create a copy or clone of agda-pkg repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with agda-pkg https://github.com/agda/agda-pkg/archive/master.zip

Or simply clone agda-pkg with SSH

[email protected]:agda/agda-pkg.git

If you have some problems with agda-pkg

You may open issue on agda-pkg support forum (system) here: https://github.com/agda/agda-pkg/issues

Similar to agda-pkg repositories

Here you may see agda-pkg alternatives and analogs

yarn brew CocoaPods composer Carthage pnpm vcpkg xmake dep antigen choco cargo habitat bower awesome-npm whalebrew conan dcos rubygems ied nix npx brew hatch hunter Paket poetry chromebrew bolt renovate