What do we have here?

verification

Some tools and libraries for formal verification (e.g. model checking). [index]

[verification]
SigLevel = PackageOptional
Server = https://repo.voidbox.de/arch/$repo/