argumentcomputer / argumentcomputer/yatima

need new flake.nix for Poseidon dependency

Open
#249 0 comments 0 reactions 0 assignees View on GitHub
Dominant language
Lean
Stars
146
Forks
12
PR merge metrics
No merged PRs in 30d

Description

On NixOS:
```
error: > cargo build --release # in directory ././lake-packages/Poseidon
error: stderr:
could not execute external process 'cargo'
error: external command `cargo` exited with code 255
```

Contributor guide

Open the contributing guide

Research direction

Start by inspecting the requested flake.nix and the lake-packages/Poseidon directory, then reproduce `cargo build --release` on NixOS. Confirm that the flake provides the needed external command and that the Poseidon build completes without the reported error.

Written by the indexing model from the issue text.

Assessment

Tech stack
nixos, rust
Domain
build-system
Issue type
Feature
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.