From 3efffa308a8f5a91d3621ce9ac04dbcb78fd6cfe Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Wed, 6 Oct 2021 19:31:33 +0200
Subject: [PATCH] [nix] remove custom why3 package
---
nix/default.nix | 8 --------
1 file changed, 8 deletions(-)
diff --git a/nix/default.nix b/nix/default.nix
index 91e005b3347..056c432610a 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -2,14 +2,6 @@
{ pkgs, stdenv, src ? ../., opam2nix, ocaml ? pkgs.ocaml-ng.ocamlPackages_4_08.ocaml, plugins ? { } }:
let mydir = builtins.getEnv("PWD");
- why3 =
- pkgs.fetchgit {
- url = "https://gitlab.inria.fr/why3/why3";
- # commit that has updated why3-coq.opam to make it
- # compatible with Coq>8.12 (so that we can compile on OCaml 4.12)
- rev = "a41e40f88987a26a7ac35f62e7637a2f6fcf1c07";
- sha256 = "138ymjf1pg00yp2biw3qrx8yir8grfwjmfx81amddpx3p0c1zzhl";
- };
mk-opam-selection = { name, opamSrc?{}, ... }: {
inherit ocaml;
src = opamSrc;
--
GitLab