diff options
| author | Unai Zalakain <unai@gisa-elkartea.org> | 2017-09-26 20:35:11 +0100 |
|---|---|---|
| committer | Unai Zalakain <unai@gisa-elkartea.org> | 2017-09-26 20:35:11 +0100 |
| commit | 2ba02c57e82651a8cfa9fcbe850b672787ca5b41 (patch) | |
| tree | 60531c45aedbaddd0eaae1eb1a7e14d1f06510f8 /pkgs/development/libraries/libgringotts | |
| parent | 79d8ccf4f0787b1849153f813cd0a9e6b84d23a1 (diff) | |
| download | nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.tar nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.tar.gz nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.tar.bz2 nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.tar.lz nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.tar.xz nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.tar.zst nixpkgs-2ba02c57e82651a8cfa9fcbe850b672787ca5b41.zip | |
AgdaStdlib: 0.13 -> 0.14
Diffstat (limited to 'pkgs/development/libraries/libgringotts')
0 files changed, 0 insertions, 0 deletions