agda-stdlib Installation instructions

One reviewer writes:

The installation instructions are too general, ideally I would like to see a list of dependencies and the exact version requirement for a particular release.

I have to agree that, installing a particular version of stdlib from scratch (i.e. on a fresh system without GHC, cabal, Agda, etc) is hard to manage. The instructions are scattered in multiple places. Even harder if what you're trying to do is install an older version.

Short of automating that, can we at least pull together instructions in a single place?

Nov 19 '25 18:11 JacquesCarette

We do have them all in one place no? https://github.com/agda/agda-stdlib/blob/master/doc/installation-guide.md

This is linked to on the front page. We also have all versions explicitly mentioned.

I really don't think its the job of the standard library to tell users how to install Agda (and therefore by requirement cabal and GHC).

Nov 20 '25 01:11 MatthewDaggitt

NB - this is how I install stdlib from scratch, automatically (in CI). it is a formalisation of what's already in the cited guide.

  - wget https://github.com/agda/agda-stdlib/archive/refs/tags/v${STDLIB}.tar.gz
  - tar xvfa "v${STDLIB}.tar.gz"
  - mkdir $HOME/.agda
  - echo $(pwd)/agda-stdlib-${STDLIB}/standard-library.agda-lib > $HOME/.agda/libraries
  - echo standard-library-${STDLIB} > $HOME/.agda/defaults

https://git.imn.htwk-leipzig.de/waldmann/cetera/-/blob/main/.gitlab-ci.yml?ref_type=heads#L30

Nov 20 '25 14:11 jwaldmann

I have started writing a wee shell script to install the stdlib automatically

Edit: first draft in #2895

Nov 25 '25 14:11 gallais