[ci] Fix alt-ergo version (+ psmt2 dependency)

nix/alt-ergo.nix

+{ callPackage
+, fetchzip
+, lib
+, stdenv
+, ocaml
+, findlib
+, ocplib-simplex
+, psmt2-frontend
+, lablgtk
+, zarith
+, menhir
+, camlzip
+, num
+, which
+, autoreconfHook
+}:
+
+stdenv.mkDerivation rec {
+  pname = "alt-ergo";
+  version = "2.2.0-free";
+
+  src =
+    fetchzip {
+      url = "https://alt-ergo.ocamlpro.com/http/alt-ergo-free-2.2.0/alt-ergo-free-2.2.0.tar.gz";
+      sha256 = "11ffm87vsrii8nyhxhbc9gzjmqkspqv7hpjq7ll9xflll7gpnpkj";
+      stripRoot=false;
+    };
+
+  nativeBuildInputs = [
+    autoreconfHook
+    which
+  ];
+
+  buildInputs = [
+    ocaml
+    findlib
+    zarith
+    ocplib-simplex
+    psmt2-frontend
+    lablgtk
+    menhir
+  ];
+
+  propagatedBuildInputs = [ camlzip num ];
+
+  enableParallelBuilding = true;
+
+  configureFlags = [ "--enable-verbose-make" ];
+
+  installTargets = [ "install" ];
+
+  meta = {
+    description = "High-performance theorem prover and SMT solver";
+    homepage    = "https://alt-ergo.ocamlpro.com/";
+    license     = lib.licenses.ocamlpro_nc;
+    maintainers = [ lib.maintainers.thoughtpolice ];
+  };
+}

nix/pkgs.nix

@@ -2,7 +2,9 @@ let
   sources = import ./sources.nix {};
   ocamlOverlay = oself: osuper: {
     # External Packages
+    alt-ergo = oself.callPackage ./alt-ergo.nix {};
     camlzip = oself.callPackage ./camlzip.nix {};
+    psmt2-frontend = oself.callPackage ./psmt2-frontend.nix {};
     why3 = oself.callPackage ./why3.nix {};
     # Builds
     frama-c = oself.callPackage ./frama-c.nix {};

nix/psmt2-frontend.nix

+{ callPackage
+, fetchzip
+, lib
+, stdenv
+, ocaml
+, findlib
+, menhir
+, autoreconfHook
+, which
+}:
+
+stdenv.mkDerivation rec {
+  pname = "psmt2-frontend";
+  version = "0.1";
+
+  src =
+    fetchzip {
+      url = "https://github.com/Coquera/psmt2-frontend/archive/0.1.zip";
+      sha256 = "0k7jlsbkdyg7hafmvynp0ik8xk7mfr00wz27vxn4ncnmp20yz4vn";
+    };
+
+  nativeBuildInputs = [
+    autoreconfHook
+    which
+  ];
+
+  buildInputs = [
+    ocaml
+    findlib
+    menhir
+  ];
+
+  enableParallelBuilding = true;
+
+  configureFlags = [ "--enable-verbose-make" ];
+
+  createFindlibDestdir = true;
+
+  installFlags = "LIBDIR=$(OCAMLFIND_DESTDIR)";
+
+  installTargets = [ "install" ];
+
+  meta = {
+    description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language";
+    license = lib.licenses.asl20;
+    maintainers = [ lib.maintainers.vbgl ];
+    inherit (src.meta) homepage;
+  };
+}