 Guido Günther
|
08ee0daa12
|
debian/symbols: Update with new API
|
2023-04-17 13:32:21 +02:00 |
|
|
Guido Günther
|
31a592e18e
|
debian/symbols: Bump all symbol dependencies to 0.1.1
We want to make sure apps run against a recent version even on
partial upgrades.
|
2023-04-17 12:21:06 +02:00 |
|
|
Guido Günther
|
918a047ce0
|
debian: Bump symbol versions
This ensures we get tighter dependencies when built against
this version with new symbols.
We don't bother with individual symbols yet.
|
2020-07-10 09:20:04 +00:00 |
|
|
Guido Günther
|
e40fe3c343
|
debian: Add symbols file
This will allow dpkg-buildpackage to generate proper depends
|
2020-04-17 11:53:10 +02:00 |
|