diff options
| -rw-r--r-- | Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz | bin | 3099688 -> 0 bytes |
| -rw-r--r-- | Debian/Ubuntu 16.04+/ghdl-0.37.tar.xz | bin | 0 -> 2950196 bytes |
2 files changed, 0 insertions, 0 deletions
diff --git a/Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz b/Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz Binary files differdeleted file mode 100644 index f9edffa..0000000 --- a/Debian/Ubuntu 16.04+/ghdl-0.36.tar.xz +++ /dev/null diff --git a/Debian/Ubuntu 16.04+/ghdl-0.37.tar.xz b/Debian/Ubuntu 16.04+/ghdl-0.37.tar.xz Binary files differnew file mode 100644 index 0000000..2442cb3 --- /dev/null +++ b/Debian/Ubuntu 16.04+/ghdl-0.37.tar.xz |