update to agda 2.6.4 and cubical-0.6

formalizations/guarded-cubical/Common/Poset/Convenience.agda

@@ -3,7 +3,7 @@
 module Common.Poset.Convenience where
 
 open import Cubical.Foundations.Prelude
-open import Cubical.Relation.Binary.Poset
+open import Cubical.Relation.Binary.Order.Poset
 open import Cubical.Foundations.Structure
 open import Cubical.Foundations.HLevels
 open import Cubical.Relation.Binary.Base

formalizations/guarded-cubical/Common/Poset/Monotone.agda

@@ -18,7 +18,7 @@ open import Cubical.Reflection.RecordEquiv
 open import Cubical.Data.Sigma
 
 -- open import Common.Preorder.Base
-open import Cubical.Relation.Binary.Poset
+open import Cubical.Relation.Binary.Order.Poset
 open import Common.Poset.Convenience
 
 

formalizations/guarded-cubical/Semantics/Concrete/DoublePoset/Base.agda

@@ -3,7 +3,7 @@ module Semantics.Concrete.DoublePoset.Base where
 open import Cubical.Foundations.Prelude
 open import Cubical.Foundations.Structure
 
-open import Cubical.Relation.Binary.Poset
+open import Cubical.Relation.Binary.Order.Poset.Base
 open import Cubical.Relation.Binary.Base
 
 open import Common.Common

formalizations/guarded-cubical/Semantics/Concrete/DoublePoset/Morphism.agda

@@ -19,7 +19,7 @@ open import Cubical.Data.Sigma
 
 open import Common.Common
 -- open import Common.Preorder.Base
-open import Cubical.Relation.Binary.Poset
+open import Cubical.Relation.Binary.Order.Poset
 open import Common.Poset.Convenience
 
 open import Semantics.Concrete.DoublePoset.Base