alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

egglog: unstable-2023-05-22 -> unstable-2023-06-11

Browse source 
Diff: 5242b50051...c7ef8b000c
This commit is contained in:
figsoda 2023-06-17 17:33:00 -04:00
parent a0cd8365a8
commit 70f33f2777
2 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/egglog/Cargo.lock generated
View file

@ -185,7 +185,7 @@ dependencies = [
]
[[package]]
name = "egg-smol"
name = "egglog"
version = "0.1.0"
dependencies = [
"clap",
@ -906,7 +906,7 @@ name = "web-demo"
version = "0.1.0"
dependencies = [
"console_error_panic_hook",
"egg-smol",
"egglog",
"js-sys",
"log",
"wasm-bindgen",

7
pkgs/applications/science/logic/egglog/default.nix
View file

@ -5,13 +5,13 @@
rustPlatform.buildRustPackage {
pname = "egglog";
version = "unstable-2023-05-22";
version = "unstable-2023-06-11";
src = fetchFromGitHub {
owner = "egraphs-good";
repo = "egglog";
rev = "5242b50051c339d55009860d4dff80125fdcedfd";
hash = "sha256-N04CfITLEr4D4s6bUi0eRQdAVy6Ztq3Ml0365of7i0U=";
rev = "c7ef8b000caf7fa17f6127847db4b9c285c03f09";
hash = "sha256-OGuqC/HgH7UhUhW5RU8nkqj6roPjXXOyVRHmnJdIolg=";
};
cargoLock = {
@ -27,6 +27,5 @@ rustPlatform.buildRustPackage {
homepage = "https://github.com/egraphs-good/egglog";
license = licenses.mit;
maintainers = with maintainers; [ figsoda ];
mainProgram = "egg-smol";
};
}