Commit 52fb9fdc authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

gappa: 1.4.0 → 1.6.0

parent 5a6068bd

pkgs/by-name/ga/gappa/package.nix

+8 −7
Original line number Diff line number Diff line
@@ -5,15 +5,16 @@ 
  gmp,

  mpfr,

  boost,

  version ? "1.6.0",

}:



stdenv.mkDerivation rec {

stdenv.mkDerivation {

  pname = "gappa";

  version = "1.4.0";

  inherit version;



  src = fetchurl {

    url = "https://gforge.inria.fr/frs/download.php/file/38436/gappa-${version}.tar.gz";

    sha256 = "12x42z901pr05ldmparqdi8sq9s7fxbavhzk2dbq3l6hy247dwbb";

    url = "https://gappa.gitlabpages.inria.fr/releases/gappa-${version}.tar.gz";

    hash = "sha256-aNht0Ttv+gzS9eLzu4PQitRK/zQN9QQ4YOEjQ2d9xIM=";

  };



  buildInputs = [
@@ -26,12 +27,12 @@ stdenv.mkDerivation rec { 
  installPhase = "./remake install";



  meta = {

    homepage = "http://gappa.gforge.inria.fr/";

    homepage = "https://gappa.gitlabpages.inria.fr/";

    description = "Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic";

    mainProgram = "gappa";

    license = with lib.licenses; [

      cecill20

      gpl2

      cecill21

      gpl3

    ];

    maintainers = with lib.maintainers; [ vbgl ];

    platforms = lib.platforms.all;