diff options
author | Peter Simons <simons@cryp.to> | 2015-04-06 17:25:02 +0200 |
---|---|---|
committer | Peter Simons <simons@cryp.to> | 2015-04-06 21:24:33 +0200 |
commit | 434f129c629f5d318608810dd63e99a7a0d98d3a (patch) | |
tree | 64efd0bc4811cb226901c0bdf2cca7afb4b84852 /pkgs/development/libraries/agda/AgdaSheaves/default.nix | |
parent | d9b67dd5a59aaf4536a5a1d773217d786b3a69f7 (diff) | |
download | nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.tar nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.tar.gz nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.tar.bz2 nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.tar.lz nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.tar.xz nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.tar.zst nixpkgs-434f129c629f5d318608810dd63e99a7a0d98d3a.zip |
Agda: fix build by providing the required older versions of its dependencies
Resolves https://github.com/NixOS/nixpkgs/issues/7201.
Diffstat (limited to 'pkgs/development/libraries/agda/AgdaSheaves/default.nix')
0 files changed, 0 insertions, 0 deletions