search

runtimeverification / k

K Framework Tools 7.0
BSD 3-Clause "New" or "Revised" License
430 stars 141 forks source link

Update dependency: deps/haskell-backend_release #4456

Closed rv-jenkins closed 1 week ago

Baltoli commented 1 week ago

Merging to get access to the newly-minted Debian package.