Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
nix
default.nix
Find file
Blame
History
Permalink
Downgrade alt-ergo to 2.2.0
· 75120e6b
François Bobot
authored
May 09, 2020
because 2.3.0 can't be configured without opam
75120e6b