Sitelet https://github.com/runtimeverification/rv-nix-tools

Repository navigation

rv-nix-tools

Public

About

Set of common nix utilities used in our repositories

BSD-3-Clause license

Custom properties

0 stars

5 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
deps		deps
docs		docs
LICENSE		LICENSE
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix

Repository files navigation

rv-nix-tools

Set of common nix utilities used in our repositories

About

Set of common nix utilities used in our repositories

BSD-3-Clause license

Custom properties

0 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages