new release of ikos for space-ros

[asimonov]

now that #273 is fixed, can we have a new release to use in space-ros Jazzy upgrade please?

[ivanperez-keera]

I'm planning to make a new release, yes. (It won't be tied to this issue, so I'll close this for now.)

[asimonov]

ok. i created an issue to track it easier among space-ros jazzy upgrade tasks

[ivanperez-keera]

I've made a new release of IKOS now. You should be able to pin ikos 3.4.

[asimonov]

I've made a new release of IKOS now. You should be able to pin ikos 3.4.

lovely! thanks @ivanperez-keera!