summaryrefslogtreecommitdiff
path: root/tests/hol4/misc-constants/Holmakefile
diff options
context:
space:
mode:
authorSon Ho2023-11-22 14:52:15 +0100
committerSon Ho2023-11-22 14:52:15 +0100
commitd163bb804f3418ea8e2c89fe6e8d1c0587fd544b (patch)
treef7a118ae8c348f601e1e262107dcc098a5ecc2b9 /tests/hol4/misc-constants/Holmakefile
parent138ba20120c288ecef706d4d7babaaafdd0a161b (diff)
Fix an issue with the nix flake and update the flake.lock
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions