summary refs log tree commit diff
path: root/pkgs/development/libraries/agda
diff options
context:
space:
mode:
authorSiarhei Zirukin <ftrvxmtrx@gmail.com>2014-09-26 10:16:31 +0200
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2014-09-28 01:35:49 +0100
commit448f3229f81d760b09b9eb5c1f12e00228b91111 (patch)
tree530c54883b672d6adb9fe017664cd7eec1b9cd51 /pkgs/development/libraries/agda
parent1e05bbaa961a6e11387b08aa830041a443b75349 (diff)
downloadnixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.tar
nixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.tar.gz
nixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.tar.bz2
nixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.tar.lz
nixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.tar.xz
nixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.tar.zst
nixpkgs-448f3229f81d760b09b9eb5c1f12e00228b91111.zip
package update: go-1.3.1 -> go-1.3.2
Closes #4279
Diffstat (limited to 'pkgs/development/libraries/agda')
0 files changed, 0 insertions, 0 deletions