summaryrefslogtreecommitdiff
path: root/tests/coq/traits/Makefile
diff options
context:
space:
mode:
authorSon Ho2024-03-28 16:48:41 +0100
committerSon Ho2024-03-28 16:48:41 +0100
commitca25347592dd48b014cb318be9b3e34a6f2ba5e3 (patch)
treecf60c0b8a2ffe996205162cbd9985aadb00ce90d /tests/coq/traits/Makefile
parent53347ecc40b308b0b75a620453bfa8bd520a2c70 (diff)
Update the nix flake
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions