Matthias Güdemann
Matthias Güdemann
@mhagger > While it is doing the incremental merge, git-imerge mostly uses git merge and git commit to create new commits. Are those commits getting signed as you would expect?...
thanks for the suggestion. I need to have a closer look at the possible values here. What are the `Gamma` values you see using `xrandr --verbose` for this display? ```...
@hacksenwerk thanks for the info, I had not seen `xsct` before. I had quickly tried simply scaling brightness further but got strange colors as result. I will see whether this...
@hacksenwerk I checked https://packages.debian.org/bookworm/xsct but this is also using `[0.0,1.0]` for the possible values of the brightness setting. Maybe I misunderstood you issue, but didn't you want the possibility to...
So the current minimum is `0.1`, would simply allowing `0.0` be what you would like to have? That would be very easy to do
hi @thanhvg this works without problems, thanks
I see your point, thanks for the explication, the error message was indeed not too helpful in this case. CVC5 reads the file even with `--strict-parsing`, so I did not...
> Is this a question concerning the API or the SMT-LIB interface? For the SMT-LIB interface.
Great, thanks!