Commit 4231e28a authored by Ralf Jung's avatar Ralf Jung
Browse files

update dependencies

parent a3346085
Pipeline #41378 passed with stage
in 10 minutes and 41 seconds
......@@ -9,5 +9,5 @@ build: [make "-j%{jobs}%"]
install: [make "install"]
remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/iris-c" ]
depends: [
"coq-iris-heap-lang" { (= "dev.2021-02-01.1.4c96a504") | (= "dev") }
"coq-iris-heap-lang" { (= "dev.2021-02-03.0.9534c656") | (= "dev") }
]
From iris.bi.lib Require Import fractional.
From iris.algebra Require Import auth agree lib.excl_auth frac gmap gset.
From iris.base_logic.lib Require Import cancelable_invariants auth saved_prop.
From iris.base_logic.lib Require Import cancelable_invariants saved_prop.
From iris.heap_lang Require Export proofmode notation.
From iris.heap_lang Require Import spin_lock.
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment