# Pastebin Yi0xo1EL
with import (fetchTarball {
  url = https://github.com/nixos/nixpkgs-channels/archive/nixpkgs-unstable.tar.gz;
}) {};
agda.withPackages (p: with p; [
  standard-library
])