Skip to content

Commit dc963fb

Browse files
authored
Update Z3-Owl.json
1 parent 6c42eb4 commit dc963fb

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

submissions/Z3-Owl.json

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@
55
],
66
"contacts": ["Peisen Yao <pyaoaa@zju.edu.cn>"],
77
"archive": {
8-
"url": "https://zenodo.org/api/records/15656183/draft/files/Z3-Owl.gz/content",
8+
"url": "https://zenodo.org/records/15656183/files/Z3-Owl.gz?download=1",
99
"h": { "sha256": "a2dd861575cc722b6a5d3ab3234c85c9fb3fdd54519e361f45ac68e3679820d6" }
1010
},
1111
"website": "https://rainoftime.github.io/html/owl.html",

0 commit comments

Comments
 (0)