projects / debian / gnuradio / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge branch 'master' of gnuradio.org:gnuradio
[debian/gnuradio] / version.sh
1 MAJOR_VERSION=3
2 API_COMPAT=3
3 MINOR_VERSION=1
4 MAINT_VERSION=git
Debian packaging of gnuradio