Updating openocd from 0.2.0 to 0.3.1
tree5dc9091469602abdebc5a8c8b34ce57b873b8939
-rw-r--r-- 1650 COPYING
-rw-r--r-- 1 STABLE
-rw-r--r-- 4 VERSION
-rw-r--r-- 41 default.nix
drwxr-xr-x - doc
drwxr-xr-x - maintainers
drwxr-xr-x - pkgs