nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-12 07:54:50 +00:00
Code Issues Packages Projects Releases Wiki Activity
516,279 Commits 168 Branches 125 Tags 7.2 GiB
ece0953571
Commit Graph

4 Commits

Author SHA1 Message Date
R. Ryantm
0f1222faf7 cairo-lang: 2.0.1 -> 2.0.2 2023-07-14 10:07:23 +00:00
R. Ryantm
3124e11bac cairo-lang: 1.1.1 -> 2.0.1 2023-07-09 09:17:00 +00:00
R. Ryantm
36164b3e12 cairo-lang: 1.1.0 -> 1.1.1 2023-06-30 22:53:13 +00:00
Raito Bezarius
2ef54182a3 cairo-lang: init at 1.1.0 
`cairo-lang` is a general purpose language for provable computations using
PCP (probabilistically checkable proofs — https://en.wikipedia.org/wiki/Probabilistically_checkable_proof)

This is the v1 Rust-based compiler version of the project.
 2023-06-07 16:37:23 +02:00