rleh / openocd-build

Builds of the latest OpenOCD
2 stars 3 forks source link

Deb: Add alternative dependency for debian stable #2

Closed se-bi closed 4 years ago

se-bi commented 4 years ago

Sadly the debian/ubuntu packages encode some version number in their name, since openocd seems to require atleast 0.73, it should be fine to depend either one of them:

(when are new builds by the bot available on branches or PRs?)

rleh commented 4 years ago

when are new builds by the bot available on branches or PRs?

Manually. image