diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-02-09 06:19:54 +0100 |
|---|---|---|
| committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-16 08:03:02 +0100 |
| commit | 6d5e3764dd3802fe55d8753e27daeb14a76ce0e0 (patch) | |
| tree | 4031359819d64726c9ae11fa3b77f5997def3288 /pkgs/top-level/coq-packages.nix | |
| parent | dd09b527000ea379b5ba4a2696a801af98768142 (diff) | |
coqPackages.VST: 2.8 → 2.9
Diffstat (limited to 'pkgs/top-level/coq-packages.nix')
| -rw-r--r-- | pkgs/top-level/coq-packages.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/pkgs/top-level/coq-packages.nix b/pkgs/top-level/coq-packages.nix index 704457453779f..c1a29b60306f0 100644 --- a/pkgs/top-level/coq-packages.nix +++ b/pkgs/top-level/coq-packages.nix @@ -96,9 +96,7 @@ let topology = callPackage ../development/coq-modules/topology {}; Velisarios = callPackage ../development/coq-modules/Velisarios {}; Verdi = callPackage ../development/coq-modules/Verdi {}; - VST = callPackage ../development/coq-modules/VST { - compcert = self.compcert.override { version = "3.9"; }; - }; + VST = callPackage ../development/coq-modules/VST {}; zorns-lemma = callPackage ../development/coq-modules/zorns-lemma {}; filterPackages = doesFilter: if doesFilter then filterCoqPackages self else self; }; |