Jeremy JongepierJust released a new version of #rtcqs.
rtcqs v0.6.5 - rtcqs/rtcqs
# Changelog - Fixed typo (PR https://codeberg.org/rtcqs/rtcqs/pulls/11) - Added SMT check (fixes #12) # SHA256sums `073307361c47f083d3fe92a4c7ca17ced59e6af5aa18b65c920247805240ef0b rtcqs_x86_64` `5d5c1a10af33f534c6df306bb7b73cdd762c329646dd53d67e37763fc3b8caa6 rtcqs_gui_x86_64`