Remove usused coq-record-update dependency

Author: k32

Makefile

@@ -14,7 +14,7 @@ CoqMakefile: Makefile _CoqProject
 invoke-coqmakefile: CoqMakefile
 	$(MAKE) --no-print-directory -f CoqMakefile $(filter-out $(KNOWNTARGETS),$(MAKECMDGOALS))
 
-.PHONY: invoke-coqmakefile record-update $(KNOWNFILES)
+.PHONY: invoke-coqmakefile $(KNOWNFILES)
 
 ####################################################################
 ##                      Your targets here                         ##

coq-libtx-storage.opam

@@ -5,7 +5,7 @@ homepage: "https://github.com/libtx/Storage"
 dev-repo: "git+https://github.com/libtx/Storage.git"
 license: "GPL3"
 maintainer: "noreply@example.com"
-synopsis: "Formal model of storage backend"
+synopsis: "Axiomatic abstraction of storage container"
 description: """
 """
 
@@ -14,14 +14,12 @@ build: [
 ]
 install: [make "install"]
 depends: [
-  "coq" {(>= "8.19") | (= "dev")}
-  "coq-record-update" {(>= "0.3" & < "0.4~")}
+  "coq" {(>= "8.19")}
   "coq-hammer"
 ]
 
 tags: [
-  "keyword:program verification"
-  "keyword:distributed algorithms"
+  "keyword:containers"
 ]
 authors: [
   "k32"