 Bruno BELANYI
|
37d878da27
|
nix: use 'main' branch for 'flake-utils'
|
2023-12-01 19:28:29 +00:00 |
|
|
Bruno BELANYI
|
31c0f09981
|
nix: use 'nixpkgs-unstable'
|
2022-12-01 10:02:48 +01:00 |
|
|
Bruno BELANYI
|
46864fc490
|
nix: bump flake inputs
|
2022-12-01 10:02:48 +01:00 |
|
|
Bruno BELANYI
|
fcb74b375f
|
nix: fix 'pyright'
|
2022-12-01 10:02:48 +01:00 |
|
|
Bruno BELANYI
|
d35e1d43d6
|
nix: add z3 to python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
289b1ce455
|
nix: use proper python environment
|
2021-12-26 17:46:51 +01:00 |
|
|
Bruno BELANYI
|
b1f325432c
|
nix: add tools to devShell
|
2021-12-13 18:06:02 +01:00 |
|
|
Bruno BELANYI
|
1337f92ef3
|
nix: add flake
|
2021-12-13 14:28:59 +01:00 |
|