Skip to content
GitLab
Explore
Sign in
Stefan Gränitz
Frama Clang
Repository
frama-clang
nix
default.nix
Find file
Blame
History
Permalink
Revert "Update default.nix with why3 config"
· e978b62e
Loïc Correnson
authored
Oct 05, 2020
and
Virgile Prevosto
committed
Jul 06, 2021
This reverts commit fe28f2bdfd6a347176ac3bed9a6c79fa44fb2a8d.
e978b62e