Code

RFC: Agda builder#3915

Code

Merged

peti merged 2 commits intoNixOS:masterNixOS/nixpkgs:masterfrom Fuuzetsu:agda-builderFuuzetsu/nixpkgs:agda-builderCopy head branch name to clipboardSep 4, 2014

+118-16

Commits

Commits on Sep 1, 2014

• Add a builder for Agda packages.

  Fuuzetsu

  committed
  d54b62c

  Copy full SHA for d54b62c

• Use agda builder for stdlib. mv to all-packages

  Fuuzetsu

  committed
  61c17e3

  Copy full SHA for 61c17e3