Skip to content
Snippets Groups Projects
Commit 9f368673 authored by Hai Dang's avatar Hai Dang
Browse files

Bump dependecy: actual bump (fix opam file)

parent 9e5d22fc
No related branches found
No related tags found
No related merge requests found
Pipeline #105281 passed
......@@ -15,7 +15,7 @@ This branch uses a proper weak memory model.
"""
depends: [
"coq-gpfsl" { (= "dev.2023-11-06.0.fdf1fcba") | (= "dev") }
"coq-gpfsl" { (= "dev.2024-02-17.1.d66bfab5") | (= "dev") }
]
build: [make "-j%{jobs}%"]
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment