set priority optional, avoiding override
Barak A. Pearlmutter
13 years ago
0 | 0 |
Source: adolc
|
1 | |
Priority: extra
|
|
1 |
Priority: optional
|
2 | 2 |
Maintainer: Barak A. Pearlmutter <bap@debian.org>
|
3 | 3 |
Build-Depends: debhelper (>= 8), autotools-dev (>= 20100122.1~)
|
4 | 4 |
Standards-Version: 3.9.1
|