/ GrothProofs / Project.toml
Project.toml
1 name = "GrothProofs" 2 uuid = "a08a9250-f3dc-4127-bcf9-3e12d47ce125" 3 authors = ["0xpantera <0xpantera@proton.me>"] 4 version = "1.0.0-DEV" 5 6 [deps] 7 GrothAlgebra = "c7a79d44-cfd6-4e24-8a20-28d2d2e8370b" 8 GrothCurves = "5abac9ed-d1ba-4f09-bf87-1d0505e406bb" 9 JET = "c3a54625-cd67-489e-a8e7-0a5a0ff4e31b" 10 Random = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c" 11 12 [compat] 13 JET = "0.9.20" 14 julia = "1.11" 15 16 [extras] 17 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40" 18 19 [targets] 20 test = ["Test"]