tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 rustPlatform,
4 fetchFromGitHub,
5}:
6
7rustPlatform.buildRustPackage rec {
8 pname = "egglog";
9 version = "0.4.0";
10
11 src = fetchFromGitHub {
12 owner = "egraphs-good";
13 repo = "egglog";
14 rev = "v${version}";
15 hash = "sha256-j+3qknmezKqHVxvfmG9oPFtWOzJsimGXYe5PWX694mI=";
16 };
17
18 cargoHash = "sha256-gWccsWZCOucNP6M6cJqCMF8emwzqLXkaRm/huK4ARTs=";
19
20 useNextest = true;
21
22 meta = {
23 description = "Fixpoint reasoning system that unifies Datalog and equality saturation";
24 mainProgram = "egglog";
25 homepage = "https://github.com/egraphs-good/egglog";
26 license = lib.licenses.mit;
27 maintainers = with lib.maintainers; [
28 XBagon
29 ];
30 };
31}