8 Forks
32 Stars
32 Watchers

agda-pkg

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