Commit fe6ba0d1 authored by XBagon's avatar XBagon
Browse files

egglog: 0-unstable-2024-01-26 -> 0.4.0 

Diff: https://github.com/egraphs-good/egglog/compare/b78f69ca1f7187c363bb31271c8e8958f477f15d...v0.4.0

remove git dependency (d913a539f7c0d35c84c2cc3fb8785abc0a28daea)
parent 41b9d91a

pkgs/by-name/eg/egglog/Cargo.lock

deleted100644 → 0
+0 −1415

File deleted.

Preview size limit exceeded, changes collapsed.

pkgs/by-name/eg/egglog/package.nix

+11 −12
Original line number Diff line number Diff line
@@ -4,31 +4,30 @@ 
  fetchFromGitHub,

}:



rustPlatform.buildRustPackage {

rustPlatform.buildRustPackage rec {

  pname = "egglog";

  version = "0-unstable-2024-01-26";

  version = "0.4.0";



  src = fetchFromGitHub {

    owner = "egraphs-good";

    repo = "egglog";

    rev = "b78f69ca1f7187c363bb31271c8e8958f477f15d";

    hash = "sha256-/1ktyz8wU1yLTdAFPnupK6jUFjiK6nQfotGRNOWiOsA=";

    rev = "v${version}";

    hash = "sha256-j+3qknmezKqHVxvfmG9oPFtWOzJsimGXYe5PWX694mI=";

  };



  useNextest = true;

  useFetchCargoVendor = true;

  cargoHash = "sha256-gWccsWZCOucNP6M6cJqCMF8emwzqLXkaRm/huK4ARTs=";



  cargoLock = {

    lockFile = ./Cargo.lock;

    outputHashes = {

      "generic_symbolic_expressions-5.0.3" = "sha256-UX6fS470YJMdNnn0GR3earMGQK3p/YvaFia7IEvGGKg=";

    };

  };

  useNextest = true;



  meta = with lib; {

    description = "Fixpoint reasoning system that unifies Datalog and equality saturation";

    mainProgram = "egglog";

    homepage = "https://github.com/egraphs-good/egglog";

    license = licenses.mit;

    maintainers = with maintainers; [ figsoda ];

    maintainers = with maintainers; [

      figsoda

      XBagon

    ];

  };

}