aboutsummaryrefslogtreecommitdiffstats
path: root/flake.nix
diff options
context:
space:
mode:
authorYann Herklotz <git@yannherklotz.com>2022-06-09 09:33:15 +0100
committerYann Herklotz <git@yannherklotz.com>2022-06-09 09:33:15 +0100
commitdaf1e49862cfd0fff4fea9736815e14f335ff2c8 (patch)
tree92e170552d6f11b6df19e1d01169ccbe8d2a9637 /flake.nix
parent703b43cb326feb971966edaa0b19c1548920f7ac (diff)
downloadvericert-daf1e49862cfd0fff4fea9736815e14f335ff2c8.tar.gz
vericert-daf1e49862cfd0fff4fea9736815e14f335ff2c8.zip
Work on the if-conversion proof
Diffstat (limited to 'flake.nix')
0 files changed, 0 insertions, 0 deletions