1  name = "GrothExamples"
 2  uuid = "a1b2c3d4-e5f6-7890-abcd-ef1234567890"
 3  authors = ["Franco"]
 4  version = "0.1.0"
 5  
 6  [deps]
 7  GrothAlgebra = "c7a79d44-cfd6-4e24-8a20-28d2d2e8370b"
 8  GrothCurves = "5abac9ed-d1ba-4f09-bf87-1d0505e406bb"
 9  GrothProofs = "a08a9250-f3dc-4127-bcf9-3e12d47ce125"
10  
11  [compat]
12  julia = "1.11"
13  
14  [extras]
15  Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
16  
17  [targets]
18  test = ["Test"]