diff options
| author | R. RyanTM <ryantm-bot@ryantm.com> | 2018-09-25 08:14:48 -0700 |
|---|---|---|
| committer | R. RyanTM <ryantm-bot@ryantm.com> | 2018-09-25 08:14:48 -0700 |
| commit | 7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a (patch) | |
| tree | 2386b1261ade2bfa6c3265bb75e043ec23df8110 /nixos | |
| parent | f9197b9f63da8b6d9244c5a8e99507fdd294dcc5 (diff) | |
| download | nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.tar nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.tar.gz nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.tar.bz2 nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.tar.lz nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.tar.xz nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.tar.zst nixpkgs-7c5bc4fb92648f9acc0b4f3dd80f9d95f08abd6a.zip | |
AgdaStdlib: 0.16 -> 0.16.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/agda-stdlib/versions
Diffstat (limited to 'nixos')
0 files changed, 0 insertions, 0 deletions