724fe6c6145284e43195157ce4e58d62cc5a6fb3
[debian/gnuradio] / version.sh
1 MAJOR_VERSION=3
2 API_COMPAT=3
3 MINOR_VERSION=1
4 MAINT_VERSION=0